🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

How to implement light and dark modes with a toggle switch on your website | Alberto Varela
albertovarela.net·11h
📖Nordic Typography
Find Good Problems
dontbreakprod.com·1d·
Discuss: Hacker News
🔩Systems Programming
Government Accountability Office Gets Schooled by the Department of Education
eatingpolicy.com·2d·
Discuss: Hacker News
🐧FOSS
Are We Offloading Critical Thinking to AI Chatbots?
nakedcapitalism.com·2d
🤖AI Curation
The Top Benefits of Using Cross Dex for Multi-Chain Traders
dev.to·1d·
Discuss: DEV
🤝Distributed Consensus
Ethereum Meme Coin Little Pepe Crosses $25M, Announces 15 ETH Giveaway
hackernoon.com·1d
🔍BitFunnel
LLMs as Retrieval and Recommendation Engines
medium.com·1d·
Discuss: Hacker News
🔍Information Retrieval
AI Coding
geohot.github.io·2d·
Discuss: Lobsters, Hacker News, Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Three tiny Go web-server experiments: exposing, executing, and extending
reddit.com·2d·
Discuss: r/golang
🌐WASI
Async Web Scraping with scrapy_cffi
dev.to·1d·
Discuss: DEV
🕵️Feed Discovery
Narrative-Guided Reinforcement Learning: A Platform for Studying Language Model Influence on Decision Making
arxiv.org·3d
🔲Cellular Automata
If we use AI to do our work – what is our job, then?
towardsdatascience.com·1d
🤖AI Curation
Top AI Tools for Software Development Teams in 2025
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Unlocking Speed: Ditching Strict Symmetry in Neural Nets by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🎧Learned Audio
Automated Calibration and Drift Compensation in Micro-Flow Sensors for Electrolyzer Efficiency
dev.to·2d·
Discuss: DEV
🌊Stream Processing
The Bug That Taught Me More Than Any Tutorial
dev.to·5d·
Discuss: DEV
👁️Observatory Systems
ReactJS: The Frontend Library That Changed the Web
dev.to·9h·
Discuss: DEV
🧩WASM Components
The thing is I love programming ...
dev.to·3d·
Discuss: DEV
🎨Swedish Design Philosophy
Level Up Your Restaurant with Pannalabs.ai: The Voice AI Revolution is Here!
dev.to·7h·
Discuss: DEV
🎙️Whisper
Vector-based loss functions for turbulent flow field inpainting
arxiv.org·5d
📊Rate-Distortion Theory