SUSE Donates USD 11,500 to The Perl and Raku Foundation
perl.com·6d·
Discuss: Hacker News, r/linux
📦Unikernel Systems
missing.css 1.2.0
missing.style·1d·
Discuss: Lobsters, Hacker News
🍎Apple
I Use the GPL and Not Cuck Licenses (2022)
lukesmith.xyz·6d·
Discuss: Hacker News
🔬Unikernels
Digital hygiene: Passwords
herman.bearblog.dev·6h·
Discuss: Hacker News
🍎Apple
Chrysalis: Designing a Generation Ship
centauri-dreams.org·20h·
Discuss: Hacker News
⎈Kubernetes
Agency could be the next big idea
politicalwhiteboard.substack.com·1d·
Discuss: Substack
🖥️Self-hosted Infrastructure
AOL will finally end 1991 dial-up Internet service that’s older than smartphones
arstechnica.com·1d·
Discuss: Hacker News
📡Network Protocol Design
A case study in peak overemployment
hydrick.net·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Penpot (open-source Figma alternative) AI whitepaper
penpot.app·6d·
Discuss: Hacker News
🔬Unikernels
Show HN: A Python CEL implementation (written in Rust)
news.ycombinator.com·4d·
Discuss: Hacker News
⚙️PL Implementation
A Simple Model of Online Platform Enshittification
apoorvalal.github.io·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
How to Tell If Something Is AI-Written
hollisrobbinsanecdotal.substack.com·6h·
Discuss: Substack
✓Automated Theorem Proving
Does AI Quality Matter?
frontierai.substack.com·5d·
Discuss: Substack
👁️System Observability
Entrepreneurs Are the New Labor (2012)
forbes.com·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Don’t say this DIY Diskette was a Flop
hackaday.com·2d
💾Retro Computing
Heterogeneous optimized Schwarz Methods for heat conduction in composites with thermal contact resistance
arxiv.org·2d
🔍Formal Verification
A Study on Regularization-Based Continual Learning Methods for Indic ASR
arxiv.org·2d
🐫Embedded OCaml
Help with HDDs
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Exploring Safety Alignment Evaluation of LLMs in Chinese Mental Health Dialogues via LLM-as-Judge
arxiv.org·1d
🔍Formal Verification
Discerning minds or generic tutors? Evaluating instructional guidance capabilities in Socratic LLMs
arxiv.org·1d
✓Automated Theorem Proving