🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Mandel, Robert, - AI and early warning systems : technology innovation for national security / Robert Mandel.
libris.kb.se·1d
🧠Machine Learning
Binary star systems are complex astronomical objects − a new AI approach could pin down their properties quickly
space.com·1d·
Discuss: r/technews
💎Information Crystallography
Reimagining Inclusion: A Reflection on My Michigan Library Scholars Internship
blogs.lib.umich.edu·23h
🏛Digital humanities
Wax On, Wax Off: Physics and the Hero’s Journey
excursionset.com·1d
🌡️Preservation Physics
Smart Contract Scams | Ethereum Drainers Pose as Trading Bots to Steal Crypto
sentinelone.com·7h
🎫Kerberos Attacks
How to help someone use a computer
pages.gseis.ucla.edu·3d·
Discuss: Lobsters
🔌Operating system internals
GUADEC 2025
blogs.gnome.org·2d
🖥️Terminal Renaissance
U.S. jobs data can be seen as 99.9% correct
mercurynews.com·1d
📈Time Series
How Wiz Crushed Lacework: A Data Infrastructure Perspective
puppygraph.com·2d·
Discuss: Hacker News
🔗Topological Sorting
How I Built a Mobile-First Prediction & Affiliate Platform Without Using an App
dev.to·1d·
Discuss: DEV
📡RSS Automation
Apple is developing its own AI-powered search engine
the-decoder.com·1d
🌀Brotli Internals
UnsafeChain: Enhancing Reasoning Model Safety via Hard Cases
arxiv.org·6d
🧠Separation Logic
Artificial Intelligence for Training: Build Future-Ready Skills Today
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
What is political gerrymandering and is it legal?
the-independent.com·8h
🔶Voronoi Diagrams
Gaussian processes provide a new path toward quantum machine learning
phys.org·1d
🕸️Tensor Networks
🚀 AWS Unveils AI-Driven Development Lifecycle: Building Software at Lightning Speed with AI
dev.to·13h·
Discuss: DEV
🏠Homelab Orchestration
DeepMind thinks its new Genie 3 world model presents a stepping stone toward AGI
techcrunch.com·3h·
Discuss: Hacker News
🔲Cellular Automata
Fidelity National Information Services, Inc. (FIS) Q2 2025 Earnings Call Transcript
seekingalpha.com·1h
🔍BitFunnel
The Era Of Ai - Introduction To Vibe Coding -Chapter 5
dev.to·2d·
Discuss: DEV
🎙️Whisper
The Rise of Artificial Intelligence: Redefining the Modern World
dev.to·1d·
Discuss: DEV
🤖AI Curation