Physicist Solves 120-Year-Old Thermodynamics Puzzle and Corrects Einstein
scitechdaily.com·39m
⚛️Information Physics
[$] Supporting kernel development with large language models
lwn.net·13h
💻Local LLMs
How to Leave the House
buttondown.com·3h·
Discuss: Hacker News
💻Local first
Elmo's World NP-complete problem (2006)
blog.plover.com·2d·
Discuss: Hacker News
🧮SMT Solvers
Show HN: Listed – An agentic platform to rank your business on AI
news.ycombinator.com·3h·
Discuss: Hacker News
🌀Brotli Internals
Encouraging the use of LLMs made interviews easier (for us as interviewers)
danieltan.weblog.lol·1d·
Discuss: Hacker News
📐Proof Assistants
20+ Years in Tech: Things We Wish We Knew Sooner • Daniel Terhorst-North & Kevlin Henney • GOTO 2024
youtube.com·16h
🔌Interface Evolution
An All-Around Better Horse
patrickhebron.com·1d·
Discuss: Hacker News
🧠Knowledge Management
Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
arxiv.org·3d
🧮Kolmogorov Complexity
ProofBoard My Hackathon Journey with Bolt!
dev.to·11h·
Discuss: DEV
⚡Proof Automation
⚔️ The Josephus Problem Explained: Constant-Time Solution for k = 2
dev.to·18h·
Discuss: DEV
🌳Trie Structures
Therapy as an NLP Task: Psychologists' Comparison of LLMs and Human Peers in CBT
arxiv.org·1d
🌲Parse Trees
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·2d
📐Compression Bounds
Signal Use and Emergent Cooperation
arxiv.org·2d
🔲Cellular Automata
Uncovering Hidden Violent Tendencies in LLMs: A Demographic Analysis via Behavioral Vignettes
arxiv.org·23m
🧠Intelligence Compression
Vibe Coding: Why Microservices Are Cool Again
dev.to·12h·
Discuss: DEV
🌀Brotli Internals
scMamba: A Scalable Foundation Model for Single-Cell Multi-Omics Integration Beyond Highly Variable Feature Selection
arxiv.org·23m
🧠Machine Learning
Opportunistic Osteoporosis Diagnosis via Texture-Preserving Self-Supervision, Mixture of Experts and Multi-Task Integration
arxiv.org·1d
👁️OCR Enhancement
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·3d
🔍Type Inference
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·3d
💻Programming languages