OpenSMTPD 7.8.0p0
bsdsec.net·16h
🐡OpenBSD
Flag this post
Building Up And Sanding Down
endler.dev·1d
🔩Systems Programming
Flag this post
Vibe coding needs a spec, too
stackoverflow.blog·19h
🔌Interface Evolution
Flag this post
When AI Agents Go Rogue: Agent Session Smuggling Attack in A2A Systems
unit42.paloaltonetworks.com·17h
🕵️Vector Smuggling
Flag this post
The Orchestrator Pattern: Orchestrating AI Agents Like a Mission Control Engineer
zackproser.com·1d
🏠Homelab Orchestration
Flag this post
Oops, My UUIDs Collided
alexsci.com·8h·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
💧Liquid Types
Flag this post
A Multi-agent Large Language Model Framework to Automatically Assess Performance of a Clinical AI Triage Tool
arxiv.org·23h
🧮Kolmogorov Complexity
Flag this post
Automated Defect Cascade Prediction and Mitigation in Automotive Embedded Systems
dev.to·2d·
Discuss: DEV
🔧Hardware Verification
Flag this post
Agents Rule of Two: A Practical Approach to AI Agent Security
ai.meta.com·6h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1h·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
🔀Category Theory
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·2d·
Discuss: Hacker News
✨Effect Handlers
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·6h·
Discuss: Hacker News
🏗️Compiler Archaeology
Flag this post
Mr. Bones: A Pirate-Voiced Halloween Chatbot Powered by Docker Model Runner
docker.com·15h
🎙️Whisper
Flag this post
Let's Poison Your LLM Application: A Security Wake-Up Call
dev.to·1d·
Discuss: DEV
🧪Binary Fuzzing
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
💧Liquid Types
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
Flag this post