Last Week on My Mac: Coming soon to your Mac’s neural engine
eclecticlight.co·13h
⚡Performance Tools
How the "Kim" Dump Exposed North Korea's Credential Theft Playbook
dti.domaintools.com·1d·
Discuss: Hacker News
📟Terminal Forensics
Starless: We accidentally vanished our most popular GitHub repos
elastic.co·2d·
Discuss: Hacker News
🔓Open Source Software
Official MCP SDK for PHP is out
mcpstack.org·1d·
Discuss: Hacker News
🔌Interface Evolution
Esoteric Languages Challenge Coders to Think Way Outside the Box
spectrum.ieee.org·3d·
Discuss: Hacker News, r/technews
💻Programming languages
Introduction to Linear Types
austral-lang.org·1d·
Discuss: Hacker News
🔒Linear Types
From Fine-Tuning to Production: A Scalable Embedding Pipeline with Dataflow
developers.googleblog.com·2d
⚙️Batch Processing
The Angels and Demons of Nondeterminism
buttondown.com·3d·
Discuss: Hacker News
💻Programming languages
Distilling Impact and Prioritizing the Right Things
taoem.com·3d·
Discuss: Hacker News
📊Feed Optimization
What I learned managing an AI developer while seeking enlightenment
pocha.substack.com·2d·
Discuss: Substack
🌀Brotli Internals
Linux - Recreating old problems with new tools
dedoimedo.com·2d·
Discuss: Hacker News, Hacker News
🔌Operating system internals
Proxmox no subscription - no nags - tool (PVE, PBS and PMG compatible)
reddit.com·1d·
Discuss: r/homelab
❄️Nix Flakes
When LLMs Grow Hands and Feet, How to Design Our Agentic RL Systems?
amberljc.github.io·2d·
Discuss: Hacker News
⚡Incremental Computation
Gromov-Wasserstein and optimal transport: from assignment problems to probabilistic numeric
arxiv.org·2d
📐Compression Bounds
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·3d
⚖️Verification Calculi
Best Software Composition Analysis Tools in 2025 for Secure Code
dev.to·3d·
Discuss: DEV
🔓Open Source Software
Automated Spectral Analysis for Marine Noise Footprint Detection and Mitigation
dev.to·3h·
Discuss: DEV
🎵Acoustic Fingerprinting
Evaluating Cumulative Spectral Gradient as a Complexity Measure
arxiv.org·4d
🧮Kolmogorov Complexity
On This Day in Math - September 6
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📚Archive Mathematics
EmbeddingGemma - 300M parameter, state-of-the-art for its size, open embedding model from Google
huggingface.co·3d·
Discuss: Hacker News, r/LocalLLaMA
🧮Vector Embeddings