A brief perspective from an IMO coordinator
reddit.com·4d·
Discuss: r/math
🎮Verification Games
How Bratags Relay Email Works: Behind the Scenes of Relay Bratags.com
bratags.com·1d·
Discuss: Hacker News
🛡️seL4
Meta names Shengjia Zhao as chief scientist of AI superintelligence unit
techcrunch.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Downloading arbitrary Apple Podcast episode transcripts
blog.alexbeals.com·3d·
Discuss: Hacker News
🍎Apple
PocketHost: Simple PocketBase Hosting
pockethost.io·3d·
Discuss: Hacker News
🏠HomeLab
I am Rebuilding this Blog with Rails
writesoftwarewell.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Database Migration Wartime Stories
news.alvaroduran.com·3d·
Discuss: Hacker News
🛡️seL4
LLM Just Got Pwned: The Hidden Danger in MCP Sampling
yassworks.github.io·4d·
Discuss: Hacker News
🛡️seL4
Agents Are Not Tools
discuss.google.dev·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Repeated Failures Report at AnyMaint: A Technical Deep Dive
medium.com·3d·
Discuss: r/programming
👁️System Observability
Torqued Accelerator Using Radiation from the Sun (Tars) for Interstellar Payload
arxiv.org·10h·
Discuss: Hacker News
❄️Nix
Building a Color Teaching Toy For Tots
hackaday.com·1d
🎮Verification Games
Painting in Metal with Selective Electroplating
hackaday.com·2d
💾Retro Computing
DNS Mad Libs is a hacker-inspired version of the popular word game — built on networking infrastructure to provide distributed version
tomshardware.com·4d·
Discuss: Hacker News
📡Network Protocol Design
Wasserstein GAN-Based Precipitation Downscaling with Optimal Transport for Enhancing Perceptual Realism
arxiv.org·2d
🐫OCaml
Cross-domain Multi-step Thinking: Zero-shot Fine-grained Traffic Sign Recognition in the Wild
arxiv.org·3d
🐫Embedded OCaml
systemd 258-rc1 Is A Massive Feature Release With New Tools, More Than 260 Changes
phoronix.com·3d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
NAS + Server: EliteDesk G5 SFF i5 vs. AOOStar WTR Pro N150
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
SynC: Synthetic Image Caption Dataset Refinement with One-to-many Mapping for Zero-shot Image Captioning
arxiv.org·2d
➡️Category Theory
Speaker Disentanglement of Speech Pre-trained Model Based on Interpretability
arxiv.org·2d
🐫OCaml