
Spectre is a contract-based programming language designed for safe low-level systems programming. It enforces correctness through type-level invariants, function-level preconditions and postconditions, and immutability by default. The documentation serves as a user guide for this language, which aims to fill the gap in contract-based low-level programming la




The author builds a toy shell in C to understand how shells work under the hood, specifically learning about fork, execvp, and dup2 system calls. The article documents the process of creating a basic shell with REPL functionality, command parsing, and process management, serving as an educational exploration of shell internals rather than a production-ready tool.
This technical article explores Linux memory management concepts including page faults, mmap system calls, and userfaultfd. The author explains how Linux uses demand paging to lazily allocate physical memory, how mmap creates virtual-to-physical mappings, and how userfaultfd allo



This article presents a catalog of atomic operations available in UNIX-like/POSIX-compliant operating systems that can be used as building blocks for creating thread-safe and multi-process-safe programs without requiring mutexes or read/write locks. The author advocates for leveraging kernel-level atomic operations rather than implementing custom locking mec


