Lax Space: Designing With Duct Tape and Everyday Chaos
tympanus.net·9h
💬Smalltalk VMs
Determinate Nix: the recent past and the shining future
determinate.systems·3h·
Discuss: Hacker News
🏗️Build Systems
Conversation with Claude on Reasoning
blog.yellowflash.in·2h·
Discuss: Hacker News
🔄Subinterpreters
Three Meanings of Effects
burakemir.ch·4d·
Discuss: Hacker News
💫Effect Systems
On benchmarking: "measuring performance is hard" (2017)
ruudvanasseldonk.com·3h·
Discuss: Hacker News
⚡Performance
I Built a Compiler in Five Days with Claude AI
indiehackers.com·11h·
Discuss: Hacker News
🎭Program Synthesis
Ariadne’s Thread: Why a Catalog-First Approach Matters
medium.com·3h
🔍Search Algorithms
LIMI: Less is More for Agency
arxiv.org·15h
🎮Language Ergonomics
State Management in Vanilla JS
dev.to·2d·
Discuss: DEV
🏛️Elm Architecture
Broken Trust: Fixed Supermicro BMC Bug Gains a New Life in Two New Vulnerabilities
binarly.io·1h
🏷️Memory Tagging
Python Tuples: The Ultimate Guide to Immutable Sequences
dev.to·1d·
Discuss: DEV
🧩Persistent Vectors
MiniMeshT: A tiny terminal chat client for Meshtastic. No protobufs, no bloat
github.com·2h·
Discuss: Hacker News
💬Smalltalk VMs
Codifying Natural Langauge Tasks
arxiv.org·15h
🧠Semantic Parsing
Synergies between Federated Foundation Models and Smart Power Grids
arxiv.org·15h
🏛️Elm Architecture
Clean Design, Strong Client: The way of the Elasticsearch's Java SDK
dev.to·2d·
Discuss: DEV
🔧API Design
Space-Deniable Proofs
eprint.iacr.org·1d
📜Proof Languages
DjangoCon US 2025: Security, Simplicity, and Community
dev.to·1d·
Discuss: DEV
🛡️Security Type Systems
Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning
arxiv.org·15h
📋Souffle Datalog
How Kubernetes-Inspired API Design Helps LLMs
dev.to·29m·
Discuss: DEV
📦Monorepos
Synth-MIA: A Testbed for Auditing Privacy Leakage in Tabular Data Synthesis
arxiv.org·15h
🎲Parser Fuzzing