Why Coins Have Ridged Edges
rd.com·3d·
Discuss: Hacker News
❄️Nix
Four giraffe species officially recognized in conservation reclassification
iucn.org·1d·
Discuss: Hacker News
🍎Apple
When People Giggle at Your Name, or the 2025 Hugo Awards Incident
grigorylukin.com·2d·
Discuss: Hacker News
🛡️seL4
Anna's Archive: An Update from the Team
annas-archive.org·5d·
Discuss: Hacker News
🔬Unikernels
Lexica, Daily SMS Vocabulary
lexica.io·5d·
Discuss: Hacker News
🍎Apple
Our primate ancestors evolved in the cold – not the tropics
theconversation.com·2d·
Discuss: Hacker News
🔬Unikernels
Container-aware GOMAXPROCS
go.dev·5d·
Discuss: Lobsters, Hacker News, r/golang
⚙️Operating System Design
Determinants and Causal Effects: Admission to Highly Selective Private Colleges
nber.org·1d·
Discuss: Hacker News
🔠Type-Level Programming
Ask HN: How do most dry theory writers struggle to get started?
news.ycombinator.com·2d·
Discuss: Hacker News
➡️Category Theory
Interpol bags 1,209 suspects, $97M in cybercrime operation focused on Africa
theregister.com·2d·
Discuss: Hacker News
🍎Apple
Bluesky blocks Mississippi under new age verification law
theverge.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Struggling fusion power company General Fusion gets $22M lifeline from investors
techcrunch.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Adjustable Allen Key After All These Years
hackaday.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Automated Cervical Cancer Detection through Visual Inspection with Acetic Acid in Resource-Poor Settings with Lightweight Deep Learning Models Deployed on an An...
arxiv.org·4d
💻CS
Online Incident Response Planning under Model Misspecification through Bayesian Learning and Belief Quantization
arxiv.org·3d
✓Automated Theorem Proving
How to Build a Medieval Castle
archaeology.org·5d·
Discuss: Hacker News, r/Longreads
✓Automated Theorem Proving
Improving MSA Estimation through Adaptive Weight Vectors in MOEA/D
arxiv.org·5d
➡️Category Theory
SRMA-Mamba: Spatial Reverse Mamba Attention Network for Pathological Liver Segmentation in MRI Volumes
arxiv.org·5d
🐫OCaml
Mathematical proof concerning the additivity problem of nonlinear normalized citation counts
arxiv.org·3d
➡️Category Theory
Research on Conversational Recommender System Considering Consumer Types
arxiv.org·4d
🔠Type-Level Programming