Just use Llama.cpp
markjgsmith.comยท21h
๐Ÿ”—Lisp
Leopard Lord (1983)
bluerenga.blogยท14h
๐Ÿ•น๏ธRetro Gaming
History rides again
robinsloan.comยท1d
โœจEffect Handlers
Show HN: We used LZMA to encode data into a URL
standardsapplied.comยท1dยท
Discuss: Hacker News
๐ŸŒ€Differential Geometry
How different AI engines generate and cite answers
searchengineland.comยท2d
๐Ÿค–AI Curation
Meet Amazon Quick Suite: The agentic AI application reshaping how work gets done
aboutamazon.comยท3dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.aiยท2dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
10 Command-Line Tools Every Data Scientist Should Know
kdnuggets.comยท4d
๐Ÿค–Archive Automation
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.comยท2dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Bounds
The key to conversational speech recognition
datasciencecentral.comยท3d
๐ŸŽตAudio ML
From Source to Sorcery โ€“ Kotlin Native's Interop Magic
staticvar.devยท15hยท
๐Ÿ’งLiquid Types
Online KubeDiagrams Service
reddit.comยท22hยท
Discuss: r/kubernetes
๐Ÿ“ฆContainer Security
Reimagine Libraries management as Apps using Agentic Executable framework
dev.toยท7hยท
Discuss: DEV
๐ŸงฑImmutable Infrastructure
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท3d
๐ŸงฎTheorem Proving
Quantum Agents: The Algorithmic Alchemists Reshaping Discovery
dev.toยท1dยท
Discuss: DEV
โš›๏ธQuantum Algorithms
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Supply Chain
Multi-Level Hybrid Monte Carlo / Deterministic Methods for Particle Transport Problems
arxiv.orgยท4h
๐Ÿ”—Tailscale
SliceFine: The Universal Winning-Slice Hypothesis for Pretrained Networks
arxiv.orgยท3d
๐Ÿง Neural Codecs