PLT Redex is amazing! I can prototype languages without having to rigorously prove everything like in Agda! Why didn't I discover this tool before? #Racket
@EmpressZo Not sure why I didn’t follow you here until now, I just forgot you have a fedi account
Well, that and I haven’t been on here much for a little while
The upside of this is that it’s been snowing more or less nonstop for several days and keeping a relatively consistent 4-6 inches on the ground, which is enough to be pretty but not too disruptive
Holy shit, physicists at SLAC made a particle accelerator that fits on a computer chip https://phys.org/news/2020-01-particle-chip.html
I got off my bus and walked 15 minutes across campus (with a low blood sugar!) because I thought I left my headphones in a classroom. Get there, don’t see them, finally decide to check my computer bag again. Sure enough, there they are. I lost my (over ear) headphones in my computer bag. It has one pocket and room for like 5 notebooks. They’re the biggest thing in there. HOW
I'm playing a game of Lexicon rn and I volunteered to write a MediaWiki extension for the GM. I decided to test in a VM instead of setting up a local install. Installing VirtualBox and Vagrant and firing up the sandboxed server has been a remarkably painless process. I'm always surprised when things like this Just Work
Oh this opening credit sequence is an instant classic
I wanted to write a prime generator, but all the popular languages already have optimised ones I can't compete with.
commented version: https://gist.github.com/olligobber/0445a1721eb22b1d5b65bb4d4becdbf6
math/physics undergrad // he/him // algebraic topology, HoTT, condensed matter, Rust, Haskell
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!