Do Nothing
blog.tanyakhovanova.comยท19h
ฮปLambda Encodings
What's The Deal With GitHub Spec Kit
den.devยท1d
๐Ÿ”„Reproducible Builds
Kitagawa, who found a use for the useless, wins the Nobel Prize
asahi.comยท1dยท
Discuss: Hacker News
โš›๏ธQuantum Storage
Letโ€™s talk about LLM guardrails
blog.adnansiddiqi.meยท2dยท
Discuss: Hacker News
๐ŸŽฏProof Tactics
The Mondrian introduction to functional optics
marcosh.github.ioยท6dยท
Discuss: Lobsters, Hacker News
โŸทBidirectional Programming
WTF Is the Synergic Mode?
malcolmocean.comยท2dยท
Discuss: Hacker News
โฌœMinimalism
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.ioยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ”“Open Source Software
Nobel Prizes This Year Offer Three Cheers for Slow Science
nytimes.comยท3d
โฐTime Crystals
How I Stopped Fighting My AI Code Assistant and Started Building Better Software
dev.toยท2hยท
Discuss: DEV
๐Ÿ“Code Metrics
Unleashing Perception-Time Scaling to Multimodal Reasoning Models
arxiv.orgยท9h
๐Ÿ“ŠLearned Metrics
Enhanced Predictive Maintenance for 3nm FinFET Gate-All-Around Structures via Bayesian Dynamic Network Analysis
dev.toยท16hยท
Discuss: DEV
๐Ÿ”งHardware Verification
AI and the UK Workforce: Navigating the "Job-pocalypse" with Purpose
dev.toยท6hยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
The Case for Separating Thinking (GPU) and Compute (CPU)
gojiberries.ioยท1dยท
Discuss: Hacker News
โšกZ3 Optimization
MMM: Quantum-Chemical Molecular Representation Learning for Combinatorial Drug Recommendation
arxiv.orgยท3d
๐Ÿ•ธ๏ธTensor Networks
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท3d
๐ŸงฎTheorem Proving
This High-Fat Diet Could Be the Secret to Keeping Your Brain Young
scitechdaily.comยท21h
๐ŸงฎAlgorithmic Cooking
Nobel Prize for physics goes to 3 scientists for discoveries in quantum mechanical tunneling
phys.orgยท6d
โš›๏ธInformation Physics
Counterfactual Identifiability via Dynamic Optimal Transport
arxiv.orgยท3d
๐Ÿ”Vector Forensics
California physicist and Nobel laureate John Martinis won't quit on quantum computers
phys.orgยท3d
โš›๏ธQuantum Tape
Unsupervised Backdoor Detection and Mitigation for Spiking Neural Networks
arxiv.orgยท4d
๐ŸŒŠStream Ciphers