Java 25 Is Here - What's New?
i-programmer.info·6h·
Discuss: r/programming
🔬Static Analysis
How Coding Agents Actually Work: Inside Opencode
cefboud.com·1d·
Discuss: r/programming
🤖Program Synthesis
Detecting and reducing scheming in AI models
openai.com·21h·
Discuss: Hacker News
🎮Verification Games
Identifying and Preventing Fraudulent Engineering Candidates: An Investigation into 80 Confirmed Cases
socket.dev·4h·
Discuss: Hacker News
🛡️seL4
Internal Developer Portal vs. Platform: What’s the Difference?
thenewstack.io·1d
🐳Containerization
Diving into Spec-Driven Development with GitHub Spec Kit
developer.microsoft.com·23h·
Discuss: Hacker News
🔄Reproducible Builds
Learning the natural history of human disease with generative transformers
nature.com·5h·
Discuss: Hacker News
📚Automata Learning
Swift 6.2 advances the language meaningfully
victorwynne.com·23h·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Obelisk 0.24.1
obeli.sk·13h·
Discuss: Lobsters, Hacker News
⚡Process Calculi
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·14h
🛡️seL4
Grok Code Fast 1: Why "good enough and fast" beats "perfect and slow"
blog.kilocode.ai·1d·
Discuss: Hacker News
🔄Reproducible Builds
Inside Modal Notebooks: How we built a cloud GPU notebook that boots in seconds
modal.com·1d·
Discuss: Hacker News
🐳Containerization
Fixing AWS Architecture Diagrams: AI Document Processing
ilograph.com·1d·
Discuss: Hacker News, r/programming
🧠Automated Reasoning
Meet Neo, Your Newest Platform Engineer
pulumi.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Kubernetes Security can be Fun?
whitneylee.com·9h·
Discuss: Hacker News
⎈Kubernetes
Modular, On-Site Solutions with Lightweight Anomaly Detection for Sustainable Nutrient Management in Agriculture
arxiv.org·17h
🧠Automated Reasoning
Hypervisor from Scratch
github.com·16h·
Discuss: Hacker News
❄️Nixified Development
Ask: What do you think of my AI task manager?
weesp.ai·1d·
Discuss: Hacker News
🔄Finite State Machines
Fighting human trafficking with self-contained applications
lwn.net·1d·
Discuss: Hacker News
🐫Embedded OCaml
Scaling with Prometheus: Managing 80M Metrics Smoothly
kapillamba4.medium.com·2d·
Discuss: Hacker News
🐳Containerization