Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·22h·
Discuss: Hacker News
⚡Proof Automation
busy beaver function
ncatlab.org·4h
⚔️Lean Theorem
Go Beyond Viper and Cobra: Declarative Field-Driven Configuration for Go Apps
dev.to·11h·
Discuss: DEV
📋Format Specification
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·2d
✨Effect Handlers
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
HigherOrderCO/HVM3
github.com·11h
🔗Functional Compilers
Show HN: Novel GPT-2 sampling and memory architecture
github.com·4h·
Discuss: Hacker News
💎Information Crystallography
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
AI Code Generation: Trust and Verify, Always
thenewstack.io·23h
⚙️Proof Engineering
Get Back To WARP
binary.ninja·19h
🧪Binary Fuzzing
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·20h·
Discuss: Hacker News
⚡Dependent Rust
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·20h
🔗Tailscale
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·12h·
Discuss: DEV
✨Effect Handlers
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·1d·
Discuss: Hacker News
🔍Concolic Testing
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·5d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
💧Liquid Types
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing