24
4
Propolice stack overflow protection in OpenBSD (online.fr)
4
A Lisp Interpreter Implemented in Conway's Game of Life (woodrush.github.io)
2
How to build a personal webpage from scratch (rutar.org)
1
A workflow for maintaining feature branches and submitting patches to PostgreSQL (2ndquadrant.com)
2
How to solve the hardest logic puzzle (nautil.us)
2
Stephen Hawking's floppy disks: an interview with Leontien Talboom (aip.org)
1
Coding for non-programmers: we need better web GUI automation tools (matduggan.com)
3
Black-box concurrent data structures for NUMA architectures [pdf] (brown.edu)
2
A bestiary of mathematical functions for systems designers (brunodias.dev)
1
Peer-reviewed preprints and the Publish-Review-Curate model (coalition-s.org)
4
The Birth of the Internet Troll (2014) (gizmodo.com)
3
Readable code is unreadable: Arthur Whitney's J incunabulum (wilsonb.com)
1
Publish, Review, Curate to upend scholarly publishing (recoil.org)
1
SGML Syntax Reference (sgml.net)
1
Desperately Seeking Squircles (2018) (figma.com)
1
The IMP programming language and compiler [pdf] (ancientgeek.org.uk)
1
The main features of Atlas Autocode [pdf] (ancientgeek.org.uk)
22
Einstein: NewtonOS running on other operating systems (github.com/pguyot)
2
The significance of Brooker's autocodes in taking the early Manchester machines (manchester.ac.uk)
27
Should CSS be a constraint system instead? (pavpanchekha.com)
29
Locks in PostgreSQL: 3. Other locks (2020) (habr.com)
5
Previous: A NeXT Emulator (alternative-system.com)
1
Researchers find critical backdoor in Swiss online voting system (vice.com)
3
Kill It With Fire: dealing with legacy systems. (book review) (usenix.org)
2
Meta II: a syntax-oriented compiler writing language. (1964) (acm.org)
2
Typewriter Pen Plotters (biosrhythm.com)
1
Evaluating TCP BBRv2 on the Dropbox edge network (arxiv.org)
1
Super-flat ASTs: data-oriented design for parsers (jhwlr.io)
2
Ensmallening Go binaries by prohibiting comparisons (cheney.net)
1
Why Ed(1)? (thechases.com)
1
Foreign-dlopen: load dynamic libraries into a statically-linked executable (github.com/pfalcon)
1
Getting Started with Rust on a Raspberry Pi Pico (reltech.substack.com)
1
Make invalid laziness unrepresentable in Haskell (jaguarpaw.co.uk)
1
It's not always icache: performance of inline functions (matklad.github.io)
2
Constructing a JPEG XL MD5 hash quine (stackchk.fail)
1
The Triumph of Logical English (worksinprogress.co)
1
Mutation testing for librsvg with cargo-mutants (viruta.org)
1
A distributed systems reliability glossary (antithesis.com)
5
Ipproto_ICMP sockets for unprivileged ping on Linux (lwn.net)
1
The race to create a perfect lie detector, and the dangers of succeeding (theguardian.com)
1
Compressing callstacks: a bitpacked DAG powered by a keyless hashmap (superluminal.eu)
2
Who Invented Vector Clocks? (decomposition.al)
1
Locales, encodings, Unicode, and C++ [pdf] (open-std.org)
1
One jobserver to rule them all: controlling parallelism across many concurrent b (gentoo.org)
2
Saving Skylab (si.edu)
1
Keeping Secrets: Diffie-Hellman and the NSA (stanfordmag.org)
1
The disappearance and return to print of John M. Ford (slate.com)
2
Free yourself from the Spotify desktop client with spotifyd (jonathanchang.org)
2
Setting a wallpaper in less than 250 Kb: A practical guide to reducing Rust's ru (lgfae.com)
3
Schubfach: The smallest floating point double-to-string impleme (vitaut.net)
1
First debris pieces from the Indian ASAT test of 27 March catalogued (sattrackcam.blogspot.com)
3
Lazy linearity for a core functional language (alt-romes.github.io)
4
A brief history of NSA backdoors. (2013) (ethanheilman.com)
1
Putting rigid bodies to rest: analysis and design of resting configurati (hbaktash.github.io)
3
Optimizations in C++ compilers: a practical journey (acm.org)
1
I hate Xlib and so should you (remlab.net)
3
Debian Running on Rust Coreutils (ledru.info)
2
Computer animation in 1961: the Stanford card stunt program. (YouTube) [video] (youtube.com)
2
Dumbindent: Because 93% of the time was spent in Clang-format (nigeltao.github.io)
2
Mapping a universe of open source software: the Nixpkgs dependency graph (tweag.io)
1
Swift regrets: a programming language design retrospective (belkadan.com)
6
Solving the Partridge square packing problem using MiniZinc (zayenz.se)
1
Ferrari's Formula One pit-stops and handovers from surgery to intensive care [pdf] (gwern.net)
3
XFT (cross fault tolerance) and XPaxos: practical fault tolerance beyond crashes [pdf] (usenix.org)
1
Naming the Net: The Domain Name System, 1983-1990 (gade.us)
1
Counter Galois Onion: Improved encryption for Tor circuit traffic (torproject.org)
1
The Penicillin Myth (asimov.press)
2
The Essence of LR Parsing (1995) (acm.org)
1
Implementing dependent types: how hard could it be? (Part 2) (jerrington.me)
1
Nonpareil: High-fidelity HP calculator simulator (brouhaha.com)
1
Implementing dependent types: how hard could it be? (Part 1) (jerrington.me)
2
UC Davis medical school became remarkably diverse (statnews.com)
1
Source code linking in C2Rust: merging C headers into Rust modules (immunant.com)
1
Container Security: A Developer Guide (okta.com)
1
Libfive: Solid Modelling with Functional Representations (libfive.com)
1
What now? Handling errors in large systems (brooker.co.za)
3
USB in a nutshell: making sense of the USB standard (beyondlogic.org)
5
Sum Types in Julia and Rust (andreaskroepelin.de)
2
Updating the Golang Memory Model (swtch.com)
1
Zig in 30 Minutes (gist.github.com)
1
Think you can't interpose static binaries with LD_PRELOAD? What about QEMU? (balintreczey.hu)
3
RISC OS and NetBSD running on the same SoC (uu.se)
1
Wavl Trees [pdf] (uci.edu)
1
GoAccess: Visual web log analyzer, in C, in the terminal (goaccess.io)
2
Do low-level optimizations matter? (cantrip.org)
9
EMI spikes from gas lift chairs can cause display interference (displaylink.com)
1
HashiCorp Vault is overhyped, and Mozilla SOPS with KMS and Git is underrated (oteemo.com)
9
The sixtyforgan: a Commodore 64 with a spring reverb; chiptunes like a church or (linusakesson.net)
2
Trustydns: DNS Over HTTPS proxy, server and query programs (github.com/markdingo)
1
Designing twisty puzzles: a group theoretical approach (youtube.com)
4
NVMM: NetBSD Virtual Machine Manager (netbsd.org)
2
Kill It With Fire: dealing with legacy systems. (book review) (usenix.org)
1
Execute-only pages vs. PAN (privileged access never) on ARM64 (siguza.net)
3
DRAM errors and cosmic rays: space invaders or science fiction? (arxiv.org)
1
Rank-balanced wavl trees [pdf] (sidsen.azurewebsites.net)
2
Towards interplanetary QUIC traffic with Rust Quinn (ochagavia.nl)
3
ROCkN: Providing GPS-quality timing accuracy with portable optical atomic clocks (darpa.mil)
3
Gitlab.com Upgraded PostgreSQL (about.gitlab.com)
1