We built AI that auto-checks building plans
planchecksolver.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com·19h·
Discuss: Hacker News
⏰Time Crystals
The Mondrian introduction to functional optics
marcosh.github.io·4d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
Kubernetes 1.34 Features Explained
scaleops.com·2d·
Discuss: Hacker News
📦Container Security
Control Codegen Spend
oreilly.com·2d
⚔️Lean Tactics
The Chip That Spoke Lisp
jxself.org·4d
🤖Lisp Machines
OpenAI's inflated valuation, as I understand it
taloranderson.com·1d·
Discuss: Hacker News
💻Local LLMs
Property-based testing of batch-invariant operations
mmaaz.ca·6d·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·2d·
Discuss: Hacker News
🔍BitFunnel
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·1d
🔲Cellular Automata
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
Tiny AI model outperforms o3‑mini and Gemini 2.5 Pro in ARC‑AGI benchmark
the-decoder.com·2d
🧠Intelligence Compression
Enhanced Arc-Fault Current Detection via Dynamic Bayesian Network Inference
dev.to·17h·
Discuss: DEV
🌊Stream Processing
Why People Say “F*** LeetCode”: Difficulty, Fairness, Real-World Value — and a Better Way
dev.to·2d·
Discuss: DEV
📏Code Metrics
Building A Real-Time Communication System Using Go and WebSocket
dev.to·1d·
Discuss: DEV
🌐WebSocket Framing
The Alert System: Try, Except, and Finally
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
ACMID: Automatic Curation of Musical Instrument Dataset for 7-Stem Music Source Separation
arxiv.org·1d
🎵Audio Formats
Ryanair flight landed at Manchester airport with six minutes of fuel left
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Static Bundle Object: Modernizing Static Linking
medium.com·4d·
Discuss: Hacker News, Hacker News
🔗Static Linking