Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·20h
🧠Intelligence Compression
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·15h·
Discuss: Hacker News
🌀Brotli Internals
Proving that every program halts
ntietz.com·3d
👑Isabelle
Cactus Language • Syntax 12
inquiryintoinquiry.com·8h
📝Concrete Syntax
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·11h
🦠Malware Analysis
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·9h·
Discuss: DEV
✓Automated Theorem Proving
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·1d
🧮Prolog Parsing
Travels, 10
cameroncounts.wordpress.com·9h
🎯Performance Proofs
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Godel's Incompleteness Theorem
news.ycombinator.com·7h·
Discuss: Hacker News
🔤Type Theory
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·12h·
Discuss: Hacker News
🔗Constraint Handling
My AI Workflow for Understanding Any Codebase
steipete.me·13h
⚡Proof Automation
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·5d
🔬Logic in Computer Science
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·8h
💻Local LLMs
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·9h·
Discuss: Substack
🦀Rust Macros
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation