not_knuth

Diff and merge CSV files in your Git client

1 point by not_knuth 8 months ago | 0 comments

Z notation

4 points by not_knuth 1 year ago | 1 comment

Linux Kernel Development, 1991-2015 [video]

2 points by not_knuth 1 year ago | 0 comments

Predictions for 2023 [pdf]

2 points by not_knuth 2 years ago | 1 comment

Psychology of Code Readability

3 points by not_knuth 2 years ago | 0 comments

Ask HN: Why No Standard Tablet Notes File Format?

5 points by not_knuth 2 years ago | 9 comments

SQLite: Timeline

1 point by not_knuth 2 years ago | 0 comments

City Worker Exchange Program

2 points by not_knuth 2 years ago | 0 comments

Things I Hate About (U)Nix (2005)

2 points by not_knuth 2 years ago | 0 comments

Why didn't Deno take off?

3 points by not_knuth 2 years ago | 2 comments

Different approaches to HTTP routing in Go

1 point by not_knuth 2 years ago | 0 comments

A Table Alphabeticall of Hard Usual English Words (1604)

28 points by not_knuth 2 years ago | 1 comment

Petition against the ban on Microsoft Office programs

4 points by not_knuth 4 years ago | 2 comments