๐Ÿ”ฌ Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

DOE Experimental Condensed Matter Physics PI Meeting 2025 - Day 1
nanoscale.blogspot.comยท4dยท
Discuss: www.blogger.com
โš›๏ธInformation Physics
things i like about railway
schpet.comยท1d
๐Ÿ Homelab Orchestration
Text Files > Complex Tools: A Minimalist Snippet Manager
quarters.captaintouch.comยท13hยท
Discuss: Lobsters, Hacker News
๐ŸŒณIncremental Parsing
Opinion: We canโ€™t argue our way out of political conflict, but we have options
mercurynews.comยท23h
๐ŸคConsensus Networks
5 Portfolio Mistakes That Keep Data Scientists From Getting Hired
kdnuggets.comยท3d
๐ŸงชData science
Elecrow Meshtastic line. Crowpanel, Node M1 and M2
hackster.ioยท13h
๐Ÿ•ธ๏ธMesh Networking
Cut Dashboard Load Times in Half with This Tableau Trick
dev.toยท13hยท
Discuss: DEV
๐Ÿ“‡Indexing Strategies
Numeri
irreal.orgยท3d
๐Ÿ“Concrete Syntax
Elon Musk's xAI lays off hundreds of data annotators
businessinsider.comยท1dยท
Discuss: Hacker News, r/programming
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Show HN: Vue-Markdown-render โ€“ up to 100ร— faster streaming Markdown for Vue 3
github.comยท1hยท
Discuss: Hacker News
๐ŸŽ๏ธVarnish Cache
PixelKit Library: Build Your Own Interactive LED Console!
hackster.ioยท19h
โšกHomebrew CPUs
How to Use Claude Code Subagents to Parallelize Development
zachwills.netยท4dยท
Discuss: Hacker News
โš”๏ธLean Tactics
Explaining How Quantization Disparately Skews a Model
arxiv.orgยท4d
๐Ÿ“ŠQuantization
Angular with Jessica Janiuk
softwareengineeringdaily.comยท3d
๐Ÿ”ฉSystems Programming
Day 92: Authentication, Insomnia, and Life Decisions
dev.toยท2dยท
Discuss: DEV
๐Ÿ’พPersistence Strategies
Using AI to Optimize Patient Transfer and Resource Utilization During Mass-Casualty Incidents: A Simulation Platform
arxiv.orgยท3d
๐ŸŒŠStream Processing
MachineLearningLM: Continued Pretraining Language Models on Millions of Synthetic Tabular Prediction Tasks Scales In-Context ML
arxiv.orgยท5d
๐Ÿค–Grammar Induction
Generative Quasi-Continuum Modeling of Confined Fluids at the Nanoscale
arxiv.orgยท3d
๐ŸŒComputational Topology
LLM Analysis of 150+ years of German Parliamentary Debates on Migration Reveals Shift from Post-War Solidarity to Anti-Solidarity in the Last Decade
arxiv.orgยท4d
๐Ÿ”คMorphological Analysis
ALLabel: Three-stage Active Learning for LLM-based Entity Recognition using Demonstration Retrieval
arxiv.orgยท4d
๐Ÿ”Information Retrieval