Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·1d
📱Edge AI
Flag this post
OpenAI Model Spec
🛡️AI Security
Flag this post
are-dependent-types-actually-erased
🔗Dependent Types
Flag this post
An open-source conflict has emerged between Google and FFmpeg regarding AI-identified software vulnerabilities
🔓Binary Exploitation
Flag this post
Reverse Engineering Googles BotGuard
🔓Binary Exploitation
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
💬Prompt Engineering
Flag this post
I've created a leetcode for system design
🎨Design Systems
Flag this post
Integrity Under Siege: A Rogue gNodeB's Manipulation of 5G Network Slice Allocation
arxiv.org·13h
📦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
Learning Rust from C and C++
🦀Rust Macros
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·1d
🔍eBPF
Flag this post
Loading...Loading more...