Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Controlling program flow with capabilities in Scala
nrinaudo.github.io·8h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to·9h·
Discuss: DEV
🧮Constraint SMT
Cactus Language • Mechanics 1
inquiryintoinquiry.com·9m
📝Concrete Syntax
Issue 490
haskellweekly.news·6h
🔗Functional Compilers
haskell/mtl
github.com·16h
🔗Functional Compilers
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·1h
💻Local LLMs
Can a Data Race Happen on a Single-Core Machine?
aoli.al·2h·
Discuss: Hacker News
⚡Cache Coherence
Greyscale-box test-driven development
blog.ploeh.dk·2d
🧪Property-Based Testing
Claude Can (Sometimes) Prove It
galois.com·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
System Instruction Fixed Point
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚡Proof Automation
Generalised Reachability Games Revisited
arxiv.org·14h
🔲Cellular Automata
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
Efficient evaluation of expressions specified in the GO runtime
reddit.com·11h·
Discuss: r/golang
🔗Functional Compilers
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
What I learned building a programming language with LLM agents
eddmann.com·1h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Hamilton–Jacobi–Bellman is just linear duality
guille.site·1d·
Discuss: Hacker News
📈Linear programming
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·1h·
Discuss: Hacker News
🌀Brotli Internals
Balance between refactoring and inheritance in your code
github.com·3d·
Discuss: Hacker News
✅Format Verification
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·5h·
Discuss: Hacker News
🔗Functional Compilers