How Coding Agents Actually Work: Inside Opencode
cefboud.com·13h·
Discuss: r/programming
🤖Program Synthesis
PostgreSQL Field Guide - The reference guide for new users
barnesandnoble.com·1d·
Discuss: r/programming
🔄Reproducible Builds
Iron Vector: 50% Cost Reduction for Apache Flink Workloads
irontools.dev·17h·
Discuss: Hacker News
🔧Unikernel Development
Infinite Mac: Resource Fork Roundtripping
blog.persistent.info·10h·
Discuss: blog.persistent.info, Hacker News
🍏Darwin
Cuprum 2929: a fun educational game for kids and adults
vaslabs.io·2d·
Discuss: Hacker News
🎮Verification Games
The Quest to Find the Longest-Running Simple Computer Program
wired.com·2d·
Discuss: Hacker News, Hacker News
🎮Verification Games
Nyquist–Shannon Sampling Theorem
en.wikipedia.org·4d·
Discuss: Hacker News
🧮Lambda Calculus
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·4d·
Discuss: Lobsters, Hacker News
🏹Effect Systems
AI hardware reimagined for lower energy use
news.cornell.edu·2h·
Discuss: Hacker News
🩹Self-Healing Systems
Generating Consistent Illustrations with Gemini Image Generation
tinystruggles.com·2d·
Discuss: Hacker News
🎮Verification Games
OpenAI Model Spec
model-spec.openai.com·1d·
Discuss: Hacker News
🔍Formal Verification
Dolphin Progress Report: Release 2509
dolphin-emu.org·10h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
Presentation Decks are a lot easier to create with Gamma
news.ycombinator.com·5h·
Discuss: Hacker News
🍎Apple
Beyond Traditional Pseudorandomness, Tsotchkes' Quantum Random Number Generation
medium.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
STRIDE: Scalable and Interpretable XAI via Subset-Free Functional Decomposition
arxiv.org·4d
🐫OCaml
Scvi-hub: an actionable repository for model-driven single-cell analysis
nature.com·3d·
Discuss: Hacker News
📚Automata Learning
The Elements of Programming Style
en.wikipedia.org·4d·
Discuss: Hacker News
🔬Static Analysis
SSL-AD: Spatiotemporal Self-Supervised Learning for Generalizability and Adaptability Across Alzheimer's Prediction Tasks and Datasets
arxiv.org·1d
📚Automata Learning
DHH is immortal, and costs $200M
danieltenner.com·3d·
Discuss: Hacker News
💎Refinement Types