"It could easily be shown..." Probability and Pi and the Riemann Zeta Function
pballew.blogspot.com·5h·
Discuss: www.blogger.com
⚔️Lean Theorem
Google DeepMind Formal Conjectures
google-deepmind.github.io·16h·
Discuss: Hacker News
🕸️Algebraic Topology
An exciting new immutable distro called HeliumOS based on AlmaLinux
distrowatch.com·11h·
Discuss: r/linux
🔌Operating system internals
How do Rails/Golang/Python handle canceling a HTTP request mid transaction?
sent-hil.com·7h·
Discuss: Hacker News
📝SQLite WAL
Vibe coding service Replit deleted user’s production database, faked data, told fibs galore
theregister.com·8h·
Discuss: Hacker News
🚀Indie Hacking
Rust is a great fit for the agentic era
kerkour.com·5d·
Discuss: Hacker News
🦀Rust Macros
Unreal Engine 5.6 Performance Highlights
tomlooman.com·1d·
Discuss: Hacker News
⚡Performance Tools
The Tool for Shopee Multi-Site Operations
news.ycombinator.com·1h·
Discuss: Hacker News
🔄Sync Engine
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Allocators
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·5d·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
LiLM-RDB-SFC: Lightweight Language Model with Relational Database-Guided DRL for Optimized SFC Provisioning
arxiv.org·5d
🌀Brotli Internals
The Power of HTML - Part 6: HTML5 APIs: Local Storage, Geolocation, and Offline Capabilities
dev.to·1d·
Discuss: DEV
🌐Web Standards
⚡ Hogwarts Spell Caster: Real-Time Voice Magic with AssemblyAI Universal-Streaming
dev.to·14h·
Discuss: DEV
🎙️Whisper
On Pre-training of Multimodal Language Models Customized for Chart Understanding
arxiv.org·7h
📊Learned Metrics
AI 101 for Frontend Devs: LLMs, Transformers, RAG Explained Simply
dev.to·2h·
Discuss: DEV
🤖Grammar Induction
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
huggingface.co·3d·
Discuss: Hacker News, Hacker News
📝ABNF Parsing
Lessons from the TREC Plain Language Adaptation of Biomedical Abstracts (PLABA) track
arxiv.org·7h
🔍Information Retrieval
The Power of HTML - Part 22: The Future of HTML: WebAssembly, AI Integration, and Predictions
dev.to·23h·
Discuss: DEV
🌐Web Standards
Conformal Data Contamination Tests for Trading or Sharing of Data
arxiv.org·7h
📰Content Curation
I built a self-hosted Telegram AI assistant to keep my Gemini API key private. It's now open-source for everyone.
dev.to·1d·
Discuss: DEV
⚡gRPC