Discovering physical laws with parallel symbolic enumeration
nature.com·1d
🔍ML Language
Flag this post
Claude Loves a Challenge, Bonus Secret Menu Attached. (Ultimate Guide to Claude, from Claude, Saving Face and Rising to the Occasion).
💬Interactive REPLs
Flag this post
Built an "Operating System" for AI agents that actually survives when shit breaks (offline-first, self-healing)
🛡️Capability VMs
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
💬Interactive REPLs
Flag this post
Perennial Technical Reading List
📱Bytecode Design
Flag this post
Distributed Tracing in Go: Finding the Needle in the Microservice Haystack
🔍Execution Tracing
Flag this post
exploits.club Weekly(ish) Newsletter 92 - S23 N-Day PoCs, Printer Overflows, DNG OOB Writes, And More
blog.exploits.club·1d
🏷️Memory Tagging
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🌱Minimal Interpreters
Flag this post
<p>**Abstract:** This paper introduces a novel approach to enhancing cybersecurity within Smart Grid Microgrids, focusing on automated anomaly detection and rap...
freederia.com·1d
🛡️Security Type Systems
Flag this post
Architecting Uncertainty: Designing Reliable Systems on Top of LLMs
🎮Language Ergonomics
Flag this post
Meditations on geometric packing
shvbsle.in·21h
🌊Effect Rows
Flag this post
Verifying and testing timeliness constraints of Haskell programs
⚡Interpreter Optimization
Flag this post
Zoomer: Powering AI Performance at Meta’s Scale Through Intelligent Debugging and Optimization
engineering.fb.com·1d
📈Performance Tools
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·23h
⚖️Inference Rules
Flag this post
Loading...Loading more...