Physicist Solves 120-Year-Old Thermodynamics Puzzle and Corrects Einstein
scitechdaily.com·4h
⚛️Information Physics
[$] Supporting kernel development with large language models
lwn.net·17h
💻Local LLMs
How to Leave the House
buttondown.com·8h·
Discuss: Hacker News
💻Local first
What Problems to Solve – By Richard Feynman
genius.cat-v.org·1d·
Discuss: Hacker News
⚛️Information Physics
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·8h·
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·20h
🔌Interface Evolution
Why Your Deadlines Are Wrong: Evidence-Based Estimation for Developers
dev.to·3h·
Discuss: DEV
👁️System Observability
Uncovering Hidden Violent Tendencies in LLMs: A Demographic Analysis via Behavioral Vignettes
arxiv.org·4h
🧠Intelligence Compression
Vibe Coding: Why Microservices Are Cool Again
dev.to·16h·
Discuss: DEV
🌀Brotli Internals
scMamba: A Scalable Foundation Model for Single-Cell Multi-Omics Integration Beyond Highly Variable Feature Selection
arxiv.org·4h
🧠Machine Learning
Opportunistic Osteoporosis Diagnosis via Texture-Preserving Self-Supervision, Mixture of Experts and Multi-Task Integration
arxiv.org·1d
👁️OCR Enhancement
Evolving Prompts In-Context: An Open-ended, Self-replicating Perspective
arxiv.org·3d
💻Programming languages
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·3d
🔍Type Inference
Counterfactual Influence as a Distributional Quantity
arxiv.org·1d
🎯Arithmetic Coding Theory
Machine Learning Fundamentals: active learning project
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.org·1d
🧮Theorem Proving
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org·4h
🗜️Graph Compression
Python course: Functions
dev.to·13h·
Discuss: DEV
🔗Lisp