🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Stricter social media algorithms for children: green light in California
heise.de·1d
🎛️Feed Filtering
Make a Ruckus: 000, The Motivation
janusworx.com·4d
🦀Rust Macros
Check if Your Password Has Been Compromised
cubiclenate.com·1d
🔓Password Cracking
From Sears to Surveillance
cardog.app·5h·
Discuss: Hacker News
🧲Magnetic Philosophy
Underdog bias rules everything around me
mindthefuture.info·1d·
Discuss: Hacker News
🎛️Feed Filtering
Headteachers in England doubling up as caretakers as funding ‘hits rock bottom’
theguardian.com·15h
💻Local first
Things to build with Google's new Nano Banana image editing and generation model
logankilpatrick.medium.com·17h·
Discuss: Hacker News
⚡Homebrew CPUs
30th Anniversary of the Theatrical Release of "Hackers"
en.wikipedia.org·3h·
Discuss: Hacker News
🔓Hacking
Tokenizing Loops of Antibodies
arxiv.org·4d
🎯Automata theory
Supacrawler: lightweight, and ultra-fast web scraping api
dev.to·13h·
Discuss: DEV
📄Document Streaming
Blind coding
dev.to·4d·
Discuss: DEV
🔩Systems Programming
Enhanced Glass Transition Temperature Prediction via Deep Kernel Regression and Meta-Learning
dev.to·1d·
Discuss: DEV
🧠Machine Learning
The Peril of Conscious AI: Mustafa Suleyman's Warning to Developers
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Unlock Restaurant Efficiency with AI Voice Agents: Pannalabs.ai's Game-Changer
dev.to·1d·
Discuss: DEV
🤖AI Curation
How We Built a Private, On-Device AI That Runs Entirely in Your Browser
dev.to·1d·
Discuss: DEV
🌐WASI
AI Chart Animator
dev.to·7h·
Discuss: DEV
📐Mathematical Art
Using old parts to make a homelab/server, ideas & thoughts needed!
reddit.com·11h·
Discuss: r/homelab
🏠Homelab Archaeology
Magical systems thinking
worksinprogress.news·2d·
Discuss: Hacker News
⚙️systems theory
AI's Spatial Blind Spot: Why Brain-Inspired Navigation is the Next Frontier by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🤖AI Curation
New Layer of AI Engineer - on AWS Bedrock
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering