Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·14h
🧠Intelligence Compression
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Proving that every program halts
ntietz.com·2d
👑Isabelle
Cactus Language • Syntax 12
inquiryintoinquiry.com·2h
📝Concrete Syntax
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·6h
🦠Malware Analysis
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳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·3h·
Discuss: DEV
✓Automated Theorem Proving
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·18h
🧮Prolog Parsing
Travels, 10
cameroncounts.wordpress.com·3h
🎯Performance Proofs
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Godel's Incompleteness Theorem
news.ycombinator.com·1h·
Discuss: Hacker News
🔤Type Theory
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
Explaining software and computational methods
blog.khinsen.net·18h
📝Concrete Syntax
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·4h
📊Graph Databases
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·22h·
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·2h
💻Local LLMs
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros