Git's hidden simplicity: what's behind every commit
allvpv.substack.com·17h·
Discuss: Substack
🔄Reproducible Builds
Anchored Persona Reinforcement (APR)
zenodo.org·19h·
Discuss: Hacker News
🧩Parser Combinators
Everything Wrong With Developer Productivity Metrics
youtu.be·1d·
Discuss: r/programming
❄️Nixified Development
Intel Linux Graphics Driver Seeing 2~5% Faster Shader Compilation Times, Up To ~20%
phoronix.com·1d·
Discuss: Hacker News
🔧Unikernel Development
The PDF That Broke ChatGPT
surgehq.ai·1d·
Discuss: Hacker News
🧩Parser Combinators
Best Backup Strategy for 2 Proxmox Hosts (1x ZFS, 1x UFS) - ZFS Proxmox has TrueNAS VM?
forum.proxmox.com·4d·
Discuss: r/homelab
🏠HomeLab
We're training a text-to-image model from scratch and open-sourcing it
photoroom.com·1d·
Discuss: Hacker News
💾Retro Computing
STRIDE: Scalable and Interpretable XAI via Subset-Free Functional Decomposition
arxiv.org·2d
🐫OCaml
UltrON: Ultrasound Occupancy Networks
arxiv.org·2d
🔧Unikernel Development
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com·3d·
Discuss: Hacker News
🤖Program Synthesis
LLM-Generated Rules Engines for LLM Explainability
brain.co·1d·
Discuss: Hacker News
🧠Automated Reasoning
Semlib: LLM-powered Data Processing
anishathalye.com·3d·
Discuss: Lobsters
🧩Parser Combinators
My (speculative) master plan for immortality
maxwellnye.com·3d·
Discuss: Hacker News
🔬Unikernels
Debunking the Claims of K2-Think
sri.inf.ethz.ch·1d·
Discuss: Hacker News, r/LocalLLaMA
🧠Automated Reasoning
RouterOS rookie here. How do I start without breaking everything?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Review: SpikingBrain Technical Spiking Brain-Inspired Large Models
arxiviq.substack.com·20h·
Discuss: Substack
🐫Embedded OCaml
Closer to One: A Potential Future
lesswrong.com·15h
🩹Self-Healing Systems
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·3d·
Discuss: Hacker News
💎Refinement Types
Help building a homeserver
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Anti-Money Laundering Machine Learning Pipelines; A Technical Analysis on Identifying High-risk Bank Clients with Supervised Learning
arxiv.org·2d
🧠Automated Reasoning