How Coding Agents Actually Work: Inside Opencode
cefboud.com·11h·
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·15h·
Discuss: Hacker News
🔧Unikernel Development
Infinite Mac: Resource Fork Roundtripping
blog.persistent.info·8h·
Discuss: blog.persistent.info, Hacker News
🍏Darwin
Keeping Things Expressive When DataFrames Are Involved
simplethread.com·3d·
Discuss: Hacker News
🧮Lambda Calculus
Cuprum 2929: a fun educational game for kids and adults
vaslabs.io·1d·
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
Dolphin Progress Report: Release 2509
dolphin-emu.org·8h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
“Mirror life” and the recurring nightmare of scientific apocalypse
bigthink.com·17h·
Discuss: Hacker News
🍏Darwin
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·40m·
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
Building software that survives contact with reality
complexsystemspodcast.com·2d·
Discuss: Hacker News
📊Runtime Verification
Interview with Eliezer Yudkowsky on Rationality and Systematic Misunderstanding of AI Alignment
lesswrong.com·17h
🧠Automated Reasoning
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
TSGCNeXt: Dynamic-Static Multi-Graph Convolution for Efficient Skeleton-Based Action Recognition with Long-term Learning Potential
arxiv.org·1d
📚Automata Learning
Presentation Decks are a lot easier to create with Gamma
news.ycombinator.com·3h·
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