{{ title }}
{{ subtitle }}
{{ body }}Questions or comments? Send an email to ~icyphox/x@lists.sr.ht—my public inbox.
Turing Complete Type Systems
Rust’s type system is Turing complete: FizzBuzz with Rust Traits A Forth implementation with Rust Traits It is impossible to determine if a program written in a generally Turing complete system will ever stop. That is, it is impossible to write a program…
via nerdypepper's μblog on Jun 18, 2020
OpenBSD on the Microsoft Surface Go 2 (notaweblog)
I used OpenBSD on the original Surface Go back in 2018 and many things worked with the big exception of the internal Atheros WiFi. This meant I had to keep it tethered to a USB-C dock for Ethernet or use a small USB-A WiFi dongle plugged into a less-than-…
via joshua stein on May 15, 2020
25/06/2020: This month in KISS (#3)
Welcome to the third monthly update for KISS Linux. The focus this month was on documentation and the reopening of the distribution's Wiki. A big thank you to those filling the Wiki with words.…
via KISS Linux Blog on Jun 25, 2020