Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·14h·
Discuss: r/programming
🔬Static Analysis
KDE ISO Image Writer is finally getting a UI redesign and new features
neowin.net·2h·
Discuss: Hacker News
🔬Unikernels
Binding Application in Idris
andrevidela.com·13h·
Discuss: Hacker News
🔠Type-Level Programming
Polaris: A Post-training recipe for scaling RL on Advanced Reasoning models
hkunlp.github.io·2d·
Discuss: Hacker News
🏹Effect Systems
Building MCP servers the easy way with Apache OpenServerless
opensource.net·1d·
Discuss: Hacker News
🛡️seL4
Chalk – Metadata Code Tracking Made Easy
github.com·1d·
Discuss: Hacker News
❄️Nixified Development
Vibe Coding: Trend or Security Disaster Waiting to Happen?
xygeni.io·21h·
Discuss: Hacker News
🤖Program Synthesis
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
🧪Property-Based Testing
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
How TimescaleDB helped us scale analytics and reporting
blog.cloudflare.com·2d·
Discuss: Hacker News
👁️System Observability
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·8h
🌐NetworkProtocols
Built a Product Hunt People Are Using
news.ycombinator.com·2d·
Discuss: Hacker News
❄️Nixified Development
I still care about the code
martinfowler.com·1d·
Discuss: DEV, Hacker News
🔬Static Analysis
Platform Engineering Won’t Save You
aviator.co·1d·
Discuss: Hacker News, r/programming
👁️System Observability
Improving Trust in AI Systems
searchcraft.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Claude Code vs Gemini CLI: Which One’s the Real Dev Co-Pilot?
milvus.io·2d·
Discuss: Hacker News
🤖Program Synthesis
Running a static website in AWS for $0.55
cottongeeks.com·19h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I ride AI-hype train
blog-doe.pages.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Architect's Guide to Micro-Front Ends: Module Federation with React and Angular
developersvoice.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence
guptadeepak.com·14h·
Discuss: Hacker News
👁️System Observability