🗺️ Engineering for Emergencies: How to Build a Real-Time Disaster Route Finder with Open Source Mapping
🗺️OpenStreetMap
Flag this post
OpenAI Model Spec
🛡️AI Security
Flag this post
are-dependent-types-actually-erased
🔗Dependent Types
Flag this post
Reverse Engineering Googles BotGuard
🔓Binary Exploitation
Flag this post
An open-source conflict has emerged between Google and FFmpeg regarding AI-identified software vulnerabilities
🔓Binary Exploitation
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
💬Prompt Engineering
Flag this post
Kiroween Hackathon: Resurrecting Punch Cards and Discovering Exciting New Experiences with My Old Friend, Kiro IDE
🎨Creative Coding
Flag this post
Integrity Under Siege: A Rogue gNodeB's Manipulation of 5G Network Slice Allocation
arxiv.org·15h
📦Protocol Buffers
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·2d
💎Refinement Types
Flag this post
Noob needs a little help getting back on track after a chat reaches max capacity.
⚙️Zig
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·1d
🔍eBPF
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·2d
🔧Data Engineering
Flag this post
Learning Rust from C and C++
🦀Rust Macros
Flag this post
Loading...Loading more...