Backup server recommendations
bargainhardware.co.uk·2d·
Discuss: r/homelab
🏠HomeLab
Configuring GitHub Codespaces using devcontainers
til.simonwillison.net·3d·
Discuss: Hacker News
⎈Kubernetes
From LISP to Racket (a brief history of LISP programming)
youtu.be·1d·
Discuss: r/programming
🐫Embedded OCaml
Apple machine learning privacy workshop talks released
appleinsider.com·3d·
Discuss: Hacker News
🍎Apple
Help with my Fujitsu Q920 - smartcard error
i.redd.it·2d·
Discuss: r/homelab
💾Retro Computing
Accrescent – Progress Update and Roadmap
blog.accrescent.app·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Plex Warns Users to Patch Security Vulnerability Immediately
bleepingcomputer.com·1d·
Discuss: r/homelab
❄️Nixified Development
The Problem Of Uncertain Significance
stetson.substack.com·3d·
Discuss: Substack
🧪Property-Based Testing
Exclusive: Fintech giant Stripe building ‘Tempo’ blockchain with crypto VC Paradigm
fortune.com·4d·
Discuss: Hacker News
🍎Apple
Trump orders cull of regulations governing commercial rocket launches
arstechnica.com·2d·
Discuss: Hacker News
⎈Kubernetes
Inside the automated warehouse where robots are packing your groceries
theverge.com·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Behind attacks on Ukrainian cities, Russia is building a drone empire
defensenews.com·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Aqua Voice shows just how good Mac dictation could be if Apple really tried
9to5mac.com·1d
🍎Apple
Continuous-Path 3D Printed Case is Clearly Superior
hackaday.com·4d
💾Retro Computing
iPhone 17 event news is coming but beware of fake invites
9to5mac.com·2d
🍎Apple
Study: Social media probably can’t be fixed
arstechnica.com·3d·
Discuss: Lobsters, Hacker News
🏹Effect Systems
FNBT: Full Negation Belief Transformation for Open-World Information Fusion Based on Dempster-Shafer Theory of Evidence
arxiv.org·4d
✓Automated Theorem Proving
EMPATHIA: Multi-Faceted Human-AI Collaboration for Refugee Integration
arxiv.org·4d
✓Automated Theorem Proving
BigTokDetect: A Clinically-Informed Vision-Language Model Framework for Detecting Pro-Bigorexia Videos on TikTok
arxiv.org·4d
➡️Category Theory
PROPS: Progressively Private Self-alignment of Large Language Models
arxiv.org·4d
💻CS