We're a married couple in our 80s, and both still have to work. We can't stand just sitting at home with nothing to do.
businessinsider.comĀ·8h
šŸ“Proof Assistants
Iā€™m happy when people learn and are inspired
hamatti.orgĀ·17h
šŸ“”RSS Syndication
Kubernetes Gateway API: Local NGINX Gateway Fabric Setup using kind
github.comĀ·4h
šŸ“¦Container Security
What Fiscal Dominance Means for Your Polycule
mattwie.seĀ·14hĀ·
Discuss: Hacker News
šŸ’°Archive Economics
Writing Speed-of-Light Flash Attention for 5090 in CUDA C++
gau-nernst.github.ioĀ·5hĀ·
Discuss: Hacker News
šŸ–„ļøTerminal Renaissance
CUTE-MRI: Conformalized Uncertainty-based framework for Time-adaptivE MRI
arxiv.orgĀ·1d
šŸ’¾Floppy Imaging
Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math
quantamagazine.orgĀ·1dĀ·
Discuss: Hacker News, Hacker News
šŸŽžļøTape Combinatorics
A New Relaxation of Fairness in Two-Sided Matching Respecting Acquaintance Relationships
arxiv.orgĀ·1d
šŸŒøBloom Variants
Make LLMs supportive, not sycophantic
chrisbarber.coĀ·3hĀ·
Discuss: Hacker News
šŸŽÆGradual Typing
Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum
arxiv.orgĀ·1d
šŸ“Interval Arithmetic
Fun OCaml 2025
fun-ocaml.comĀ·1hĀ·
Discuss: Hacker News
šŸ§¬Functional Programming
Plus, Minus: A Gentle Introduction to the Physics of Orthogonal
gregegan.netĀ·3dĀ·
Discuss: Hacker News
ā°Time Crystals
3D Printed Portable Air Quality Monitor using Beetle ESP32C3
hackster.ioĀ·11h
šŸ”ŒSingle Board PC
Mathematical proof concerning the additivity problem of nonlinear normalized citation counts
arxiv.orgĀ·2d
šŸ“ŠCitation Graphs
Equi-mRNA: Protein Translation Equivariant Encoding for mRNA Language Models
arxiv.orgĀ·1d
šŸ”—Functional Compilers
Are we solving digital identity or revealing we've lost what we're proving?
syntheticauth.aiĀ·21hĀ·
Discuss: Hacker News
šŸ”PKI Archaeology
AI-Driven Cognitive Prosthesis Calibration via Adaptive Hyperparameter Optimization
dev.toĀ·1dĀ·
Discuss: DEV
šŸ”²Cellular Automata
busy beaver function
ncatlab.orgĀ·8h
āš”ļøLean Theorem
Mother reveals how she reclaimed Ā£5,686 in missing benefits - and how others can too
the-independent.comĀ·4h
šŸ“œFamily History Data
What Hugging Face reveals about the data economy of fine-tuning
research.portexai.comĀ·1dĀ·
Discuss: Hacker News
šŸŒ€Brotli Internals