⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Re-Optimizing the CCA on the Genesis
bumbershootsoft.wordpress.com·2d
🎯Emulator Accuracy
ChatGPT kept giving me bland dinner recipes until I showed it the kind of meals I actually like
techradar.com·5h
🧮Algorithmic Cooking
The Hard Problem of Prompt Injection
alexcbecker.net·1d·
Discuss: Hacker News
🧪Protocol Fuzzing
Rust in the Linux kernel: part 2
lwn.net·3d·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
Tech Zen Wisdom: Abstraction
dev.to·2h·
Discuss: DEV
🏛️Philosophy
Show HN: "Computer use" mcp for webapps and Electron apps
github.com·10h·
Discuss: Hacker News
🪟Awesome windows command-line
[D] Should we petition for requiring reviewers to state conditions for improving scores?
reddit.com·10h·
Discuss: r/MachineLearning
📡Information theory
Why Training on Time Series Beats Fine-Tuning LLMs for Time Series Tasks
hackernoon.com·11h
📈Time Series
📌 Beyond Hello World: A Free 8-Week Generative AI Learning Series📌
dev.to·2h·
Discuss: DEV
🎙️Whisper
🔧 Lessons from Building Tunaresq — A Backend Developer's Reflection
dev.to·17h·
Discuss: DEV
🔄Reproducible Builds
Reconstructing Intelligible Speech from the Pressure Sensor Data in HVACs
arxiv.org·1d
🎙️Whisper
Day 6/100: Numbers, Arithmetic, and Type Conversion
dev.to·3d·
Discuss: DEV
🧮Algebraic Datatypes
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·5d·
Discuss: DEV
🦀Rust Borrowing
Machine Learning Fundamentals: anomaly detection tutorial
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
[Media] I built “Decide” – a role and condition-based permission engine for Rust (and also JS/TS)
reddit.com·1d·
Discuss: r/rust
⚡Dependent Rust
How Large Language Models play humans in online conversations: a simulated study of the 2016 US politics on Reddit
arxiv.org·1d
📝ABNF Extensions
Linear Layers and Activation Functions in Transformer Models
machinelearningmastery.com·1d
🧠Neural Codecs
Auto-TA: Towards Scalable Automated Thematic Analysis (TA) via Multi-Agent Large Language Models with Reinforcement Learning
arxiv.org·2h
🤖Grammar Induction
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·5d·
Discuss: DEV
🧮Kolmogorov Complexity
Edge Clique Partition and Cover Beyond Independence
arxiv.org·4d
🕸️Graph Algorithms