Linear Risk Sharing on Networks
freakonometrics.hypotheses.orgยท3d
๐ŸคConsensus Networks
How Much Is the Treasure in the Tomb of Horrors Worth? I Did the Math
knightsdigest.comยท9hยท
Discuss: Hacker News
๐Ÿ“Linear Logic
Science on a Sphere: Aerosols in the Air
svs.gsfc.nasa.govยท1hยท
Discuss: Hacker News
๐Ÿ“œDocument Physics
Lobsters Interview with Zdsmith
lobste.rsยท2dยท
Discuss: Lobsters
๐Ÿ”—Concatenative Programming
SAT problems are kind of cool
blog.karanjanthe.meยท4dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
The Morality of Modeling
isaacbound.substack.comยท10hยท
Discuss: Substack
๐Ÿ”ฒCellular Automata
VLLM Predicted Outputs
cascadetech.aiยท2dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
AI Breakthrough Finally Cracks Century-Old Physics Problem
scitechdaily.comยท46m
โš›๏ธInformation Physics
There is no singularity
gusarich.comยท4hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
The Pain Driven Workflow
magistr.meยท3dยท
Discuss: Hacker News
โšกIncremental Computation
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.orgยท3d
๐Ÿง Machine Learning
Self-Improving LLM Agents at Test-Time
arxiv.orgยท2d
๐Ÿง Intelligence Compression
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Vibe-Coding vs. AI-Assisted Development
adaptivealchemist.comยท2dยท
Discuss: Hacker News
โšกIncremental Computation
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.orgยท5d
โœ“Automated Theorem Proving
Go Memory Optimization: Real-World Lessons from the Trenches
dev.toยท2hยท
Discuss: DEV
๐Ÿง Memory Allocators
Attention Sinks and Compression Valleys in LLMs are Two Sides of the Same Coin
arxiv.orgยท3d
๐Ÿง Neural Compression
More Than Code: Gearing Up for the Hackathon of the Year!๐Ÿš€
dev.toยท1dยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท3dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท3dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG