DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
A very short book note
logicmatters.net·2d
⚔️Lean Theorem
Cactus Language • Syntax 10
inquiryintoinquiry.com·4h
📝Concrete Syntax
The dark side of Python (for CS students before learning Python)
gist.github.com·7h·
Discuss: Hacker News
💻programming languages
Boolean Blindness
existentialtype.wordpress.com·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Counting with Categories (Part 1)
golem.ph.utexas.edu·5h
λLambda Formalization
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·8h·
Discuss: DEV
🦀Rust Borrowing
Program Synthesis is Interesting and Open
stephendiehl.com·19h·
Discuss: Hacker News
💻Programming languages
Experiment proposal: In-place initialization
github.com·5h
🦀Rust Macros
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
What Is Wrong with Statement Coverage
bullseye.com·2h·
Discuss: Hacker News
🧪Property-Based Testing
My first experience with Formal Methods | ZipCPU
zipcpu.com·3d
🔧Hardware Verification
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·3d·
Discuss: Hacker News
🔢Denotational Semantics
Lockfree Programming: A Mental Model
xorvoid.com·1d·
Discuss: Hacker News, Hacker News
⚡Hardware Transactional Memory
Python Fundamentals: all
dev.to·22h·
Discuss: DEV
💧Liquid Types
Mapping LLMs over excel saved my passion for game dev
danieltan.weblog.lol·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·7h·
Discuss: Hacker News
🔗Functional Compilers