| | Beatrice: A tagless, dependently typed, self-aware programming language (hirrolot.github.io) |
|
22 points by vg_head 11 months ago | past | 2 comments
|
|
| | [flagged] Lolita: A tagless, dependently typed, self-aware programming language (hirrolot.github.io) |
|
32 points by g0xA52A2A 11 months ago | past | 45 comments
|
|
| | Solving SAT via Positive Supercompilation (hirrolot.github.io) |
|
153 points by hirrolot on Feb 1, 2024 | past | 38 comments
|
|
| | Why Static Languages Suffer from Complexity (2022) (hirrolot.github.io) |
|
138 points by mpweiher on Aug 9, 2023 | past | 148 comments
|
|
| | Compiler Development: Rust or OCaml? (hirrolot.github.io) |
|
3 points by mutant_glofish on Aug 7, 2023 | past | 2 comments
|
|
| | Compiler Development: Rust or OCaml? (hirrolot.github.io) |
|
154 points by bshanks on Aug 6, 2023 | past | 101 comments
|
|
| | How to keep lambda calculus simple (hirrolot.github.io) |
|
107 points by azhenley on July 8, 2023 | past | 33 comments
|
|
| | Rust Is Hard, Or: The Misery of Mainstream Programming (hirrolot.github.io) |
|
532 points by avgcorrection on June 2, 2022 | past | 795 comments
|
|
| | Pretty-Printable Enumerations in Pure C (hirrolot.github.io) |
|
3 points by Owtpinkter on May 23, 2022 | past
|
|
| | Why Static Languages Suffer from Complexity (hirrolot.github.io) |
|
2 points by ledauphin on April 14, 2022 | past
|
|
| | Why static languages suffer from complexity (hirrolot.github.io) |
|
3 points by kieckerjan on Feb 2, 2022 | past
|
|
| | Why static languages suffer from complexity (hirrolot.github.io) |
|
213 points by Lapz on Jan 19, 2022 | past | 290 comments
|
|
| | Why Static Languages Suffer from Complexity (hirrolot.github.io) |
|
3 points by hirrolot on Jan 19, 2022 | past
|
|
| | What’s the Point of the C Preprocessor, Actually? (hirrolot.github.io) |
|
2 points by signa11 on Aug 3, 2021 | past | 3 comments
|
|
| | What’s the Point of the C Preprocessor, Actually? (hirrolot.github.io) |
|
3 points by hirrolot on Aug 2, 2021 | past
|
|
| | Extend Your Language, Don’t Alter It (hirrolot.github.io) |
|
2 points by ducaale on July 22, 2021 | past
|
|
| | Macros on Steroids: How pure C can benefit from metaprogramming (hirrolot.github.io) |
|
92 points by todsacerdoti on July 22, 2021 | past | 61 comments
|
|
| | Extend Your Language, Don’t Alter It (hirrolot.github.io) |
|
2 points by adamnemecek on July 6, 2021 | past
|
|
| | Extend Your Language, Don’t Alter It (hirrolot.github.io) |
|
2 points by adamnemecek on July 6, 2021 | past
|
|
