OpenBSD proposes BPF socket filtering to enhance daemon security
discoverbsd.com·1d
🛡️eBPF Security
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·1d·
Discuss: Hacker News
Format Verification
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·4h
🦀Rust Macros
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
💧Liquid Types
Flag this post
Beyond Request-Response: Architecting Real-time Bidirectional Streaming Multi-agent System
developers.googleblog.com·1d
🌊Streaming Systems
Flag this post
Today I Learned: Binfmt_misc
dfir.ch·1d·
Discuss: Hacker News
🐚Nordic Shell
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
dev.to·3h·
Discuss: DEV
🗄️Database Internals
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
📊Static Analysis
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·22h·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
dev.to·21h·
Discuss: DEV
📋Format Specification
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1h·
Discuss: Substack
🌊Stream Processing
Flag this post
How AI is Actually Changing Cybersecurity (And Why I'm Paying Attention)
dev.to·3h·
Discuss: DEV
🎯Threat Hunting
Flag this post
Testing Prompt Injection "Defenses": XML vs. Markdown, System vs. User Prompts
schneidenba.ch·2d·
Discuss: Hacker News
Proof Automation
Flag this post
Ideology-Based LLMs for Content Moderation
arxiv.org·1d
📰Content Curation
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Medical Imaging
dev.to·3d·
Discuss: DEV
🔲Lattice Cryptography
Flag this post
Designing Smarter Health Checks for Pomerium
pomerium.com·1d·
Discuss: Hacker News
👁️Observatory Systems
Flag this post
Why I Chose Go as My Main Backend Language — and Why You Might Too
dev.to·5h·
Discuss: DEV
🔗Concatenative Programming
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
λLambda Formalization
Flag this post
Tricks, Treats, and Terabits
hackerfactor.com·1d·
Discuss: Hacker News
🛣️BGP Hijacking
Flag this post
A Senior Developer's Guide to the Model Context Protocol
dev.to·19h·
Discuss: DEV
🔌Interface Evolution
Flag this post