🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

The Virtuous Circle: How IP Powers Telecoms Innovation
telecomramblings.com·2d
🇫🇮Finnish Computing
Lego Transformers Soundwave
lego.com·1h·
Discuss: Hacker News
🎮Gameboy Emulation
Architecting for AI Success: Transforming Your Information Ecosystem for Gen AI
info.aiim.org·3d
🌊Stream Processing
#TROOPERS25 AD & Entra ID Security Track
insinuator.net·3d
🏺Kerberos Archaeology
Dynasties, Selection, and Talent Allocation Among Classical Composers
papers.ssrn.com·3d·
Discuss: Hacker News
🎼Computational Musicology
Australian lawyer apologises after AI generated fake quotes in murder case
euronews.com·3d
🏛️Isabelle HOL
Channel your inner Marie Kondo – identifying and eliminating policy clutter
eatingpolicy.com·6d·
Discuss: Hacker News
⚖️Legal Compliance
British manufacturers lagging behind international competitors on automation
the-independent.com·5h
🔌Microcontrollers
How a few adjustments can improve online political debates
phys.org·3d
🇸🇪Nordic Algorithms
Scheduled messages are the hottest trend on iPhone and Android - here's 13 times you might want to send that text later
techradar.com·3d
🌳Trie Structures
AI Efficiency? Give Me a Break
luolink.substack.com·3d·
Discuss: Substack
🧠Intelligence Compression
When Your AI Friend Gets a Corporate Makeover
getcoai.com·3d·
Discuss: Hacker News
🔌Interface Evolution
Beyond Numbers: Making Metrics Make Sense
hackernoon.com·3d
🎯Recommendation Metrics
Two languages in one Alt? Try THAT with HTML!
pdfa.org·3d
📄PostScript
Execute Python Scripts via BLE Using BleuIO
hackster.io·4d
🪟Awesome windows command-line
Pepeto (PEPETO) Price Prediction – Why It’s The Best Crypto To Buy Before The Next Bull Run
hackernoon.com·1d
🤝Consensus Algorithms
Dynamic Thermal Profiling via Self-Calibrating Microfluidic Sensor Arrays
dev.to·4d·
Discuss: DEV
🧮Algorithmic Cooking
EncryptHub abuses Brave Support in new campaign exploiting MSC EvilTwin flaw
securityaffairs.com·1d
🔓Hacking
Adaptive Predictive Maintenance for Hybrid PV-Wind Systems via LSTM-Based Anomaly Detection
dev.to·3d·
Discuss: DEV
📈Time Series
Don't Buy TQQQ After A Big Run Higher: Signs Of Market Top
seekingalpha.com·1d
🔍BitFunnel