The Google Pixel 10 Pro Fold is the first fully dust-resistant foldable
theverge.com·18h
🖥️Modern Terminals
Gemini Can Now Read Your Google Docs Out Loud
lifehacker.com·19h
🗣️CMU Pronouncing
Removing XSLT from the browser
blog.saxonica.com·17h
🔀XSLT
Don't Forget The "-n" Command Line Switch, (Thu, Aug 21st)
isc.sans.edu·4h
🌐DNS Security
Unification
eli.thegreenplace.net·3d·
Discuss: Hacker News
🤝Unification Algorithms
How to stop feeling lost in tech: the wafflehouse method
yacinemahdid.com·9h·
Discuss: Hacker News
⬜Minimalism
The scientific method and its application to the science of deep learning
james-simon.github.io·15h·
Discuss: Hacker News
🌡️Preservation Physics
How I Use AI to Learn Faster Than Ever Before
dev.to·7h·
Discuss: DEV
🤖Grammar Induction
Von Neumann's minimax theorem through Fourier-Motzkin elimination
arxiv.org·3d
🎯Performance Proofs
Factoring Stencils
johndcook.com·3d
👑Isabelle
GeoMAE: Masking Representation Learning for Spatio-Temporal Graph Forecasting with Missing Values
arxiv.org·6h
🧠Machine Learning
ASP-Completeness Proofs of Puzzles Using the T-Metacell Framework
arxiv.org·3d
🧮SMT Solvers
MISS: Multi-Modal Tree Indexing and Searching with Lifelong Sequential Behavior for Retrieval Recommendation
arxiv.org·6h
🔍Search Indexing
Enhanced Thermal Performance Prediction via Multi-Scale Graph Neural Network with Bayesian Calibration
dev.to·5h·
Discuss: DEV
🔧Hardware Verification
Automated Assessment of Aesthetic Outcomes in Facial Plastic Surgery
arxiv.org·1d
🌀Differential Geometry
The Growing Need of Online Tools in 2025
maker.forem.com·3h·
Discuss: DEV
🏛Digital humanities
Steerable Prompts: Prompt Engineering for the GPT-5 Era
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Automated Logical Proof Verification via Hybrid Symbolic-Numerical Analysis
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
DuPO: Enabling Reliable LLM Self-Verification via Dual Preference Optimization
arxiv.org·6h
💻Local LLMs
Edge-Selector Model Applied for Local Search Neighborhood for Solving Vehicle Routing Problems
arxiv.org·6h
🧠Learned Indexes