Everything Picolisp can do, and more(picolisp.com)

86 points by damir 1 year ago | 8 comments

FreeBSD-rustdate, a reimplementation of FreeBSD-update(rustdate.over-yonder.net)

92 points by ggm 2 years ago | 29 comments

Python’s Preprocessor(pydong.org)

375 points by rbanffy 2 years ago | 81 comments

Blog post explaining how Python source code encoding declarations (PEP 263) can be abused to implement a preprocessor that transforms code before execution.

Engineering for Slow Internet(brr.fyi)

927 points by jader201 2 years ago | 363 comments

A blog post from brr.fyi, written from Antarctica, on how software and websites behave on slow, high-latency internet and how engineers should design for it.

Ironclad – formally verified, real-time capable, Unix-like OS kernel(ironclad-os.org)

358 points by vitalnodo 11 months ago | 121 comments

Homepage of Ironclad, a formally verified, real-time capable, Unix-like OS kernel written in SPARK and Ada with POSIX compatibility and MAC.

Understanding Deflate(jjrscott.com)

58 points by ingve 1 year ago | 6 comments