2025-09-29: Summer Project as a Google Summer of Code (GSoC) Contributor
ws-dl.blogspot.comยท2dยท
๐Ÿ“ฐRSS Archaeology
Anthropic Debuts Claude Sonnet 4.5 With Improved Coding
macrumors.comยท19h
๐Ÿ–ฅ๏ธVintage Macintosh
Minimal Retro Desk Setup in Pennsylvania, USA
makerstations.ioยท2d
๐Ÿ”ŒOperating system internals
Packing Multiple Services into One Rust Binary
carlriis.comยท4dยท
Discuss: Hacker News
๐Ÿ”’Linear Types
What Is a Software Catalog and Why Should You Have One?
thenewstack.ioยท4h
๐Ÿท๏ธMetadata Standards
Scientists finally prove that a quantum computer can unconditionally outperform classical computers
phys.orgยท2h
โš›๏ธQuantum Tape
As AI Tools Accelerate Coding, Advocates Push for Specs as Source of Truth
hackernoon.comยท17h
๐Ÿ“œProof Carrying Code
Looking for feedback on proposed AI health risk scoring framework
github.comยท1dยท
Discuss: Hacker News
๐ŸŽฏThreat Hunting
Weekly Challenge: Ascending Regex to remove the Duplicates
dev.toยท2dยท
Discuss: DEV
๐ŸŒณTrie Structures
Dynamic Experts Search: Enhancing Reasoning in Mixture-of-Experts LLMs at Test Time
arxiv.orgยท1d
โœ“Automated Theorem Proving
d2: Improved Techniques for Training Reasoning Diffusion Language Models
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
My AI Workflow for Writing Cleaner, Readable Code
dev.toยท13hยท
Discuss: DEV
โšกProof Automation
Do Repetitions Matter? Strengthening Reliability in LLM Evaluations
arxiv.orgยท13h
๐Ÿง Intelligence Compression
Beyond Isolated Facts: Synthesizing Narrative and Grounded Supervision for VideoQA
arxiv.orgยท13h
๐Ÿ“ŠLearned Metrics
MARCOS: Deep Thinking by Markov Chain of Continuous Thoughts
arxiv.orgยท13h
๐Ÿ”ฒCellular Automata
Conditional Advantage Estimation for Reinforcement Learning in Large Reasoning Models
arxiv.orgยท13h
๐Ÿ’ปLocal LLMs