🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Travels, 12
cameroncounts.wordpress.com·3d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Case for Compact AI
cacm.acm.org·2d
🎵Audio ML
Go is still not good
blog.habets.se·22h
🔧Binary Parsing
Protocol Without Prognosis: When Syntax Commands in Clinical AI
dev.to·10h·
Discuss: DEV
📐Format Grammars
Are Developers Out of a Job?
argmin.net·8h·
Discuss: Hacker News
⚡Performance Mythology
floccinaucinihilipilification
en.wiktionary.org·2d·
Discuss: Hacker News
🔤Morphological Analysis
Breaking Down and Explaining Type Parameters
hackernoon.com·21h
🧠Lisp Dialects
Why LLMs Can't Write Q/Kdb+: Writing Code Right-to-Left
medium.com·4d·
Discuss: Hacker News
💻Programming languages
A deep dive into deeply recursive Go
mattermost.com·1d·
Discuss: Hacker News
⬆️Lambda Lifting
[Media] Practice typing out Rust code to get comfortable with the syntax
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Python Fundamentals: bpython
dev.to·10h·
Discuss: DEV
💧Liquid Types
The Bitter Lesson (2025)
artfintel.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
I solved the IIT-JEE Mains paper with LLM. Here are the results
iexplain.app·4d·
Discuss: Hacker News
📐Interval Arithmetic
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·1d
🧮Kolmogorov Complexity
Recap of all types of LLM Agents
towardsdatascience.com·3d
⚡Proof Automation
There might be a solution to lower training resources for AI training
dev.to·14h·
Discuss: DEV
📊Quantization
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·2d
📋Document Grammar
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·2d·
Discuss: Substack
🔗Concatenative Programming
LLMs for coding (+ free workflow templates)
blog.n8n.io·1d·
Discuss: Hacker News
💻Local LLMs
Book review: A New Kind of Science (2005)
bactra.org·3d·
Discuss: Hacker News
🔲Cellular Automata