How Coding Agents Actually Work: Inside Opencode
cefboud.com·15h·
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·19h·
Discuss: Hacker News
🔧Unikernel Development
Infinite Mac: Resource Fork Roundtripping
blog.persistent.info·12h·
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·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·4h·
Discuss: Hacker News
🩹Self-Healing Systems
Apertus: An open, transparent, multilingual language model
robohub.org·4h·
Discuss: Hacker News
🔬Unikernels
OpenAI Model Spec
model-spec.openai.com·1d·
Discuss: Hacker News
🔍Formal Verification
The Curse of the Hybrid Engineer-Designer
opuslabs.substack.com·1h·
Discuss: Substack
💎Refinement Types
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
DHH is immortal, and costs $200M
danieltenner.com·4d·
Discuss: Hacker News
💎Refinement Types
Show HN: Helios, an open-source distributed AI network using idle community GPUs
github.com·20h·
Discuss: Hacker News
📦Unikernel Systems
A Review of Nina Panickssery’s Review of Scott Alexander’s Review of “If Anyone Builds It, Everyone Dies”
lesswrong.com·19h
🛡️seL4
Scaling Arabic Medical Chatbots Using Synthetic Data: Enhancing Generative AI with Synthetic Patient Records
arxiv.org·1d
🐫OCaml
The Role of Follow Networks and Twitter's Content Recommender on Partisan Skew and Rumor Exposure during the 2022 U.S. Midterm Election
arxiv.org·1d
🧩Parser Combinators
A Co-Training Semi-Supervised Framework Using Faster R-CNN and YOLO Networks for Object Detection in Densely Packed Retail Images
arxiv.org·1d
💻CS