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