| | Lambda Calculus Explorer (kmicinski.com) |
| 1 point by todsacerdoti 27 days ago | past |
|
| | CIS352: Principles of Programing Languages (kmicinski.com) |
| 1 point by linhns 30 days ago | past |
|
| | Why Study CS? Thoughts on LLM-assisted software engineering (kmicinski.com) |
| 4 points by annjose 89 days ago | past |
|
| | Build a Compiler in Five Projects (kmicinski.com) |
| 2 points by tzury 4 months ago | past | 1 comment |
|
| | Build a Compiler in Five Projects (kmicinski.com) |
| 206 points by azhenley 4 months ago | past | 44 comments |
|
| | Why tail-recursive functions are loops (kmicinski.com) |
| 137 points by speckx 8 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 |
|
