Just use Llama.cpp
markjgsmith.com·18h
🔗Lisp
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
Experimenting with ACL2 and Claude Code
mikedodds.org·2d·
Discuss: Hacker News
👑Isabelle
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·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
The key to conversational speech recognition
datasciencecentral.com·3d
🎵Audio ML
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·4d
💻Local LLMs
TRepLiNa: Layer-wise CKA+REPINA Alignment Improves Low-Resource Machine Translation in Aya-23 8B
arxiv.org·4d
🎙️Whisper
Reimagine Libraries management as Apps using Agentic Executable framework
dev.to·5h·
Discuss: DEV
🧱Immutable Infrastructure
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·3d
🔲Cellular Automata
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·3d
🧮Theorem Proving
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to·2d·
Discuss: DEV
🔗Supply Chain
Quantum Agents: The Algorithmic Alchemists Reshaping Discovery
dev.to·1d·
Discuss: DEV
⚛️Quantum Algorithms
Building an AI Internal Linking Plugin for WordPress
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Multi-Level Hybrid Monte Carlo / Deterministic Methods for Particle Transport Problems
arxiv.org·2h
🔗Tailscale
GAMBIT+: A Challenge Set for Evaluating Gender Bias in Machine Translation Quality Estimation Metrics
arxiv.org·4d
⚙️Compression Benchmarking
SliceFine: The Universal Winning-Slice Hypothesis for Pretrained Networks
arxiv.org·3d
🧠Neural Codecs