NetBSD developer shares GSoC 2025 Mentor Summit experience in Munich
discoverbsd.com·7h
🐡OpenBSD
Flag this post
Hardware crossroads (LLM)
reddit.com·16h·
Discuss: r/homelab
🕸️WASM Archives
Flag this post
3 Minutes to Start Your Research in Nearest Neighbor Search
romanbikbulatov.bearblog.dev·3d·
Discuss: Hacker News
📏Range Queries
Flag this post
Dynamic Scoring – bringing komidashi to chess
quadibloc.com·5h·
Discuss: Hacker News
🎯Interactive Provers
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·1d·
📊Performance Profiling
Flag this post
to transaction or not to transaction
reddit.com·2h·
Discuss: r/golang
💾Persistence Strategies
Flag this post
CAD-3D on the Atari ST
stonetools.ghost.io·1d·
Discuss: Hacker News
🕹️Retro Gaming
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·2d·
Discuss: Hacker News
Effect Handlers
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
The Cost of Certainty: Shot Budgets in Quantum Program Testing
arxiv.org·4d
🔍Concolic Testing
Flag this post
2025 ChronoEdit: A Complete Guide to Time-Reasoning-Based Image Editing and World Simulation
dev.to·16h·
Discuss: DEV
🎬WebCodecs API
Flag this post
Chips Need to Chill Out
spectrum.ieee.org·9h·
Discuss: Hacker News
⚛️Information Physics
Flag this post
U-CAN: Unsupervised Point Cloud Denoising with Consistency-Aware Noise2Noise Matching
arxiv.org·2d
🌀Riemannian Computing
Flag this post
Additive Models Explained: A Computational Complexity Approach
arxiv.org·5d
🧮Kolmogorov Complexity
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·2d
🧮Theoretical Computer Science
Flag this post
From Memorization to Reasoning in the Spectrum of Loss Curvature
arxiv.org·3d
🧠Intelligence Compression
Flag this post
Pixel-Perfect Designs versus AI
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Flag this post
What Can Be Recovered Under Sparse Adversarial Corruption? Assumption-Free Theory for Linear Measurements
arxiv.org·3d
📐Linear Algebra
Flag this post