Post #1733
1.29K
- Sep 14, 2026Tracking Redexes in the Lambda Calculus Jean-Jacques Lévy Residuals of redexes keep track…
- Sep 10, 2026Reference counting as a computational interpretation of linear logic Jawahar Chirimar, Car…
- Sep 6, 2026После лекции про System T меня расспрашивали про доказательства непротиворечивости и теоре…
- Sep 5, 2026https://dl.acm.org/doi/epdf/10.1145/2544173.2509546 Carbin, Misailovic, Rinard, [2013] "Ve…
- Aug 13, 2026Low-Level Software Security for Compiler Developers https://llsoftsec.github.io/llsoftsecb…
- Aug 1, 2026People in the know say it's a daily-worth material, https://youtu.be/FTmmG3Dx8HA