Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·1d·
Discuss: Hacker News
📐Denotational Semantics
IO is special
blog.ploeh.dk·1d·
Discuss: Lobsters
💎Refinement Types
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.com·7h·
Discuss: Hacker News
🌐NetworkProtocols
Targeting 25 years of Windows with Visual Studio 2019 (2021)
colinfinck.de·2d·
Discuss: Hacker News
🔧Unikernel Development
Demystifying Tensor Parallelism
robotchinwag.com·1d·
Discuss: Hacker News
🧩Separation Logic
OCR and RAG for Tables
mrm1001.github.io·11h·
Discuss: Hacker News
🐫Embedded OCaml
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·1d·
Discuss: r/javascript, r/programming
💎Refinement Types
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·9h·
Discuss: Hacker News
🔧Unikernel Development
Adventures in C++ Game Architecture
hoboker.substack.com·1d·
Discuss: Substack, r/programming
🔬Static Analysis
Outcome-based Exploration for LLM Reasoning
arxiv.org·20h·
Discuss: Hacker News
📚Automata Learning
How to Build Python Code with Bazel (and Why)
ohadravid.github.io·18h·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Deploying AI to the Balkans
hapseer.com·10h·
Discuss: Hacker News
🩹Self-Healing Systems
Я Articles
muratkasimov.art·3d·
Discuss: Hacker News
➡️Category Theory
Go Is the Language of Vibe Coding
sinwoobang.notion.site·1d·
Discuss: Hacker News
💎Refinement Types
Writing a C compiler in 500 lines of Python
vgel.me·6d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Using RPI 5 Compute Module for FPGA Test
hackster.io·1d·
Discuss: Hacker News
🐫Embedded OCaml
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·1d·
Discuss: Hacker News
👁️System Observability
GSoC 2025 - Byte Type: Supporting Raw Data Copies in the LLVM IR
blog.llvm.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
🐫Embedded OCaml
Master Foo and LLM Mountain
tusshah.github.io·23h·
Discuss: Hacker News
⚙️PL Implementation