Algebraic Types are not Scary
blog.aiono.dev·23h·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·20h·
Discuss: DEV
🦀Rust Macros
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·6h
🦀Rust Verification
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·3d·
Discuss: Hacker News
🔤Type Theory
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🔗Topological Sorting
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
What is Algebraic about Algebraic Effects?
interjectedfuture.com·17h
✨Algebraic Effects
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·15h·
Discuss: Hacker News
λLambda Encodings
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·21h·
Discuss: Hacker News
🔗Lisp
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
💻Programming languages
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·5h
🧮Theorem Proving
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·15h
🏛️Agda
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Greyscale-box test-driven development
blog.ploeh.dk·14h
🧪Property-Based Testing
Semantic Dictionary Encoding
falvotech.com·19h·
Discuss: Hacker News
🌀Brotli Dictionary
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·18h·
Discuss: www.blogger.com
🔗Lisp
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·11h·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·5h
🧮Z3 Solver
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity
Productive AI Programming Using Forced Context Distillation
jx0.ca·21h·
Discuss: Hacker News
⚡Proof Automation