Log by time, not by count
johnscolaro.xyz·2d·
Discuss: Hacker News
👁️System Observability
Facebook: Combating Unoriginal Content
creators.facebook.com·23h·
Discuss: Hacker News
🍎Apple
Software is Never Done: Embracing Constant Evolution and Change will Result in a Better System
bencane.com·6d·
Discuss: r/programming
🧱Immutable Infrastructure
The borrowchecker is what I like the least about Rust
viralinstruction.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Guide for bootstrapped SaaS on product development – I'd love feedback
notion.so·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Maybe writing speed actually is a bottleneck for programming
buttondown.com·5d·
Discuss: Hacker News
🔬Static Analysis
Who Is LLM?
martinfowler.com·1d·
Discuss: Hacker News
🛡️seL4
Almost Always Auto (2013)
herbsutter.com·6d·
Discuss: Hacker News
🐫Embedded OCaml
Why I Hate Azure with a Passion
medium.com·3d·
Discuss: Hacker News
👁️System Observability
What If the Real Power of MRI Isn't in the Image at All?
medium.com·19h·
Discuss: Hacker News
💾Retro Computing
Proxmox-GitOps - a Self-configuring GitOps Environment for Container Automation in Proxmox VE
github.com·3d·
Discuss: Hacker News, r/devops
⎈Kubernetes
There is no "Three Mile Island" event coming for software
surfingcomplexity.blog·3d·
Discuss: Hacker News
👁️System Observability
Intuitionistic monotone modal logic via translation
arxiv.org·2d
➡️Category Theory
Solving the Context Rot Problem for Coding Agents
install.md·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Strategyproofness and Monotone Allocation of Auction in Social Networks
arxiv.org·1d
✓Automated Theorem Proving
Dutch CrowS-Pairs: Adapting a Challenge Dataset for Measuring Social Biases in Language Models for Dutch
arxiv.org·8h
🔠Type-Level Programming
Ask HN: Managing engineers? Talk to me for a piece I'm writing
news.ycombinator.com·1d·
Discuss: Hacker News
👁️System Observability
My Budget DIY Mini Lab
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Getting un-"Stuck on NAS build" - part 2
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Mathematical modeling and sensitivity analysis of hypoxia-activated drugs
arxiv.org·1d
🐫OCaml