Stories by sargstuff

Safe Spagetti Code

Miss Flyer (2018)

Ask HN: Sheaves as a CS focused branch of mathematics?

Linux Kernel Module Cheat

"Low Level Programming University" a.k.a. Peaking Beneath the OS

The KnotPlot Site

Knotinfo: Table of Knots

Knot Atlas

Ask HN: Discussions/examples of logical &&/|| vs. if..then/case?

Type Theory

Curated list of inventions, technology and ideas of science fiction writers

Parsing in Python: Tools and Libraries

Software Language Processing Suite

Notation-parametric grammar recovery (2012) [pdf]

Vim-ccls: Vim plugin for the ccls language server

Codequery – index/query/search source code

Codegraph – static code analyzator / code diagramer

Ask HN: Deterministic process calculi appropriate filler for L'Hopital sandwich?

Overview of Rubik’s Cube and Reflections on Its Application in Mechanism

The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance [pdf]

5
6
7
8
9
10
11
12