Stories tagged as c – C programming
  1. 55
    John Carmack on OpenBSD, C++ & machine learning ai c c++ openbsd person facebook.com
    mulander avatar via mulander 6 months ago | cached | 22 comments
  2. 5
    LoveDOS – a reimplementation of LÖVE 2D game engine API for MS-DOS (2017) c games github.com
    skrzyp avatar via skrzyp 6 months ago | cached | 3 comments
  3. 2
    Formal Verification of C Programs with Floating-Point Computations (2016) pdf slides c formalmethods cps-vo.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  4. 4
    How to Get an Efficient yet Verified Arbitrary-Precision Integer Library (2017) ☶ pdf c formalmethods hal.inria.fr
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 24 comments
  5. 14
    An Intro to 64-bit Intel Reverse Engineering assembly c reversing security leotindall.com
    LeoLambda avatar authored by LeoLambda 6 months ago | cached | no comments
  6. 4
    Continuation-Passing C: compiling threads to events through continuations (2010) ☶ pdf c compilers arxiv.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  7. 35
    Sortix: A Small, Self-Hosted, POSIX-compliant, Operating System c c++ unix sortix.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 4 comments
  8. 1
    Automated Verification of Functional Correctness of Race-Free GPU Programs (2017) ☶ pdf c formalmethods graphics fos.kuis.kyoto-u.ac.jp
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  9. 2
    Testing First-Order Logic Axioms in Program Verification (2011) ☶ pdf c formalmethods testing ti.arc.nasa.gov
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  10. 1
    Modular Semi-automatic Formal Verification of Critical Systems Software (2017) ☶ pdf c formalmethods linux lirias.kuleuven.be
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 1 comment
  11. 3
    HWASAN: Hardware-assisted AddressSanitizer c clang.llvm.org
    sanxiyn avatar via sanxiyn 6 months ago | cached | no comments
  12. 2
    A collection of CMake recipes ☶ c c++ github.com
    mechazoidal avatar authored by mechazoidal 6 months ago | cached | 3 comments
  13. 11
    History and Spirit of C video c historical vimeo.com
    sevan avatar via sevan 6 months ago | cached | 20 comments
  14. 2
    Reliable and Automatic Composition of Language Extensions to C (2017) ☶ pdf c compilers plt www-users.cs.umn.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 2 comments
  15. 5
    Combining Symbolic Execution and Model Checking for Data Flow Testing (2015) ☶ pdf c formalmethods testing web.cs.ucdavis.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  16. 5
    Reading bits in far too many ways (part 1) c performance fgiesen.wordpress.com
    mikejsavage avatar via mikejsavage 6 months ago | cached | no comments
  17. 52
    Rust things I miss in C c rust people.gnome.org
    azdle avatar via azdle 6 months ago | cached | 12 comments
  18. 29
    My first PostgreSQL extension: pg_rational ☶ show c databases math
    begriffs avatar authored by begriffs 6 months ago | 8 comments
  19. 8
    MIDIMonster: Multi-protocol translation (MIDI, OSC, ArtNet, evdev input) show art c github.com
    cbdev avatar authored by cbdev 6 months ago | cached | 1 comment
  20. 7
    Debugging C like it's Python c debugging python blog.asrpo.com
    asrp avatar authored by asrp 6 months ago | cached | 1 comment
  21. 34
    wget in 50 lines of C code c networking libdill.org
    sustrik avatar authored by sustrik 6 months ago | cached | 6 comments
  22. 2
    hs2cpp: C Preprocessor Macros From Functional Programs (2015) ☶ pdf c haskell cai.sk
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  23. 3
    Safe, Low-Level, Code Generation in Coq Using Monomorphization and Monadification ☶ pdf slides c formalmethods staff.aist.go.jp
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  24. 2
    comp.lang.c's Frequently Asked Questions c programming c-faq.com
    zge avatar via zge 6 months ago | cached | no comments
  25. 33
    The cost of forsaking C c education blog.bradfieldcs.com
    calvin avatar via calvin 6 months ago | cached | 26 comments
<< Page 7 | Page 9 >>