How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·9h·
Discuss: DEV
🎯Performance Proofs
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·30m·
Discuss: Hacker News
📟Terminal Typography
Proving that every program halts
ntietz.com·2d
👑Isabelle
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·5h
🎯Threat Hunting
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·23h
🧮Prolog Parsing
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
Cactus Language • Syntax 12
inquiryintoinquiry.com·7h
📝Concrete Syntax
Belief elicitation in theory versus practice
statmodeling.stat.columbia.edu·7h
🧠Intelligence Compression
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
DuaShepherd: Integrating Stepwise Correctness and Potential Rewards for Mathematical Reasoning
arxiv.org·1d
🔗Parser Combinators
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·17h
📝Concrete Syntax
My AI Workflow for Understanding Any Codebase
steipete.me·13h
⚡Proof Automation
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·2d
🧮Z3 Solver
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·11h
🦠Malware Analysis
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·11h·
Discuss: Hacker News
🔗Constraint Handling
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·14h·
Discuss: Hacker News
🌀Brotli Internals
BNFGen: A random text generator based on context-free grammars
baturin.org·6h·
Discuss: Hacker News
🌳Context free grammars