Updates 2025 H1
mudkip.me·1d
🔌Operating system internals
Vsxmd: C# Markdown documentation generator
github.com·2h
🏷️Metadata Standards
Jetson Thor – Advanced AI for Physical Robotics
nvidia.com·2d·
Discuss: Hacker News
🏠Homelab Federation
The Mystery of the Claude 3 Tokenizer (2024)
tokencontributions.substack.com·1d·
Discuss: Substack
📝Concrete Syntax
Rate my homelab
preview.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com·5d·
Discuss: Hacker News
🏛️Isabelle HOL
StackGen's Autonomous Infrastructure Platform
stackgen.com·1d·
Discuss: Hacker News
🏠Homelab Orchestration
AI coding agent is a spy
unknwon.io·2d·
Discuss: Hacker News
🦠Malware Analysis
🎯 Solved a tricky problem with Claude Code:
dev.to·1d·
Discuss: DEV
🦀Rust Verification
Symplectic Elimination
arxiv.org·1d
📐Linear Algebra
Representations in vision and language converge in a shared, multidimensional space of perceived similarities
arxiv.org·19h
📊Learned Metrics
Hebbian Memory-Augmented Recurrent Networks: Engram Neurons in Deep Learning
arxiv.org·19h
🧠Machine Learning
Real-Time Distributed Optical Fiber Vibration Recognition via Extreme Lightweight Model and Cross-Domain Distillation
arxiv.org·1d
📊Homelab Monitoring
Creating and using pass tickets on z/OS.
colinpaice.blog·1d
🛡️eBPF Security
Giants Protocol: Advancing Real World Assets Tokenization With AI-Driven Infrastructure
hackernoon.com·1d
🏺Protocol Archaeology
Vibe Coding as a Reconfiguration of Intent Mediation in Software Development: Definition, Implications, and Research Agenda
arxiv.org·19h
⚡Effectful Programming
Safety Features for a Centralised AGI Project
arxiv.org·19h
🔐Capability Systems
MetaLab: Few-Shot Game Changer for Image Recognition
arxiv.org·19h
📊Learned Metrics
M-Net: MRI Brain Tumor Sequential Segmentation Network via Mesh-Cast
arxiv.org·1d
🌀Riemannian Computing
Let the AI Run Code: Inside the REPL Loop
dev.to·3h·
Discuss: DEV
⚔️Lean Tactics