14 results

• 14programming
• 14c
• 2formal-methods
• 1security
• 1rust
• 1performance
• 1linux
• 1docker
• 1data-structures

1. C Compilers Disprove Fermat’s Last Theorem

   blog.regehr.org

   • c
   • programming

2. Compilers and Termination Revisited

   blog.regehr.org

   • c
   • programming

3. How Big Is An Enum?

   embedded.fm

   • c
   • data-structures
   • programming

4. Implications of pure and constant functions

   lwn.net

   • c
   • programming

5. John Carmack on Inlined Code

   number-none.com

   • c
   • programming

6. Lets Be Real About Dependencies

   wiki.alopex.li

   • c
   • programming
   • rust

7. Linux PTY - what powers docker attach functionality

   iximiuz.com

   • c
   • docker
   • linux
   • programming

8. Meow Hash

   mollyrocket.com

   • c
   • performance
   • programming

9. Some obscure C features

   multun.net

   • c
   • programming

10. The Teeny Tiny Mansion

    svn.clifford.at

    • c
    • formal-methods
    • programming

11. Verifying Popcount

    blog.regehr.org

    • c
    • formal-methods
    • programming

12. Write your Own Virtual Machine

    justinmeiners.github.io

    • c
    • programming

13. pledge() and unveil() in SerenityOS

    awesomekling.github.io

    • c
    • programming
    • security

14. sizeof(char) is 1

    drj11.wordpress.com

    • c
    • programming