⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Akademy 2025
blog.broulik.de·1d
🐧FOSS
AdaptixC2: A New Open-Source Framework Leveraged in Real-World Attacks
unit42.paloaltonetworks.com·13h
🔒WASM Capabilities
Best-Yet Measurement of Merging Black Holes Confirms Einstein, Hawking and the ‘No Hair’ Theorem
scientificamerican.com·8h
⏰Time Crystals
The psychology of fixing bugs, Part 2: Google
lapcatsoftware.com·6h
📡Feed Archaeology
Entitlements and billing should be the same system
getlago.com·9h·
Discuss: Hacker News
🌐IPFS
AI-Personalized Welcome Messages for Website Visitors
peteallport.substack.com·2h·
Discuss: Substack
🔗Hypermedia APIs
ReScript's Generalized Algebraic Data Types
rescript-lang.org·5d·
Discuss: Hacker News
✅Format Verification
Deploying AI to the Balkans
hapseer.com·1d·
Discuss: Hacker News
🤖AI Curation
CLI-based multi-agent trading system using LLMs
github.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Hate the player AND the game
doctorow.medium.com·6h
⚖️Emulation Ethics
Automated Anomaly Detection in Fatigue Crack Growth Using Multi-Modal Sensor Fusion & HyperScore
dev.to·2d·
Discuss: DEV
👁️System Observability
Ask HN: What did you obtain from learning compilers?
news.ycombinator.com·3d·
Discuss: Hacker News
🔨Compilers
Automated Calibration of Real-Time IORT Dose Delivery via Bayesian Optimization
dev.to·18h·
Discuss: DEV
🧲Magnetic Resonance
Circular Imports in Python: The Architecture Killer That Breaks Production
dev.to·2d·
Discuss: DEV
💧Liquid Types
Scalable Multimodal Data Fusion for High-Throughput Metamaterial Design Optimization
dev.to·3d·
Discuss: DEV
🏛Digital humanities
Hyper-Osmotic Resilience: Computational Modeling & Predictive Control of Haloarchaeal Stress Response
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Why I Bet on FastAPI Over Django (After 10 Years of Using It)
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Llama-GENBA-10B: A Trilingual Large Language Model for German, English and Bavarian
arxiv.org·1d
🌳Context free grammars
Fairness-Aware Data Augmentation for Cardiac MRI using Text-Conditioned Diffusion Models
arxiv.org·1d
🌀Riemannian Computing
Agent Diary: Sep 10, 2025 - The Great Zero-File Paradox: When Everything Changes but Nothing Does
dev.to·19h·
Discuss: DEV
🔄Language Evolution