15

Portsh: A batch/shell polyglot that implements a Lisp (github.com/smasher164)

16 hours ago smasher164 github.com

1

Moby: Block io_uring_* syscalls in default profile (github.com/moby)

2 years ago smasher164 github.com

6

vmcache: Virtual-Memory Assisted Buffer Management [pdf] (tum.de)

2 years ago smasher164 tum.de

2

WASM typed function references and GC are in standardization (github.com/webassembly)

2 years ago smasher164 github.com

23

The AST Typing Problem (ezyang.com)

2 years ago smasher164 ezyang.com

2

Libui-ng: a portable GUI library for C (fork of libui) (github.com/libui-ng)

3 years ago smasher164 github.com

2

CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf] (cam.ac.uk)

3 years ago smasher164 cam.ac.uk

1

How to peacefully grow your service

3 years ago smasher164 medium.com