TOLLBOOTH: What's yours, IIS mine
elastic.co·5d
🛡️eBPF Security
Flag this post
Don’t Make Assumptions About Assertions: Even with AI you still have to write your unit tests
dev.to·4h·
Discuss: DEV
🔍Concolic Testing
Flag this post
An Analysis of iBoot's Image4 Parser
amarioguy.github.io·1d·
Discuss: Lobsters, Hacker News
🔒Secure Boot
Flag this post
The Best Thing I've Learned in Programming This Year
hidden.computer·2d·
Discuss: Hacker News
🌐DNS over QUIC
Flag this post
I built an AI tool to recover passwords
news.ycombinator.com·2d·
Discuss: Hacker News
🔓Password Cracking
Flag this post
AgentFlow: Autonomous AI Agents with Secure OAuth Integration via Auth0 Token Vault
dev.to·5h·
Discuss: DEV
🔌Interface Evolution
Flag this post
Visibility at scale: How Figma detects sensitive data exposure
figma.com·4d·
Discuss: Hacker News
🌊Stream Processing
Flag this post
GSoC '25: Parallel Macro Expansion
lorrens.me·16h·
Discuss: r/rust
🦀Rust Macros
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·9h·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Flag this post
Securing IoT Communications via Anomaly Traffic Detection: Synergy of Genetic Algorithm and Ensemble Method
arxiv.org·4d
🌸Bloom Variants
Flag this post
My First Time Vibe Coding: A Skeptic's Journey
metorial.com·2d·
Discuss: Hacker News
📏Code Metrics
Flag this post
MCP for Bulk Lead/Email Verification!✅
dev.to·16h·
Discuss: DEV
⚡Proof Automation
Flag this post
Valgrind 3.26 Released
sourceforge.net·1d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·8h·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
Ken Thompson's "Trusting Trust" compiler backdoor - Now with the actual source code (2023)
micahkepe.com·2d·
Discuss: Hacker News, Hacker News, r/programming
💻Programming languages
Flag this post
Accessibility APIs for AI Agents
colton.place·7h·
Discuss: Hacker News
📟CLI Design
Flag this post
Reagami: a Reagent-like library in less than 100 lines of Squint CLJS
blog.michielborkent.nl·2d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Automated Anomaly Detection & Root Cause Analysis in Optical Data Center Security Logs via Graph Neural Networks
dev.to·1d·
Discuss: DEV
🎯Threat Hunting
Flag this post
Trap Bots on Your Server
maurycyz.com·16h·
Discuss: Hacker News
🔄Burrows-Wheeler
Flag this post
How I Crushed Advent of Code And Solved Hard Problems Using Autogen Jupyter Executor and Qwen3
dev.to·2h·
Discuss: DEV
⚙️WASM Runtime
Flag this post