Monday 8 September, 2025
memex.naughtons.orgΒ·16h
🧲Magnetic Philosophy
Operating Principles That Guided Me to Staff Engineer (Part 1: Driving Impact)
read.highgrowthengineer.comΒ·23h
πŸ“Code Metrics
22.00.0127 Tags are dumb. I'm going to fix tags
johnnydecimal.comΒ·1d
πŸ”Archive Semantics
Book of All-Pairs Shortest Paths
olegkarasik.wordpress.comΒ·1dΒ·
Discuss: Hacker News
πŸ•ΈοΈGraph Algorithms
Malicious code found in error-ex NPM package (47M weekly downloads) 30M ago
jdstaerk.substack.comΒ·1hΒ·
Discuss: Substack, r/javascript
πŸ“¦Package Managers
Relaunching Yakread: an algorithmic reading app
biffweb.comΒ·2dΒ·
Discuss: Hacker News
πŸ“°Feed Readers
Tyromancy (Telling the future using cheese)
en.wikipedia.orgΒ·3hΒ·
Discuss: Hacker News
πŸ—οΈPaleocryptography
The Babysitter Problem
chrisbeckman.devΒ·2dΒ·
Discuss: Hacker News
⚑Proof Automation
β€œI speak with gravity,” by Jane Hirshfield
newyorker.comΒ·5h
πŸ›οΈPhilosophy
Facial Emotion Recognition does not detect feeling unsafe in automated driving
arxiv.orgΒ·11h
πŸ“ŠLearned Metrics
GPT-5 Thinking in ChatGPT (aka Research Goblin) is shockingly good at search
simonwillison.netΒ·1dΒ·
Discuss: Hacker News, Hacker News
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
Simplify Validation in Golangβ€” No Struct Tags, No Reflection, TypeSafety: Meet GoValidator
dev.toΒ·3dΒ·
Discuss: DEV
βœ…Format Verification
Awesome AI Agent Frameworks
github.comΒ·3dΒ·
Discuss: Hacker News
⚑Proof Automation
ECCFROG522PP: An Enhanced 522-bit Weierstrass Elliptic Curve
arxiv.orgΒ·3d
πŸ”§Reed-Solomon
Survival Analysis with Adversarial Regularization
arxiv.orgΒ·11h
πŸ“ŠLearned Metrics
Dynamic Fluorescence Lifetime Imaging Analysis via Adaptive Kernel Regression
dev.toΒ·16hΒ·
Discuss: DEV
🧲Magnetic Resonance
Automated Diagnostic Workflow for Early-Stage Vitamin B12 Deficiency via Retrospective Cohort Analysis
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”„Archival Workflows
WaterUI: A SwiftUI-inspired cross-platform UI framework for Rust with cross-platform native rendering
reddit.comΒ·1dΒ·
Discuss: r/rust
πŸ¦€Rust Macros
Formal Verification of Isothermal Chemical Reactors
arxiv.orgΒ·5d
πŸ‘‘Isabelle/HOL
DevLink: The Peer-to-Peer Toolkit for Frictionless Development
dev.toΒ·21hΒ·
Discuss: DEV
🌐WebRTC Archives