Google DeepMind Formal Conjectures
google-deepmind.github.io·2h·
Discuss: Hacker News
🧮SMT Solvers
Cheating at Bets with the Even Odds Algorithm
lesswrong.com·22h
🔤Font Rendering
Writeup: Putnam 2007 A3
billert.bearblog.dev·21h
🌳Data Structures
An Introduction to GPU Profiling and Optimization
bitsand.cloud·14h·
Discuss: Hacker News, r/programming
⚡Systems Performance
Cauchy coup
leancrew.com·17h
🗜️Vector Compression
Semantic chunking using LLMs
reddit.com·9h·
Discuss: r/LocalLLaMA
🔄LLM RAG Pipelines
H-Nets – The Past
goombalab.github.io·7h·
Discuss: Hacker News
🔢BitNet
1KB JS Numbers Station
shkspr.mobi·9h·
Discuss: shkspr.mobi
🗜️Zstd
Theoretical framework for confined ion transport in two-dimensional nanochannels
nature.com·19h
🔗Technology Supply Chains
AI is getting out of its limits 🤯
threadreaderapp.com·14h
🆕New AI
Silent Mathematics
essentialthinker.com·6h
ℹ️Information Theory
Rabi-like splitting arises from nonlinear interactions between magnons in synthetic antiferromagnet
phys.org·7h
⚛️Physics
8 Bit Mechanical Computer Built from Knex
hackaday.com·6h
⚡Hardware Acceleration
How to Run a Hugging Face Model in Jax (Part 1)
huggingface.co·19h·
Discuss: Hacker News
🕯️Candle
Sending a Steam sticker 'burned through a month of data in five minutes' complains unhappy gamer
tomshardware.com·9h
💾Prompt Caching
Week Notes - July 14 to July 20 2025
noisydeadlines.net·1h
📰RSS Reading Practices
Read post
allenai.org·20h·
Discuss: Hacker News
🏆LLM Benchmarking
Why the Latest AI Model Isn’t Always Best for Edge AI
spectrum.ieee.org·7h
📱Edge AI Optimization
4. Boxing Day: Unwrapping the Mind
blog.phenomenal.ink·22h·
Discuss: Hacker News
⚛️Physics
Links 20/07/2025: More GAFAM Lawsuits, Layoffs, and SLAPPs
techrights.org·10h
🤖AI