Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·9h·
Discuss: DEV
✓Automated Theorem Proving
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·17h
📝Concrete Syntax
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·5h
🎯Threat Hunting
BNFGen: A random text generator based on context-free grammars
baturin.org·6h·
Discuss: Hacker News
🌳Context free grammars
My AI Workflow for Understanding Any Codebase
steipete.me·13h
🔌Interface Evolution
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·8h
🦋Format Metamorphosis
Is Your Automated Software Engineer Trustworthy?
arxiv.org·1d
🔄Reproducible Builds
Proving that every program halts
ntietz.com·3d
👑Isabelle
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·11h
🦠Malware Analysis
Cactus Language • Syntax 12
inquiryintoinquiry.com·8h
📝Concrete Syntax
Docs for AI agents
technicalwriting.dev·24m
🔄Archival Workflows
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·1d
🧮Prolog Parsing
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·40m·
Discuss: Hacker News
📟Terminal Typography
What Is an AI SOC Agent? What You Need to Know About the Most Strategic Operational Imperative in Cybersecurity Today
intezer.com·5h
🎯Threat Hunting
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·9h·
Discuss: Substack
🦀Rust Macros
How to Prove That An Email Was Received
metaspike.com·4h
📄Document Digitization
My Coworkers Don't Want AI. They Want Macros
ruthtillman.com·2d
🤖Archive Automation
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·15h·
Discuss: Hacker News
🌀Brotli Internals
Boosting Developer Productivity with AI: Faster Dashboards, Automated Testing, and 70% Less Setup Time
engineering.salesforce.com·11h
🔄Reproducible Builds