A purely functional programming language with first class types - idris-lang/Idris2

Normalising Dystopia Rule 1: Be Boring.

Huge thanks to ProtonVPN for sponsoring this doco (and for privacy): http://protonvpn.com/struthless
^^click that link for up to 70% off

Cory's speech from 10 years ago:
https://archive.org/details/DWebSummit201…

tl;dr Try it at https://trynix.dev. Click hello, or python 3.6.2 from 2017, or two eras of hello at once, or a package that exists in no public cache. A Linux machine boots in the tab and you get a shell with those Nix packages on PATH.

When I relocate I like to be as comfortable as possible without having to buy new gear. In this article I describe my setup in details and some of the reasoning that made me come up with it.

Share, view, and version electronics projects from KiCad and Altium, with more EDA tools on the way. Open the schematic, PCB, and BOM in the browser, no install.

better than doing cd-ls. Contribute to if-not-nil/horse development by creating an account on GitHub.

I recently set up a new server using Flatcar Container Linux. I decided that any container that I put on this system should be "hardened" from the start....

Learn how to get a free .arpa domain by abusing IPv6 reverse DNS delegations on Hurricane Electric, configuring deSEC, and hosting a live website.