original ↗
raymondcamden.com·1d
🔄Incremental Lexing
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·8h
🧪Testing Compilers
Ask HN: How can I test FTS5 engine in SQLite3?
news.ycombinator.com·3h·
Discuss: Hacker News
⚡Performance
Unlock 'Magic' Optimization: Smarter Search When Blindfolded by Arvind Sundararajan
dev.to·16h·
Discuss: DEV
🔍Fuzzy Indexing
Jim Henry | Wards Auto
wardsauto.com·20h
🔢Algebraic Datatypes
Combating headcrabs in the Source SDK codebase
dev.to·37m·
Discuss: DEV
🦀MIR Optimization
Power Query Secret Tip to Lightning-Fast Approximate Matches
geeky-gadgets.com·1d
📊Query Optimizers
How to Debug Chez Scheme Programs (2002)
scheme.com·15h·
Discuss: Hacker News
💬Error Message Design
Fickling’s new AI/ML pickle file scanner
blog.trailofbits.com·1h
🛡️Parser Security
The Horton-Strahler number of butterfly trees
arxiv.org·8h
🧮Combinator Calculus
Using AI Agents for Reranking in RavenDB
ayende.com·1d
🔍Query Engines
Haiku Activity & Contract Report, August 2025
haiku-os.org·11h
📊perf Tools
Linkage
11011110.github.io·20h
🧮Combinator Calculus
HTB Planning Machine Walkthrough | Easy HackTheBox Guide for Beginners
infosecwriteups.com·3h
💻Terminal Control
GB/s Level Editable DOM JSON Engine: The Architectural Philosophy Behind LJSON
github.com·7h·
Discuss: DEV
📋JSON Parsing
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·13h·
Discuss: Lobsters, Hacker News
🌲Tree-sitter
StringWa.rs on GPUs: Databases & Bioinformatics 🦠
ashvardanian.com·17h·
Discuss: Hacker News, r/programming
🚀Tokenizer Performance
How to implement the Outbox pattern in Go and Postgres
packagemain.tech·4h·
Discuss: Hacker News, r/golang, r/programming
📮Message Queues
OpenAI debuts GPT-5-Codex model to automate time-consuming coding tasks
siliconangle.com·11h
⚡Live Coding
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·23h·
Discuss: DEV
🧮Theorem Provers