An Etymological Knockout
blog.oup.com·3d·
Discuss: Hacker News
➡️Category Theory
Row Polymorphic Programming
stranger.systems·5d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
My thoughts on calculating ROI for AI investment at a Series B startup
hbmartin.substack.com·2h·
Discuss: Substack
👁️System Observability
The Remarkable Incompetence At The Heart Of Tech
wheresyoured.at·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Own the Browser
browserbase.com·1d·
Discuss: Hacker News
🔬Unikernels
Coroutines in C
hackaday.com·5d
⚙️PL Implementation
8-Core ARM Pocket Computer Runs NixOS
hackaday.com·1d
🔬Unikernels
How and where will agents ship software?
instantdb.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
CubeSat Orbit Insertion Maneuvering Using J2 Perturbation
arxiv.org·1d
🏹Effect Systems
Amazon just launched Kiro.dev. An AI IDE for Spec-Driven Development (It's amazing!)
reddit.com·2d·
Discuss: r/programming
🧱Immutable Infrastructure
A Leap-on-Success Exhaustive Search Method to Find Optimal Robust Minimum Redundancy Arrays (RMRAs): New Array Configurations for Sensor Counts 11 to 20
arxiv.org·3d
🔍Formal Verification
From the Tensor to the Transformer: Building the AI stack from first principles
github.com·6d·
Discuss: Hacker News
🏹Effect Systems
Diffusion Decoding for Peptide De Novo Sequencing
arxiv.org·3d
➡️Category Theory
A Training-Free, Task-Agnostic Framework for Enhancing MLLM Performance on High-Resolution Images
arxiv.org·4d
🐫Embedded OCaml
Anthropomimetic Uncertainty: What Verbalized Uncertainty in Language Models is Missing
arxiv.org·3d
✓Automated Theorem Proving
How Far Have Medical Vision-Language Models Come? A Comprehensive Benchmarking Study
arxiv.org·3d
🐫Embedded OCaml
Robust 3D-Masked Part-level Editing in 3D Gaussian Splatting with Regularized Score Distillation Sampling
arxiv.org·3d
💾Retro Computing
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·4d
🧪Property-Based Testing
Need graphics card ideas for old Supermicro X7DWE
reddit.com·7h·
Discuss: r/homelab
💾Retro Computing
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·3d·
Discuss: Hacker News
🧪Property-Based Testing