Semantic Dictionary Encoding
falvotech.com·11h·
Discuss: Hacker News
🌀Brotli Dictionary
<p>🔗 <a href="https://stephango.com/file-over-app">Steph Ango: File over app</a></p>
lmika.org·3h
🏺ZIP Archaeology
What is Algebraic about Algebraic Effects?
interjectedfuture.com·9h
✨Algebraic Effects
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·15h·
Discuss: Hacker News
🌳Archive Merkle Trees
Automated Data Lineage Reconstruction via Multi-Modal Graph Analysis & HyperScore Validation
dev.to·6h·
Discuss: DEV
🔗Data Provenance
Balance between refactoring and inheritance in your code
github.com·13h·
Discuss: Hacker News
✅Format Verification
Google releases VaultGemma, its first privacy-preserving LLM
arstechnica.com·4h
💻Local LLMs
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·7h·
Discuss: Hacker News
λLambda Encodings
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·17h
🔗Topological Sorting
A simple way to automate RHEL VM creation
marcin.juszkiewicz.com.pl·1d
🔌Operating system internals
Preserving the digital legacy of company archives: Last stop, Newhaven.
dpconline.org·17h
💾Data Preservation
Fastest copy
forums.anandtech.com·9h
📄Document Digitization
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
OTW - Bandit Level 4 to Level 5
tbhaxor.com·20h
🔧KAITAI
LAVa: Layer-wise KV Cache Eviction with Dynamic Budget Allocation
arxiv.org·21h
💻Local LLMs
Status Week 37
blogs.gnome.org·7h
📺VT100
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·10h·
Discuss: www.blogger.com
🔗Lisp
Greyscale-box test-driven development
blog.ploeh.dk·6h
🧪Property-Based Testing
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·3h·
Discuss: Lobsters
🌳Incremental Parsing
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·7h
🏛️Agda