Composing pure Haskell assertions
blog.ploeh.dk·2h
🔗Functional Compilers
Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·1d·
Discuss: Hacker News
🎯Gradual Typing
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·1d
🧮Theorem Proving
The Immutable Key Mystery: What Makes a Dictionary Key Valid
dev.to·9h·
Discuss: DEV
🗄️Type-safe Archives
Correct Reasoning Paths Visit Shared Decision Pivots
arxiv.org·6h
🧮SMT Solvers
Apply the Trie: Word Search
mmhaskell.com·1h
🌳Trie Structures
Edge cases in DNSSEC validation with multiple algorithms
blog.apnic.net·8h
🌐DNS Security
Halo2's Elegant Transcript As Proof
cryptologie.net·1d
🎯Performance Proofs
os-testing POSIX headers everywhere
sortix.org·11h
📺VT100 Emulation
A Prompt to Create a Starter Common Lisp Project
funcall.blogspot.com·2d·
🧠Lisp Dialects
The Lowest Level PL
pramatias.github.io·1d·
🦀Rust Macros
Eventual Consistency Today: Limitations, Extensions and Beyond (2013)
queue.acm.org·6h·
Discuss: Hacker News
🤝Distributed Consensus
Zero ASIC releases Wildebeest, the highest performance FPGA synthesis tool
zeroasic.com·6h·
Discuss: Hacker News
🔧FPGA Preservation
Working at ABI boundaries
rkrishnan.org·1d
🦀Rust Borrowing
Well-Typed.Com: Haskell ecosystem activities report: June–August 2025
well-typed.com·3d
🔗Functional Compilers
Stealing Debug Pretty Print from Vitis HLS
stefanabikaram.com·6h·
Discuss: Hacker News
📺VT100 Emulation
Writing Memory Safe JIT Compilers
medium.com·3d·
Discuss: Hacker News
🏗️Compiler Archaeology
LLMOps Done Right: Designing Traceable, Secure AI Systems for Production
dev.to·16h·
Discuss: DEV
💻Local LLMs
Spider-Man: The Movie Game dissection project - Introduction
krystalgamer.github.io·16h·
Discuss: r/programming
🎮Game Decompilation
Issue 491
haskellweekly.news·3d
🧬Functional Programming