Tappybara: Niemand hat die Absicht, Bargeld zu digitalisieren! (dhcp25)
cdn.media.ccc.de·6h
🌐ActivityPub
Flag this post
Ubuntu Will Use Rust For Dozens of Core Linux Utilities
news.slashdot.org·2d
📦Unikernel Systems
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Becoming the Internet: Weighing the Options
blog.bsprague.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
Writing your own Go linter (dhcp25)
cdn.media.ccc.de·6h
⚙️PL Implementation
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·1d·
Discuss: Hacker News, Hacker News
🏃Escape Analysis
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·17h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·3d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
MS-DOS Development with GCC
hackaday.com·1d·
Discuss: Hacker News
💾Retro Computing
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
dev.to·10h·
Discuss: DEV
🔧DevOps
Flag this post
Unvanquished now cross-compiles Linux macOS and Windows from Debian Docker image
unvanquished.net·4d·
Discuss: Hacker News
📦Unikernel Systems
Flag this post
PXE boot on Pi-hole (DNS/DHCP server) can't fully boot
reddit.com·1d·
Discuss: r/homelab
💻QEMU
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·3h·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
I built a JBOD from a dead r710
reddit.com·2d·
Discuss: r/homelab
🔧Unikernel Development
Flag this post
Pressure to change
maryrosecook.com·2d·
Discuss: Hacker News
🧪Concolic Testing
Flag this post
Octocode MCP – AI Researcher for Smart, Deep Multi-Repo Code Context
github.com·9h·
Discuss: Hacker News
💬Mach Messages
Flag this post
Day 19 of Documenting my learning Journey
dev.to·1d·
Discuss: DEV
❄️Nixified Development
Flag this post
Production-Ready Rate Limiter in Go: From Side Project to Distributed System
dev.to·7h·
Discuss: DEV
🏃Escape Analysis
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·9h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post