The SD Association has an official SD card format utility [Win/OS X/Linux]
sdcard.org·3d·
Discuss: Hacker News
🍎XNU Internals
Eyecam
marcteyssier.com·4d·
Discuss: Hacker News
⚙️Operating System Design
Study finds gaps in evidence for air-cleaning technologies to prevent infections
news.cuanschutz.edu·2d·
Discuss: Hacker News
🧪Property-Based Testing
bitwarden/clients
github.com·6d
🌐NetworkProtocols
F-35 pilot held 50-minute airborne conference call with engineers before crash
cnn.com·10h·
Discuss: Hacker News
🧗Climbing Tech
The First 1k Days
williamjbarry.substack.com·2d·
Discuss: Substack
🍎Apple
Is the Fed's New Policy Kayfabe?
mathmeetsmoney.substack.com·3d·
Discuss: Substack
❄️Nix
Anton Syndrome
en.wikipedia.org·4d·
Discuss: Hacker News
➡️Category Theory
Book Review: ‘Positive Obsession: The Life and Times of Octavia E. Butler,’ by Susana M. Morris
nytimes.com·4d·
Discuss: Hacker News
🐫OCaml
Planning server build and have a few questions (Epyc 4005)
supermicro.com·5d·
Discuss: r/homelab
🏠HomeLab
Africa Is Buying a Record Number of Chinese Solar Panels
wired.com·6d·
Discuss: Hacker News, r/China, r/energy
🖥️Self-hosted Infrastructure
OpenAI Makes a Play for Healthcare
gizmodo.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
None the Wiser
harpers.org·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Fear not, even AI engineers will be replaced by AI
doch88.github.io·3d·
Discuss: Hacker News
✓Automated Theorem Proving
The Leverage Paradox in AI
indiehackers.com·1d·
Discuss: Hacker News
🎮Verification Games
Burner phones, wiped socials: the extreme precautions for visitors to Trump’s America
theguardian.com·2d·
Discuss: Hacker News
🧗Climbing Tech
Many-notes: Markdown note-taking web application designed for simplicity
github.com·6d·
Discuss: Hacker News
📦Unikernel Systems
A Hybrid Discontinuous Galerkin Neural Network Method for Solving Hyperbolic Conservation Laws with Temporal Progressive Learning
arxiv.org·2d
🐫OCaml
Prompting Techniques for Reducing Social Bias in LLMs through System 1 and System 2 Cognitive Processes
arxiv.org·2d
✓Automated Theorem Proving
LingVarBench: Benchmarking LLM for Automated Named Entity Recognition in Structured Synthetic Spoken Transcriptions
arxiv.org·2d
🐫OCaml