Empowering Radiotherapy with OncoSharp
sachpazidis.com·7h·
Discuss: Hacker News
🔧Unikernel Development
Understanding the Future of No-Code Data Import Solutions
dromo.io·7h·
Discuss: Hacker News
🐳Containerization
HTML Sanitization: Avoiding The Double-Encoding Issue
bogomolov.work·1d·
Discuss: r/programming
🌐NetworkProtocols
Boost Analytics Query with EDB Postgres Distributed Analytics Engine
enterprisedb.com·17h·
Discuss: Hacker News
🏠HomeLab
Is GPT-5 a Coding Powerhouse or Maintainability Nightmare?
thenewstack.io·19h
🔄Reproducible Builds
What I learned managing an AI developer while seeking enlightenment
pocha.substack.com·1d·
Discuss: Substack
🔄Reproducible Builds
Portable Targeted Sampling Framework Using LLVM
arxiv.org·3d
🐫Embedded OCaml
If I hear "design pattern" one more time, I'll go mad
purplesyringa.moe·3d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Show HN: Inception: Automatic Rust Trait Implementation by Induction
github.com·1d·
Discuss: Hacker News, r/rust
🔠Type-Level Programming
Just One More Prompt
commandpattern.org·1d·
Discuss: Hacker News
📚Automata Learning
We built an interpreter for Swift (a compiled language)
bitrig.app·2d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
How to Vibe Code Effectively
ibrahimahmed.ca·3d·
Discuss: Hacker News
🔬Static Analysis
5 Times LLMs Help You Code… and 5 Times They Fail
shiftmag.dev·17h·
Discuss: r/programming
🤖Program Synthesis
C++'s Greatest Flaw
harshal.is-cool.dev·2d·
Discuss: Hacker News
🔬Static Analysis
Vibe Coding a Broadcasting Graphics Solution in 6 Hours
elite-ai-assisted-coding.dev·20h·
Discuss: Hacker News
🤖Program Synthesis
Test-Driven Infrastructure
maxdaten.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
Subverting code integrity checks to locally backdoor Signal, 1Password, Slack, and more
blog.trailofbits.com·3d·
Discuss: Lobsters, Hacker News
🛡️seL4
Look Out For Bugs
matklad.github.io·3d·
Discuss: Lobsters
🔬Static Analysis
Disciplined AI Software Development: Structured Method for Generative Programming
github.com·2d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Vibe Coding Through the Berghain Challenge
nibzard.com·18h·
Discuss: Hacker News
🎮Verification Games