Newest Stories by Sietsebb | Lobsters

36

Why is it so hard to see code from 5 minutes ago? design web.eecs.utk.edu
via Sietsebb 10 days ago | cached | 16 comments

16
53

User power, not power users: htop and its design philosophy design practices hisham.hm
via Sietsebb 1 month ago | cached | 3 comments

3
4

Finding Bugs in C and C++ Compilers using YARPGen compilers testing blog.sigplan.org
via Sietsebb 1 month ago | cached | no comments

0
4

The Practical Application of Prolog (1993) ai drdobbs.com
via Sietsebb 3 months ago | cached | 1 comment

1
20

Pikelet is a small, functional, dependently typed programming language plt github.com
via Sietsebb 3 months ago | cached | 7 comments

7
12

ZetZ is a Formally Verified Dialect of C c formalmethods rust infoq.com
via Sietsebb 3 months ago | cached | 1 comment

1
24

hg prompt ☶ design vcs
authored by Sietsebb 4 months ago | 7 comments

7
5

The 1995 SQL Reunion: People, Projects, and Politics databases historical mcjones.org
via Sietsebb 5 months ago | cached | 3 comments

3
31

Writing system software: code comments practices programming antirez.com
via Sietsebb 5 months ago | cached | 3 comments

3
9

Optionality in the type systems of Julia and Rust plt andreaskroepelin.de
via Sietsebb 5 months ago | cached | 11 comments

11
3

Legislation is not a form of code — but a form of computer system specification (2017) ☶ practices medium.com
via Sietsebb 6 months ago | cached | 1 comment

1
4

Code Only Says What it Does practices programming brooker.co.za
via Sietsebb 6 months ago | cached | 3 comments

3
9

Name one OO class/interface you like, and one you dislike? ☶ ask plt
authored by Sietsebb 7 months ago | 7 comments

7
2

Improving Declarative APIs for Graphics with Types plt irreactive.com
via Sietsebb 7 months ago | cached | no comments

0
2

Tolerable and intolerable complexity (actual title: Hot Stuff) culture programming abstractmachines.dev
via Sietsebb 7 months ago | cached | no comments

0
22

The Pyret Code; or A Rationale for the Pyret Programming Language ☶ education plt pyret.org
via Sietsebb 8 months ago | cached | 18 comments

18
11

What’s in a name? (2014) programming blog.janestreet.com
via Sietsebb 8 months ago | cached | no comments

0
8

Recreating Pong for the Web with Elm elm dev.to
via Sietsebb 9 months ago | cached | 1 comment

1
2

Between Scripts and Applications: Computational Media for the Frontier of Nanoscience ☶ design dl.acm.org
via Sietsebb 9 months ago | cached | 1 comment

1
17

Software Development as Advanced Damage Control design acko.net
via Sietsebb 9 months ago | cached | 10 comments

10
10

The Linux kernel (2003) linux win.tue.nl
via Sietsebb 9 months ago | cached | 3 comments

3
20

Microui v2: An Implementation Overview ☶ programming rxi.github.io
via Sietsebb 9 months ago | cached | 5 comments

5
5

LPS: Logic Production Systems ☶ plt lps.doc.ic.ac.uk
via Sietsebb 10 months ago | cached | 1 comment

1
7

Writing I/O-Free (Sans-I/O) Protocol Implementations programming sans-io.readthedocs.io
via Sietsebb 10 months ago | cached | 9 comments

9
6

Spatial Software design darkblueheaven.com
via Sietsebb 10 months ago | cached | 2 comments

2