|
|
| | Build a Compiler in Five Projects (kmicinski.com) | | 2 points by tzury 21 days ago | past | 1 comment | |
| | Build a Compiler in Five Projects (kmicinski.com) | | 206 points by azhenley 21 days ago | past | 44 comments | |
| | Why tail-recursive functions are loops (kmicinski.com) | | 137 points by speckx 4 months ago | past | 167 comments | |
| | Datalog, Chain-Forward Computation, and Relational Algebra (kmicinski.com) | | 4 points by PaulHoule on May 15, 2024 | past | |
| | Modern Deduction Post 1: Datalog, Chain-Forward Computation, Relational Algebra (kmicinski.com) | | 2 points by matt_d on May 12, 2024 | past | |
| | Modern Deduction: Datalog, Chain-Forward Computation, and Relational Algebra (kmicinski.com) | | 3 points by azhenley on May 12, 2024 | past | |
| | Hyperproperties and Why They're Hard (kmicinski.com) | | 2 points by todsacerdoti on Oct 10, 2022 | past | |
| | Certifying Interpreters in Racket (kmicinski.com) | | 63 points by bwidlar on Aug 16, 2022 | past | 2 comments | |
| | Certifying Interpreters in Racket (kmicinski.com) | | 1 point by UncleOxidant on Aug 15, 2022 | past | |
| | Certifying Interpreters in Racket (kmicinski.com) | | 7 points by azhenley on Aug 15, 2022 | past | |
| | Program Visualization as Abstract Interpretation (2016) (kmicinski.com) | | 2 points by azhenley on Aug 19, 2020 | past | |
| | Why Does Netflix See My Facebook Picture? (kmicinski.com) | | 1 point by p4bl0 on Jan 3, 2018 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
