Ratfactor's Illustrated Guide to Folding Fitted Sheets
ratfactor.com·17h·
Discuss: Hacker News
🐫OCaml
Calcule
calcule.app·4d·
Discuss: Hacker News
🍎Apple
Installing Older Versions of Visual Studio 2022
nicksnettravels.builttoroam.com·21h·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Cross-Entropy. Intuition and Applications
hclimente.eu·3d·
Discuss: Hacker News
✓Automated Theorem Proving
‘It’s a Mess’: A Brain-Bending Trip to Quantum Theory’s 100th Birthday Party
quantamagazine.org·1d·
Discuss: Hacker News
📦Unikernel Systems
The End of Mutual Assured Destruction?
foreignaffairs.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Cultural Bias in LLMs
shav.dev·2d·
Discuss: Hacker News
🔠Type-Level Programming
Proposed spacecraft could carry up to 2,400 people on a one-way trip to the nearest star system, Alpha Centauri
livescience.com·2d·
Discuss: Hacker News
⎈Kubernetes
Search Engines Qwant and Ecosia Launch Privacy-Focused Search Index Staan
news.ssbcrack.com·2d·
Discuss: Hacker News
🔬Unikernels
What Is Superintelligence?
thefp.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Skynet: LLMs controlling real robots and drones with Bash
hackster.io·4d·
Discuss: Hacker News
🔬Unikernels
Endor: Fire up a Dev Environment in Seconds With WebAssembly
thenewstack.io·4d·
Discuss: Hacker News, Hacker News
🧱Immutable Infrastructure
Honest and Reliable Evaluation and Expert Equivalence Testing of Automated Neonatal Seizure Detection
arxiv.org·2d
🎮Verification Games
Decoding and Engineering the Phytobiome Communication for Smart Agriculture
arxiv.org·4d
📡Network Protocol Design
The how and why of GitHub to Codeberg
arscyni.cc·3d·
Discuss: Lobsters, Hacker News, r/programming
🧱Immutable Infrastructure
AlignGuard-LoRA: Alignment-Preserving Fine-Tuning via Fisher-Guided Decomposition and Riemannian-Geodesic Collision Regularization
arxiv.org·5d
🐫OCaml
TRACEALIGN -- Tracing the Drift: Attributing Alignment Failures to Training-Time Belief Sources in LLMs
arxiv.org·5d
🎮Verification Games
AI and the Future of Code: Developers Are Key
thenewstack.io·4d
🤖Program Synthesis
Show HN: An Open-Source E-Book Reader for Conversational Reading with an LLM
github.com·3d·
Discuss: Hacker News
🍎Apple