Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·16h·
Discuss: r/programming
🔬Static Analysis
KDE ISO Image Writer is finally getting a UI redesign and new features
neowin.net·3h·
Discuss: Hacker News
🔬Unikernels
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔬Static Analysis
Data Science Weekly – Issue 607
datascienceweekly.substack.com·11h·
Discuss: Substack
👁️System Observability
Amber Smalltalk
amber-lang.net·1d·
Discuss: Hacker News
⚙️PL Implementation
Chalk – Metadata Code Tracking Made Easy
github.com·1d·
Discuss: Hacker News
❄️Nixified Development
We asked 9 AI and agent builders about their top problems
unionailoop.substack.com·1d·
Discuss: Substack
👁️System Observability
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
Vibe Coding: Trend or Security Disaster Waiting to Happen?
xygeni.io·22h·
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
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·10h
🌐NetworkProtocols
I still care about the code
martinfowler.com·1d·
Discuss: DEV, Hacker News
🔬Static Analysis
How TimescaleDB helped us scale analytics and reporting
blog.cloudflare.com·3d·
Discuss: Hacker News
👁️System Observability
Platform Engineering Won’t Save You
aviator.co·1d·
Discuss: Hacker News, r/programming
👁️System Observability
Improving Trust in AI Systems
searchcraft.io·2d·
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
Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence
guptadeepak.com·15h·
Discuss: Hacker News
👁️System Observability
I ride AI-hype train
blog-doe.pages.dev·2d·
Discuss: Hacker News
🧱Immutable Infrastructure