How older parents divorce affects their adult children
bbc.com·1d·
Discuss: Hacker News
💾Retro Computing
Three Kinds of Contrarians
overcomingbias.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Trusting builds with Bazel remote execution
jmmv.dev·3d·
Discuss: Hacker News
🛡️seL4
Show HN: Didit – Identity Verification Platform (Unlimited Free KYC)
didit.me·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
How Software Engineers Make Productive Decisions (without slowing the team down)
strategizeyourcareer.com·2d·
📊Runtime Verification
AMD Turin PSP binaries analysis from open-source firmware perspective
blog.3mdeb.com·1d·
Discuss: Hacker News
💾Retro Computing
BVP: Mastering product-market fit- A detailed playbook for AI founders
bvp.com·3d·
Discuss: Hacker News
👁️System Observability
Paul's Online Math Notes
tutorial.math.lamar.edu·4d·
Discuss: Hacker News
Process Calculi
Show HN: Writing – How to make a computer browser internet automatically
news.ycombinator.com·2d·
Discuss: Hacker News
Automated Theorem Proving
Using Haskell in Production
agentultra.com·6d·
Discuss: Hacker News
🔠Type-Level Programming
A Different Perspective on Rationality - Would This Be Valuable?
lesswrong.com·3d
➡️Category Theory
OmniFocus 4.8 gets on-device Apple Intelligence support
9to5mac.com·23h
🍎Apple
Understanding Log Events: Why Context Is Key
thenewstack.io·4d
📊Runtime Verification
KAMRUI Essenx E1- DIY into NAS
reddit.com·1d·
Discuss: r/homelab
🔬Unikernels
A Low-Rank tensor framework for THB-Splines
arxiv.org·4d
🐫OCaml
MS-01 With eGPU for Ollama
reddit.com·2d·
Discuss: r/homelab
🔧Unikernel Development
How I tell human and AI flash fiction apart
lesswrong.com·6d
Process Calculi
Perl Rebounds In TIOBE Index - Why?
i-programmer.info·5d·
🔤DSLs
Indie App Spotlight: ‘SUMRY’ turns your Apple Watch activity into workout stories
9to5mac.com·2d
🍎Apple