Holding It Together
onelook.com·12h·
Discuss: Hacker News
📝Term Rewriting
Jobs to Be Done
subpixel.space·12h·
Discuss: Hacker News
🩹Self-Healing Systems
The Imitation Game: Defending Against AI's Dark Side
aswathdamodaran.blogspot.com·1d·
Discuss: Hacker News
🍎Apple
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com·21h·
Discuss: Hacker News
💾Retro Computing
How We Built Our lakeFS Iceberg Catalog
lakefs.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
Seedream 4.0 – A Powerful Image Creation Alternative to Nano Banana
seedream-4.net·1d·
Discuss: Hacker News
🔧Unikernel Development
Greptile's Work Culture
greptile.com·1h·
Discuss: Hacker News
🧗Climbing Tech
C++26: erroneous behaviour
sandordargo.com·3d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔬Static Analysis
Introduction to Linear Types
austral-lang.org·3d·
Discuss: Hacker News
🧩Separation Logic
The Little Book of Everything
github.com·1d·
Discuss: Hacker News
➡️Category Theory
Code Review Without Borders: Evaluating Synthetic vs. Real Data for Review Recommendation
arxiv.org·2d
🔄Reproducible Builds
Linus: "Can we please stop this automated idiocy?"
lore.kernel.org·2d·
Discuss: Hacker News
🔧Unikernel Development
BlazingMQ: A modern, high-performance open message queuing system
github.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
How to Use AI to Improve Teamwork in Engineering Teams
newsletter.eng-leadership.com·2d·
Discuss: r/programming
✓Automated Theorem Proving
AI Is Currently Hitting the Wall of Code Structure
modgo.org·3d·
Discuss: Hacker News
🤖Program Synthesis
Scaling behavior of large language models in emotional safety classification across sizes and tasks
arxiv.org·2d
🧩Parser Combinators
Show HN: Claude Context but local – semantic code search without API keys
github.com·2d·
Discuss: Hacker News, r/ClaudeAI, r/LocalLLaMA
🔧Unikernel Development
The Progress of the Model Context Protocol (MCP) with John Capobianco [audio]
packetpushers.net·3d·
Discuss: Hacker News
⚙️Operating System Design
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·5d·
Discuss: Hacker News
💎Refinement Types
Yes, AI Continues To Make Rapid Progress, Including Towards AGI
thezvi.substack.com·21h·
Discuss: Substack
🩹Self-Healing Systems