Issue 483
haskellweekly.news·2d
⚙Functional Programming
tonsky/FiraCode
github.com·1h
🔧Compiler Design
A one-week deep dive into building a dual-mode template engine (Runtime Parser vs. Build-time AST Compiler)
reddit.com·11h·
Discuss: r/programming
🔧Compiler Design
The Road Not Taken: Why Mars Chose Manual Recursion Over the Visitor Pattern 🛤️
dev.to·2d·
Discuss: DEV
📝Lisp
TypeScript: Langium 4.0 brings infix operators for more compact grammar
heise.de·1d
🧮Programming Language Theory
Transpiling a Forth dialect to LLVM IR
onirom.fr·1d
🔧Compiler Design
Hask Is Not a Category
math.andrej.com·3d·
Discuss: Hacker News
🔄Category Theory
You're probably not learning with AI
aryas.dev·19h·
Discuss: Hacker News
🧩Theorem Proving
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·3d
🔐Cryptography
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·1d
🔐Cryptography
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·4d
🧩Theorem Proving
A Sea of Nodes IR Tutorial
github.com·7h·
Discuss: Hacker News
🦀Rust
EP174: 16 Coding Patterns That Make Interviews Easy
blog.bytebytego.com·11h
🔌Network Programming
google/oss-rebuild
github.com·54m
👐Open Source Software
Partner with the AI, throw away the code
martinfowler.com·2d
🧩Theorem Proving
Fermat's Last Theorem in Lean – Imperial College London
github.com·2d·
Discuss: Hacker News
🧩Theorem Proving
Observing and evaluating AI agentic workflows with Strands Agents SDK and Arize AX
aws.amazon.com·1d
🎲Probabilistic Programming
The Schwartzian Transform (2016)
perl.com·1d·
Discuss: Hacker News
📝Lisp
True names matter in C++
quuxplusone.github.io·2d
📐Type Theory
GITEX GLOBAL 2025
darkreading.com·1d
🛡️IoT Security