When the Internet reached half of US households
dfarq.homeip.net·1d·
Discuss: Hacker News
💾Retro Computing
Typechecker Zoo
sdiehl.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
Coding of Visual Memory in Hippocampal Neurons Revealed by Interpretable Model
advanced.onlinelibrary.wiley.com·3h·
Discuss: Hacker News
➡️Category Theory
PyPI: Preventing Domain Resurrection Attacks
blog.pypi.org·22h·
Discuss: Lobsters, Hacker News, Hacker News
🌐NetworkProtocols
Unification
eli.thegreenplace.net·1d·
Discuss: Hacker News
💻CS
Go 1.25 Release Notes
go.dev·6d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
❄️Nixified Development
We Rewrote the Ghostty GTK Application
mitchellh.com·5d·
Discuss: Lobsters, Hacker News, r/linux
❄️Nixified Development
How Well Do Coding Agents Use Your Library?
stackbench.ai·6d·
Discuss: Hacker News
🔬Static Analysis
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.com·5d·
Discuss: r/rust
🐫OCaml
Polynomial preserving recovery for PHT-splines
arxiv.org·1d
🏹Effect Systems
The Terminal Demise of Consumer Electronics Through Subscription Services
hackaday.com·1d
💾Retro Computing
Re-Architecting AI For Power
semiengineering.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Relative Pose Regression with Pose Auto-Encoders: Enhancing Accuracy and Data Efficiency for Retail Applications
arxiv.org·1d
🍎Apple
Show HN: CCCP – a programmable, context-aware compression protocol (early stage)
github.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
An Efficient Medical Image Classification Method Based on a Lightweight Improved ConvNeXt-Tiny Architecture
arxiv.org·1d
🐫Embedded OCaml
Testing AI coding agents (2025): Cursor vs. Claude, OpenAI, and Gemini
render.com·6d·
Discuss: Hacker News
📦Unikernel Systems
A Chain of Diagnosis Framework for Accurate and Explainable Radiology Report Generation
arxiv.org·5d
🏹Effect Systems
HN: Solo founder building "GTM agent swarm" – anyone else?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
Allee Synaptic Plasticity and Memory
arxiv.org·1d
🐫OCaml
Semantically Guided Adversarial Testing of Vision Models Using Language Models
arxiv.org·1d
🎮Verification Games