Racintosh Plus – Rack Mounted Mac Plus
identity4.com·18h·
Discuss: Hacker News
💾Retro Computing
IO is special
blog.ploeh.dk·1d·
Discuss: Lobsters
💎Refinement Types
Too Many options - help needed
reddit.com·10h·
Discuss: r/homelab
🏠HomeLab
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·8h·
Discuss: Hacker News
🔧Unikernel Development
Beyond package management: How Nix refactored my digital life
jimmyff.co.uk·1d·
Discuss: Hacker News, r/programming
❄️Nixified Development
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·1d
💎Refinement Types
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·1d·
Discuss: r/LocalLLaMA
🐫OCaml
Show HN: Local, extensible and fast macOS transcription app
github.com·1d·
Discuss: Hacker News
🍎Apple
Experimenting with local LLMs on macOS
blog.6nok.org·1d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
Further Adventures in Colorimeter Hacking
hackaday.com·5h
❄️Nixified Development
Compiling a Functional Language to LLVM
danieljharvey.github.io·9h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Tested on real silicon: Automating RISC-V Hardware-in-the-Loop
collabora.com·21h·
Discuss: Hacker News
🔧Unikernel Development
All You Need Is SSH
wrongthink.link·2h·
Discuss: Lobsters
🖥Self-Hosting
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·5h·
Discuss: Hacker News
🐫Embedded OCaml
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·4h·
Discuss: r/rust
❄️Nixified Development
Securing MCP Servers
corgea.com·1d·
Discuss: Hacker News
🛡️seL4
An Introduction to XForms
xml.com·2h·
Discuss: Hacker News
⚙️PL Implementation
Adventures in C++ Game Architecture
hoboker.substack.com·19h·
Discuss: r/programming
🔬Static Analysis
Rich Answered That
gist.github.com·35m·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Rust's Enterprise Breakthrough Year
rust-trends.com·8h·
Discuss: Hacker News
🔄Reproducible Builds