Program Synthesis is Interesting and Open
stephendiehl.com·10h·
Discuss: Hacker News
💻Programming languages
Coping with Complexity
slott56.github.io·23h
🔗Concatenative Programming
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·7h·
Discuss: DEV
🧬Functional Programming
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Boolean Blindness
existentialtype.wordpress.com·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Lockfree Programming: A Mental Model
xorvoid.com·1d·
Discuss: Hacker News, Hacker News
⚡Hardware Transactional Memory
higher: Your favourite Haskell type classes for Rust (2023)
github.com·21h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
My first experience with Formal Methods | ZipCPU
zipcpu.com·3d
🔧Hardware Verification
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·6h·
Discuss: DEV
🦀Rust Borrowing
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·2d·
Discuss: Hacker News
🔢Denotational Semantics
Python Fundamentals: arguments
dev.to·11h·
Discuss: DEV
💧Liquid Types
Towards Bug-Free Distributed Go Programs
arxiv.org·3d·
Discuss: r/compsci
🌐Protocol Synthesis
To Bind and Loose a Reference
thephd.dev·12h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Reflection and open implementations (2006)
dcc.uchile.cl·20h·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
The Architecture of Web-Based Graphic Editors and 7 Design Patterns (Part 2)
dev.to·1h·
Discuss: DEV
✨Effect Handlers
Memory Safety in Web Rust System Zero Cost Secure（1750545683665600）
dev.to·13h·
Discuss: DEV
🦀Rust Borrowing
Counterfactuals
plato.stanford.edu·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Show HN: Cartesian vs. Sparse Merkle Trees – faster treap-based design in Go
rafaelescrich.medium.com·1d·
Discuss: Hacker News
🌳Archive Merkle Trees