The Agentic Web: How AI Agents Are Shaping the Web’s Future
thenewstack.io·8h
🤖Program Synthesis
Tricks from OpenAI gpt-oss YOU 🫵 can use with transformers
huggingface.co·1d·
🔧Unikernel Development
Run Any MCP as Agent
blog.inxm.ai·3d·
Discuss: Hacker News
🐳Containerization
Auth Migration Hell: Why Your Next Identity Project Might Keep You Up at Night
securityboulevard.com·18h·
Discuss: Hacker News
🛡️seL4
FFmpeg – The Ultimate Guide
img.ly·21h·
Discuss: Hacker News
🍎XNU Internals
Shamir's Secret Sharing
en.wikipedia.org·1d·
Discuss: Hacker News
🧩Separation Logic
I built an interactive bloom filter visual simulator so you can understand this data structure better
coffeebytes.dev·2d·
Discuss: r/programming
📊Runtime Verification
Show HN: FSP2 Tested on excerpt "Romeo and Juliet" impressive compresion results
news.ycombinator.com·16h·
Discuss: Hacker News
🧮Lambda Calculus
Mediabunny: Pure TypeScript media toolkit similar to FFmpeg
github.com·22h·
Discuss: Hacker News
🔧Unikernel Development
Kerberoasting
blog.cryptographyengineering.com·1d·
🛡️seL4
Show HN: Vibe Code Kit code with confidence
vibecodekit.dev·6h·
Discuss: Hacker News
🤖Program Synthesis
Spiral
spiraldb.com·12h·
Discuss: Hacker News
💾Retro Computing
Exploring Canton: a privacy-preserving distributed ledger for finance
quant.engineering·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·2d·
Discuss: Hacker News
⚙️PL Implementation
Belzebub.ai: AI Deception Platform
beelzebub.ai·1d·
Discuss: Hacker News
🖥Self-Hosting
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·3d
🧠Automated Reasoning
Rewriting Val Town's editor
blog.val.town·3d·
⚙️PL Implementation
Dicio: Open-Source Voice Assistant for Android
github.com·10h·
Discuss: Hacker News
🧩Parser Combinators
Massively Parallel Agentic Simulations with Ray
anyscale.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Rich Answered That
gist.github.com·2d·
🧮Lambda Calculus