⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Global Mathematics Lecture IV, Kyoto University
freakonometrics.hypotheses.org·2d
🌀Differential Geometry
Using information theory to solve Mastermind
goranssongaspar.com·2d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Why is my "optimized" O(1) space Python code slower than the "basic" O(n) space version?
leetcode.com·20h·
Discuss: r/programming
🔄Burrows-Wheeler
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.com·1d
🤖Grammar Induction
Many hate on Object-Oriented Programming. But some junior programmers seem to mostly echo what they've heard experienced programmers say. In this blog post I tr...
zylinski.se·1h·
Discuss: r/programming
🔩Systems Programming
WeakC4, or Distilling an Emergent Object
2swap.github.io·4d·
Discuss: Hacker News
🔲Cellular Automata
Statistical mechanics method helps machines better understand complex systems
phys.org·1d
🔲Cellular Automata
Drama Model Inference Efficiency Boosted by 1.7x-2.3x
pytorch.org·2h·
Discuss: Hacker News
🚀SIMD Text Processing
Fox pairing
ncatlab.org·3d
🔱Galois Theory
How to Develop Powerful Internal LLM Benchmarks
towardsdatascience.com·8h
🔍Concolic Testing
WOMAC: A Mechanism For Prediction Competitions
arxiv.org·21h
🔲Cellular Automata
An experimental approach: The graph of graphs
arxiv.org·21h
🌈Spectral Methods
A novel auxiliary equation neural networks method for exactly explicit solutions of nonlinear partial differential equations
arxiv.org·21h
🌀Riemannian Computing
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·1d·
Discuss: Hacker News
🤖AI Curation
Route-and-Execute: Auditable Model-Card Matching and Specialty-Level Deployment
arxiv.org·21h
🦋Format Metamorphosis
Lobsters Interview with Matklad
lobste.rs·4d·
Discuss: Lobsters
🦀Rust Macros
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Analysis and Detection of RIS-based Spoofing in Integrated Sensing and Communication (ISAC)
arxiv.org·21h
⚖️RISC-V Formal
the core of rust
jyn.dev·6d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
A Laplace diffusion-based transformer model for heart rate forecasting within daily activity context
arxiv.org·21h
🎙️Whisper