Automerge 3.0
automerge.org·3h·
Discuss: Hacker News
🔄Reproducible Builds
C++: Maps on Chains
bannalia.blogspot.com·4d·
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·16h·
Discuss: Hacker News
🐫Embedded OCaml
You're Not Refactoring – You're Just Moving Code Around
thecynical.dev·1d·
Discuss: Hacker News
🔬Static Analysis
Folly: IOBuf and Zero-Copy Networking
uvdn7.github.io·1d·
Discuss: Hacker News
📦Unikernel Systems
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·20h·
Discuss: Substack
👁️System Observability
My Pi 4B homelab taught me more about infrastructure than any course ever did
dataengineeringtoolkit.substack.com·18h·
Discuss: r/homelab
🏠HomeLab
Coded my homelab from scratch using Ansible
i.redd.it·2d·
Discuss: r/homelab
🏠HomeLab
Improving Multimodal Learning via Imbalanced Learning
arxiv.org·6h
🔄Finite State Machines
Probabilistic Human Intent Prediction for Mobile Manipulation: An Evaluation with Human-Inspired Constraints
arxiv.org·6h
✓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·22h·
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·6h
🐫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·6h
✓Automated Theorem Proving
RAPNet: A Receptive-Field Adaptive Convolutional Neural Network for Pansharpening
arxiv.org·6h
💻CS
From images to properties: a NeRF-driven framework for granular material parameter inversion
arxiv.org·6h
🧗Climbing Tech