Show HN: Made a CD interest for my family
cd-interest-calculator.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
iNaturalist Animals and Plants
xkcd.com·14h·
Discuss: Hacker News
➡️Category Theory
Triple Scripts
triplescripts.org·21h·
Discuss: Hacker News
🔄Reproducible Builds
NPM Fund
gojiberries.io·2d·
Discuss: Hacker News
🍎XNU Internals
Meta’s High-Tech Oakleys Bring Smart Glasses to a Sportier Crowd
bloomberg.com·6h·
Discuss: Hacker News
🧗Climbing Tech
Launching RustMailer – My Journey to a Fast, Self-Hosted Email API in Rust
indiehackers.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
eslint-config-prettier npm package compromised
stepsecurity.io·2d·
Discuss: Hacker News
📦Unikernel Systems
Security is a Renewals Problem: How to negotiate in vendor renewals
securityis.substack.com·1d·
Discuss: Substack
🔄Reproducible Builds
Debcraft – Easiest way to modify and build Debian packages
optimizedbyotto.com·2d·
Discuss: Hacker News
❄️Nixified Development
Metis Agent Starter Kit – Build production AI agents in minutes, not weeks
news.ycombinator.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Discovery and dynamics of a Sedna-like object with a perihelion of 66 au
nature.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Intra-view and Inter-view Correlation Guided Multi-view Novel Class Discovery
arxiv.org·4d
➡️Category Theory
An Adaptive Volatility-based Learning Rate Scheduler
arxiv.org·5d
🐫Embedded OCaml
Finding Order-Preserving Subgraphs
arxiv.org·5d
💻CS
Divide-Then-Rule: A Cluster-Driven Hierarchical Interpolator for Attribute-Missing Graphs
arxiv.org·5d
➡️Category Theory
Wikipedia: Signs of AI Writing
en.wikipedia.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Indie App Spotlight: ‘Nunch’ is an elegantly designed calorie and macro tracker
9to5mac.com·1d
🍎Apple
Efficient Adaptation of Pre-trained Vision Transformer underpinned by Approximately Orthogonal Fine-Tuning Strategy
arxiv.org·3d
➡️Category Theory
Lslvr/mwm: The smallest (usable) X11 window manager
github.com·5h·
Discuss: Hacker News
🔬Unikernels
Here’s how Apple Intelligence keeps privacy in mind versus the competition
9to5mac.com·18h
🍎Apple