I Replaced Redis Locks with Database Atomicity and You Should Too
wcff.bearblog.dev·4d·
Discuss: r/programming
⚡Process Calculi
Declarative GUI Toolkit Slint 1.13 released
slint.dev·4d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
C-to-N atom swap enables direct access to benzimidazoles from drug-like indoles
nature.com·20h·
Discuss: Hacker News
🐫OCaml
AI Isn't Biased Enough
hedgehogreview.com·1h·
Discuss: Hacker News
📚Automata Learning
Vibe Coding Through the Berghain Challenge
nibzard.com·1d·
Discuss: Hacker News
🎮Verification Games
What does the government think an algorithm is?
tommorris.org·1d·
Discuss: Hacker News
🧩Parser Combinators
The CoPilot productivity paradox
marginalia.nu·1d·
Discuss: Lobsters, Hacker News, Hacker News
👁️System Observability
Ask HN: Data integrity in a decentralized trustless system
news.ycombinator.com·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Knowledge and memory
robinsloan.com·1d·
Discuss: Hacker News
📚Automata Learning
I have hacked to gather a software stack to take over the world
yetanotherprojecttosavetheworld.org·3d·
Discuss: Hacker News
🔬Unikernels
EmbeddingGemma - 300M parameter, state-of-the-art for its size, open embedding model from Google
huggingface.co·3d·
Discuss: Hacker News, r/LocalLLaMA
🧩Parser Combinators
Build an AI coding agent in Python
theptrk.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·1d·
Discuss: Hacker News
📚Automata Learning
The Babysitter Problem
chrisbeckman.dev·1d·
Discuss: Hacker News
🛡️seL4
Dream: Visual Decoding from Reversing Human Visual System
github.com·16h·
Discuss: Hacker News
📚Automata Learning
Why Eval Startups Fail
thomasliao.com·1d·
Discuss: Hacker News
🧩Parser Combinators
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·4d·
Discuss: Hacker News, Hacker News, shkspr.mobi, r/programming
📊Runtime Verification
Why RDF Is the Natural Knowledge Layer for AI Systems
bryon.io·2d·
Discuss: Hacker News
🧠Automated Reasoning
app.build: A Production Framework for Scaling Agentic Prompt-to-App Generation with Environment Scaffolding
arxiv.org·3d
🔄Reproducible Builds
Solving Polynomial Systems with Gr\"obner Bases: An Introduction to F4 and FGLM
arxiv.org·3d
🐫OCaml