revo, the programming language docs | github
revo is a dynamic language made for the joy of programming
get, try in your browser, join the discord or read the introduction with words
⣄⠔⠄⡨⣀⣹⣥⣣⡚⣿⣓⣾⣫⣷⠮⡧⣬⣬⣑⢤⠤⡉⣿⡥⣂⢟⣕⡴⠬⠆⠸⡈⡆⠀⠀⠀⡋⠄⠂⠨⡆⠀⠠⠃⡀⠀⠀⠈⢰⣿ ⠩⣽⢟⢭⠶⢷⢵⣻⠿⢍⣟⡅⡧⡭⣽⡯⡯⣶⠭⣽…

Compression is one of those wonderful things we have grown accustomed to in the computer world. You wave a magic wand and —poof!— a file suddenly shrinks to a fraction of its size! You wave the wand again and —pop!— the original file is restored down to the…

try this one out if you ever get the chance and let me know how it goes

join the discord ? 👀🤫 / i stream everyday on twitch at 7:27pm est

https://discord.com/invite/W8MwarCb3U

https://www.twitch.tv/alexxaaanderr

#storytime #relatable #israel #targetaudience…

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.