| 1. | | Xv6, a simple Unix-like teaching operating system (csail.mit.edu) |
| 234 points by arkj on June 7, 2024 | 97 comments |
|
| 2. | | What Is PID 0? (dave.tf) |
| 407 points by todsacerdoti on June 7, 2024 | 73 comments |
|
| 3. | | Orthodox C++ (gist.github.com) |
| 63 points by klaussilveira on May 22, 2024 | 66 comments |
|
| 4. | | CBMC: C bounded model checker (2021) (cprover.org) |
| 106 points by fanf2 on May 4, 2024 | 31 comments |
|
| 5. | | How to improve the RISC-V specification (alastairreid.github.io) |
| 162 points by todsacerdoti on April 28, 2024 | 61 comments |
|
| 6. | | FPGA Architecture for Deep Learning: Survey and Future Directions (arxiv.org) |
| 128 points by matt_d on April 22, 2024 | 52 comments |
|
| 7. | | Floating Point Visually Explained (fabiensanglard.net) |
| 2 points by JoachimS on April 23, 2024 |
|
| 8. | | Show HN: Bonk, a command-line tool for X11 window management (github.com/fascinatedbox) |
| 72 points by FascinatedBox on April 7, 2024 | 67 comments |
|
| 9. | | Xr0: C but Safe (xr0.dev) |
| 144 points by synergy20 on April 4, 2024 | 144 comments |
|
| 10. | | Finding memory leaks in Postgres C code (enterprisedb.com) |
| 106 points by lichtenberger on March 27, 2024 | 19 comments |
|
| 11. | | Nanos – A Unikernel (nanos.org) |
| 224 points by Alifatisk on March 13, 2024 | 130 comments |
|
| 12. | | MNT Reform review: brutalist hardware, familiar software (osnews.com) |
| 4 points by louismerlin on March 14, 2024 |
|
| 13. | | The Cordic Algorithm, Theory and FPGA Uses (adiuvoengineering.com) |
| 23 points by signalhound on March 13, 2024 | 6 comments |
|
| 14. | | SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012) (paulgazzillo.com) |
| 95 points by g0xA52A2A on March 9, 2024 | 14 comments |
|
| 15. | | How to Structure C Projects: These Best Practices Worked for Me (lucavall.in) |
| 180 points by ingve on March 6, 2024 | 157 comments |
|
| 16. | | Ctypes.sh: A foreign function interface for bash (github.com/taviso) |
| 5 points by goranmoomin on March 2, 2024 | 1 comment |
|
| 17. | | Coroutines in C (2000) (greenend.org.uk) |
| 307 points by ColinWright on Feb 25, 2024 | 93 comments |
|
| 18. | | Undefined Behavior in C and C++ (lumagraph.ie) |
| 28 points by rwallace on Feb 23, 2024 | 82 comments |
|
| 19. | | High Interest Savings Leaderboard (highinterest.io) |
| 221 points by cainxinth on Feb 23, 2024 | 216 comments |
|
| 20. | | So You Want to Ship a Command-Line Tool for macOS (2022) (becca.ooo) |
| 95 points by freetonik on Feb 21, 2024 | 97 comments |
|
| 21. | | SIGINT checker for program in C (github.com/mangalutsav) |
| 2 points by mangal on June 21, 2016 | 1 comment |
|
| 22. | | CBMC: The C Bounded Model Checker (arxiv.org) |
| 86 points by belter on Feb 8, 2023 | 3 comments |
|
| 23. | | CDSChecker: A Model Checker for C11 and C++11 Atomics (uci.edu) |
| 3 points by ingve on May 4, 2016 |
|
| 24. | | Borrow Checker, Lifetimes and Destructor Arguments in C++ (a10nw01f.github.io) |
| 3 points by ashvardanian on Feb 19, 2024 |
|
| 25. | | C can be memory-safe (erratasec.com) |
| 1 point by ibobev on Feb 15, 2024 |
|
| 26. | | Bjarne Stroustrup's Plan for Bringing Safety to C++ (thenewstack.io) |
| 67 points by wyldfire on Oct 29, 2023 | 57 comments |
|
| 27. | | Ask HN: Towards memory safety through argument completions |
| 2 points by scrubs on Feb 10, 2024 | 1 comment |
|
| 28. | | Donut.c without a math library (2021) (a1k0n.net) |
| 2 points by tosh on Feb 18, 2024 |
|
| 29. | | The Fil-C Manifesto: Garbage In, Memory Safety Out (github.com/pizlonator) |
| 13 points by Jarred on Feb 21, 2024 | 17 comments |
|
| 30. | | C-for-all: Extending C with modern safety and productivity features (uwaterloo.ca) |
| 155 points by albertoCaroM on Dec 4, 2019 | 139 comments |
|
|
| More |
