Listening to the Nonhuman World: On Strategies for Saving the Biosphere
lareviewofbooks.org·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Determinants of successful AAV-vectored delivery of HIV-1 bNAbs in early life
nature.com·8h·
Discuss: Hacker News
📡Network Protocol Design
AI Abuse to Skirt Copyright Law
nickybay.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Sources of Truth – By John Cutler
cutlefish.substack.com·1d·
Discuss: Substack
🔄Reproducible Builds
Windows 11 is a minefield of micro-aggressions in the shipping lane of progress
theregister.com·2d·
Discuss: Hacker News
🔬Unikernels
Giving Benchmarks a Boat
buttondown.com·2d·
Discuss: Lobsters, Hacker News
👁️System Observability
Kintsugi: Decentralized E2EE Key Recovery
arxiv.org·20h
🌐NetworkProtocols
Bot vs. Bot: Will the Internet Soon Be a Place Without Humans? (2018)
singularityhub.com·14h·
Discuss: Hacker News
💻CS
How do I get ChatGPT to forget about me?
news.ycombinator.com·6h·
Discuss: Hacker News
🍎Apple
Learning Basic Electronics by Building FireFlies
a64.in·1d·
Discuss: Hacker News
🐫Embedded OCaml
An Angular-Temporal Interaction Network for Light Field Object Tracking in Low-Light Scenes
arxiv.org·20h
🔠Type-Level Programming
KCert: A Simple Let's Encrypt Manager for Kubernetes
github.com·3d·
Discuss: Hacker News
⎈Kubernetes
Divergence-free Preserving Mix Finite Element Methods for Fourth-order Active Fluid Model
arxiv.org·20h
🐫OCaml
Multi-UAV Deployment in Obstacle-Cluttered Environments with LOS Connectivity
arxiv.org·20h
⎈Kubernetes
Provable In-Context Learning of Nonlinear Regression with Transformers
arxiv.org·1d
✓Automated Theorem Proving
Style-Aware Blending and Prototype-Based Cross-Contrast Consistency for Semi-Supervised Medical Image Segmentation
arxiv.org·1d
➡️Category Theory
Memorization in Fine-Tuned Large Language Models
arxiv.org·1d
✓Automated Theorem Proving
Torque-based Graph Surgery:Enhancing Graph Neural Networks with Hierarchical Rewiring
arxiv.org·20h
🏹Effect Systems
Limits at a Distance: Design Directions to Address Psychological Distance in Policy Decisions Affecting Planetary Boundaries
arxiv.org·2d
📡Network Protocol Design
DeepSieve: Information Sieving via LLM-as-a-Knowledge-Router
arxiv.org·20h
✓Automated Theorem Proving