A Slotted Hash Cons for Alpha Invariance
philipzucker.com·9h·
Discuss: Hacker News
λLambda Encodings
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·1h
🦀Rust Verification
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·12h
✨Algebraic Effects
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·9h
🏛️Agda
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·15h·
Discuss: Hacker News
🔗Lisp
Algebraic Types are not Scary
blog.aiono.dev·17h·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Semantic Dictionary Encoding
falvotech.com·13h·
Discuss: Hacker News
🌀Brotli Dictionary
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·13h·
Discuss: www.blogger.com
🔗Lisp
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
💧Liquid Types
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·19h
🔗Topological Sorting
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·2h·
Discuss: DEV
🧪Binary Fuzzing
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
The many, many, many JavaScript runtimes of the last decade
shapeof.com·10h
🏗️Compiler Archaeology
A Positive Lambda: '+[]{}'
stackoverflow.com·3d·
Discuss: Lobsters, Hacker News
λLambda Formalization
Greyscale-box test-driven development
blog.ploeh.dk·9h
🧪Property-Based Testing
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·6h
⚡Proof Automation
What Does -> Mean in Python Function Definitions?
realpython.com·14h
λLambda Formalization
ECMAScript TC39 proposal-pattern-matching
github.com·14h·
Discuss: Hacker News
🔤Type Theory
LAVa: Layer-wise KV Cache Eviction with Dynamic Budget Allocation
arxiv.org·1d
💻Local LLMs