🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

After Flight
nybooks.com·7h
🎯Gradual Typing
These Two New Features Cement Google’s NotebookLM As One of My Favorite Study Apps
lifehacker.com·3h
🌱Personal Wikis
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·2d
🦋Format Metamorphosis
Careers Are More Than Ladders: They're Cyclones and Rhymes
sungwc.substack.com·4h·
Discuss: Substack
🖥️Terminal Renaissance
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·2d·
Discuss: Hacker News
🎯Gradual Typing
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·2d·
Discuss: Hacker News
⚡Performance Mythology
Loblaw: Deserves A Premium--But How Much Is Too Much?
seekingalpha.com·7h
🏠Personal Archives
[D] IJCNLP-AACL 2025: Paper Reviews (ARR July 2025 Cycle)
reddit.com·1d·
Discuss: r/MachineLearning
📡Information theory
Automated Spectral Anomaly Detection in Ru-H Catalysts via Multi-modal Hypergraph Analysis
dev.to·1d·
Discuss: DEV
🌈Spectroscopy
Journey into Collaborative Innovation
dev.to·1d·
Discuss: DEV
🔓Open Source Software
Split Conformal Prediction in the Function Space with Neural Operators
arxiv.org·2d
🧮Kolmogorov Bounds
Software dev isn’t life or death (but it sure feels like it)
dev.to·6h·
Discuss: DEV
🔩Systems Programming
Emergent Social Dynamics of LLM Agents in the El Farol Bar Problem
arxiv.org·2d
🔲Cellular Automata
A Knowledge-Guided Cross-Modal Feature Fusion Model for Local Traffic Demand Prediction
arxiv.org·17h
🧠Machine Learning
Intro to Python Module One: Getting Started with Python
dev.to·2d·
Discuss: DEV
🔗Lisp
Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities
arxiv.org·1d
🔍Vector Forensics
Turbocharge Your Go Microservices: Memory Optimization Made Simple
dev.to·2d·
Discuss: DEV
🧠Memory Allocators
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
⚡Proof Automation
Why Task-Based Evaluations Matter
towardsdatascience.com·7h
📏Code Metrics
BEDTime: A Unified Benchmark for Automatically Describing Time Series
arxiv.org·2d
📈Time Series