Read more: Thousands join pro-Palestinian protest in Bern amid clashes with police
swissinfo.chยท1d
๐ŸŽฏProof Tactics
MultiPar 1.3.3.5 Beta / 1.3.2.9
scour.ingยท2d
๐ŸบZIP Archaeology
Implicit `operator bool` participates in comparison
quuxplusone.github.ioยท2d
๐Ÿฆ€Rust Verification
Is GRPO Broken?
neelsomaniblog.comยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Bounds
Dealing with Eventual Consistency and Idempotency in projections
event-driven.ioยท1dยท
Discuss: r/programming
๐ŸŒŠStream Processing
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท3dยท
Discuss: Hacker News
ฮปLambda Encodings
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.comยท2dยท
Discuss: Hacker News
โœจEffect Handlers
The Trillion Dollar AI Software Development Stack
a16z.comยท1dยท
Discuss: Hacker News
โšกProof Automation
Aligning Language Models with Clinical Expertise: DPO for Heart Failure Nursing Documentation in Critical Care
arxiv.orgยท4d
๐Ÿ”„Archival Workflows
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.orgยท4d
๐ŸงฎKolmogorov Bounds
AI Reddit Sensational Video Summarizer & Shorts Extractor:
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Archive Automation
Python 3.14 Released with Template String Literals, Deferred Annotations, and
socket.devยท4dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
An enough week
blog.mitrichev.chยท2dยท
Discuss: blog.mitrichev.ch
๐Ÿ“ˆLinear programming
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Quantum Autonomy: Algorithms That Design Themselves by Arvind Sundararajan
dev.toยท9hยท
Discuss: DEV
โš›๏ธQuantum Algorithms
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Extreme Amodal Face Detection
arxiv.orgยท3d
๐ŸŒ€Differential Geometry
ResAD: Normalized Residual Trajectory Modeling for End-to-End Autonomous Driving
arxiv.orgยท2d
๐ŸŒ€Riemannian Computing
GPT-5-Codex is a better AI researcher than me
seangoedecke.comยท5d
๐Ÿง Intelligence Compression
Pathology-CoT: Learning Visual Chain-of-Thought Agent from Expert Whole Slide Image Diagnosis Behavior
arxiv.orgยท5d
๐Ÿค–Advanced OCR