C++: Maps on Chains
bannalia.blogspot.com·3d·
Discuss: Hacker News
🏹Effect Systems
📄 Notify your iPhone or Watch when Claude Code finishes
justin.searls.co·2d·
Discuss: r/programming
🍎Apple
Cidco MailStation as a Z80 Development Platform (2019)
jcs.org·10h·
Discuss: Hacker News
🐫Embedded OCaml
You're Not Refactoring – You're Just Moving Code Around
thecynical.dev·1d·
Discuss: Hacker News
🔬Static Analysis
My Pi 4B homelab taught me more about infrastructure than any course ever did
dataengineeringtoolkit.substack.com·12h·
Discuss: r/homelab
🏠HomeLab
Folly: IOBuf and Zero-Copy Networking
uvdn7.github.io·1d·
Discuss: Hacker News
📦Unikernel Systems
For Algorithms, Memory Is a Far More Powerful Resource Than Time
wired.com·1d·
Discuss: Hacker News, Hacker News, Hacker News
💻CS
Python and Make in 2025
onebadbit.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
AceMagic V1 Vista: Power Efficient Intel N150 Proxmox Server for Frigate NVR
michaelstinkerings.org·1d·
Discuss: Hacker News
🔬Unikernels
Spreadsheets Die Hard
betterthanrandom.substack.com·14h·
Discuss: Substack
👁️System Observability
Coded my homelab from scratch using Ansible
i.redd.it·2d·
Discuss: r/homelab
🏠HomeLab
C-ZUPT: Stationarity-Aided Aerial Hovering
arxiv.org·1h
📦Unikernel Systems
Improving Multimodal Learning via Imbalanced Learning
arxiv.org·1h
🔄Finite State Machines
Probabilistic Human Intent Prediction for Mobile Manipulation: An Evaluation with Human-Inspired Constraints
arxiv.org·1h
✓Automated Theorem Proving
New blockchain Petoron Core (ADC). Proprietary architecture and cryptography. No API. No token. Just code and a proprietary P2P network.
github.com·17h·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·5d
🤖Program Synthesis
Towards Spatial Audio Understanding via Question Answering
arxiv.org·1h
🐫Embedded OCaml
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·6d
🔬Static Analysis
Better Together: Quantifying the Benefits of AI-Assisted Recruitment
arxiv.org·1d
💻CS
Cognitive Dissonance Artificial Intelligence (CD-AI): The Mind at War with Itself. Harnessing Discomfort to Sharpen Critical Thinking
arxiv.org·1h
✓Automated Theorem Proving