Newest stories submitted by c-cube.

  1. 1
    Elix - Component Kitchen javascript web component.kitchen
    c-cube avatar via c-cube 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 77
    Tech Notes: The Success and Failure of Ninja performance neugierig.org
    c-cube avatar via c-cube 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 32 comments
  3. 4
    Holy Language Wars, Batman compilers culture programming pixelherodev.github.io
    c-cube avatar via c-cube 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 104
    Release of Zig 0.6 c compilers release zig ziglang.org
    c-cube avatar via c-cube 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  5. 135
    `zig cc`: a Powerful Drop-In Replacement for GCC/Clang c compilers zig andrewkelley.me
    c-cube avatar via c-cube 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments
  6. 5
    Fsf 2019 forge evaluation - LibrePlanet culture vcs libreplanet.org
    c-cube avatar via c-cube 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  7. 1
    Where is the fashionable mathematics? formalmethods math xenaproject.wordpress.com
    c-cube avatar via c-cube 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 4
    John Harrison: let's make set theory great again! [2018, slides] pdf formalmethods math aitp-conference.org
    c-cube avatar via c-cube 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 4
    Axiom Documentation: Why Literate Programming? formalmethods axiom-developer.org
    c-cube avatar via c-cube 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 10
    disque, a message queue, is being ported to Redis databases github.com
    c-cube avatar via c-cube 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 17
    Interview of Xavier Leroy ­— POPL 18 compilers compsci ml person cs.cmu.edu
    c-cube avatar via c-cube 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  12. 10
    A minimal introduction to unicode ☶ ml programming erratique.ch
    c-cube avatar via c-cube 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 5
    ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician ☶ compsci formalmethods math ml cl.cam.ac.uk
    c-cube avatar via c-cube 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  14. 13
    Distributed Sagas: A Protocol for Coordinating Microservices slides distributed networking speakerdeck.com
    c-cube avatar via c-cube 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  15. 18
    Eprover — a free, efficient automatic theorem prover ☶ c compsci formalmethods math wwwlehre.dhbw-stuttgart.de
    c-cube avatar via c-cube 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
<< Page 1