Patch Package OTP 26.2.5.14 Released – Erlang News
erlangforums.com·2d·
Discuss: Hacker News
❄️Nixified Development
Parsing Safetensors File Format in C
leetarxiv.substack.com·4d·
Discuss: Substack, r/programming
🔬Static Analysis
Career Progression of the Indiehacker
rayan.ooo·1d·
Discuss: Hacker News
🧗Climbing Tech
Tell Me Again About Neurons Now
science.org·2d·
Discuss: Hacker News, Hacker News
⚙️Operating System Design
Become a machine learning engineer in five to seven steps
maxmynter.com·3d·
Discuss: Hacker News
🔤DSLs
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·4d·
Discuss: Hacker News
🤖Program Synthesis
Over 30 AI models have been trained at 10^25 FLOP or greater
epoch.ai·3d·
Discuss: Hacker News
🐫Embedded OCaml
A £3.93/mo Nomad‑backed learning lab: Next.js · .NET · Postgres on a budget
craig.banach.dev·2d·
Discuss: Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
Getting past LLM "day one" problem with MIRIX
fujimon.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Working with Rust is super fun coming from C++
reddit.com·5d·
Discuss: r/rust
🔬Static Analysis
A Quantum Correspondence
3quarksdaily.com·5d·
Discuss: Hacker News
🎮Verification Games
Comparing Claude Code vs OpenCode (and testing different models)
andreagrandi.it·3d·
Discuss: Hacker News
🔄Reproducible Builds
AI Agents Are Creating a New Security Nightmare for Enterprises and Startups
thenewstack.io·1d
🛡️seL4
Show HN: I built a video meet app integrated with AI voice and avatar agents
github.com·9h·
Discuss: Hacker News
🍎Apple
SENSOR: An ML-Enhanced Online Annotation Tool to Uncover Privacy Concerns from User Reviews in Social-Media Applications
arxiv.org·4d
🔠Type-Level Programming
"How to Explore Biases in Speech Emotion AI with Users?" A Speech-Emotion-Acting Study Exploring Age and Language Biases
arxiv.org·2d
🏹Effect Systems
StellarF: A Lora-Adapter Integrated Large Model Framework for Stellar Flare Forecasting with Historical & Statistical Data
arxiv.org·4d
🐫OCaml
Lost English legend decoded, solving Chaucerian mystery and revealing a medieval preacher's meme
phys.org·4d·
Discuss: Hacker News
🐫OCaml
We're Speeding Toward Skynet
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Finite State Machines
A Practical Two-Stage Recipe for Mathematical LLMs: Maximizing Accuracy with SFT and Efficiency with Reinforcement Learning
arxiv.org·6d
✓Automated Theorem Proving