| 1. | | Cc1 (gcc-newbies-guide.readthedocs.io) |
| 3 points by hirrolot on Sept 12, 2024 | past |
|
| 2. | | Abstract Interpretation: From 0, 1, To ∞ [pdf] (nyu.edu) |
| 6 points by hirrolot on July 15, 2024 | past |
|
| 3. | | Show HN: Rust-ontologist – A tool for visualizing Rust codebases in seconds (github.com/lava-xyz) |
| 4 points by hirrolot on July 5, 2024 | past |
|
| 4. | | Comefrom (wikipedia.org) |
| 3 points by hirrolot on June 9, 2024 | past |
|
| 5. | | Artificial Intelligence Prepares for 2001 (1983) (aaai.org) |
| 1 point by hirrolot on May 28, 2024 | past |
|
| 6. | | Abstract Interpretation as a Programming Language (2013) (arxiv.org) |
| 68 points by hirrolot on May 15, 2024 | past | 6 comments |
|
| 7. | | Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode (github.com/lifting-bits) |
| 5 points by hirrolot on May 14, 2024 | past | 1 comment |
|
| 8. | | A multi-level tensor algebra superoptimizer (github.com/mirage-project) |
| 2 points by hirrolot on May 14, 2024 | past |
|
| 9. | | Wadler's Law (haskell.org) |
| 5 points by hirrolot on April 22, 2024 | past | 2 comments |
|
| 10. | | Size Optimization Tricks (justine.lol) |
| 1 point by hirrolot on March 30, 2024 | past |
|
| 11. | | The syntax of C in Backus-Naur Form (wmich.edu) |
| 2 points by hirrolot on March 5, 2024 | past |
|
| 12. | | The Principle of Categorical Harmony (ebrary.net) |
| 1 point by hirrolot on March 5, 2024 | past |
|
| 13. | | Solving SAT via Positive Supercompilation (hirrolot.github.io) |
| 153 points by hirrolot on Feb 1, 2024 | past | 38 comments |
|
| 14. | | Alan Kay – Programming and Scaling [video] (youtube.com) |
| 4 points by hirrolot on Nov 1, 2023 | past |
|
| 15. | | Dynamic Typing with Dependent Types (psu.edu) |
| 2 points by hirrolot on Oct 31, 2023 | past |
|
| 16. | | How to implement dependent types in 80 lines of code (gist.github.com) |
| 3 points by hirrolot on Feb 25, 2023 | past |
|
| 17. | | x86 Opcode and Instruction Reference (x86asm.net) |
| 3 points by hirrolot on Sept 18, 2022 | past |
|
| 18. | | Barebones Lambda Cube in OCaml (gist.github.com) |
| 3 points by hirrolot on Aug 16, 2022 | past |
|
| 19. | | Checking Dependent Types with Normalization by Evaluation: A Tutorial (davidchristiansen.dk) |
| 4 points by hirrolot on July 26, 2022 | past |
|
| 20. | | “Lambda Calculus” by Carl Burch, Hendrix College, September 2012 (cburch.com) |
| 2 points by hirrolot on July 9, 2022 | past |
|
| 21. | | Some Internet Architectural Guidelines and Philosophy (2002) (ietf.org) |
| 1 point by hirrolot on June 28, 2022 | past |
|
| 22. | | Makeabetter.computer – Microgrants for projects that make computers better (makeabetter.computer) |
| 179 points by hirrolot on May 30, 2022 | past | 86 comments |
|
| 23. | | Go Type System Overview (go101.org) |
| 1 point by hirrolot on May 30, 2022 | past |
|
| 24. | | SmolRTSP: A lightweight real-time streaming library for IP cameras (github.com/openipc) |
| 18 points by hirrolot on March 30, 2022 | past |
|
| 25. | | Why Static Languages Suffer from Complexity (hirrolot.github.io) |
| 3 points by hirrolot on Jan 19, 2022 | past |
|
| 26. | | A λ-calculus interpreter written in C preprocessor macros (github.com/hirrolot) |
| 85 points by hirrolot on Oct 17, 2021 | past | 9 comments |
|
| 27. | | What’s the Point of the C Preprocessor, Actually? (hirrolot.github.io) |
| 3 points by hirrolot on Aug 2, 2021 | past |
|
| 28. | | Metalang99: Full-blown preprocessor metaprogramming for pure C (github.com/hirrolot) |
| 2 points by hirrolot on March 27, 2021 | past |
|
| 29. | | Metalang99: A functional language for C99 preprocessor metaprogramming (github.com/hirrolot) |
| 2 points by hirrolot on Feb 5, 2021 | past | 1 comment |
|
| 30. | | Datatype99: C99 with Sum Types, v0.1.0 (github.com/hirrolot) |
| 157 points by hirrolot on Feb 4, 2021 | past | 64 comments |
|
|
| More |
