Ethan_Barry

6 ms·

1.
by Ethan_Barry 5d ago
There was a hash collision bug in the main Lean kernel that was patched, but AFAIK nothing relied on it. You'd have to know what you were doing to accidentally get there...
2.
Exploring SML (Language Review by a Firmware Guy)(howdytx.technology)
4 points by Ethan_Barry 18d ago|0 comments
3.
by Ethan_Barry 9mo ago
Try Garamond!
4.
by Ethan_Barry 9mo ago
To be fair, it's replacing Calibri, so it's still an improvement. We should just use Garamond or Caslon for everything, but that'll never happen. :(
5.
Tech Policy Should Look Like Engineering Requirements(howdytx.technology)
3 points by Ethan_Barry 9mo ago|0 comments
6.
by Ethan_Barry 9mo ago
I'm a sucker for anything with game theory in the title. Can't wait to read more; thanks for sharing!
7.
by Ethan_Barry 2y ago
You got it! By approximate category and in no particular order: ## MISCELLANEOUS - [Low Tech Magazine]( https://solar.lowtechmagazine.com ), a solar-powered website showcasing the amazing low-tech things you can do with a little i
8.
by Ethan_Barry 2y ago
Hilarious that the computer running it is a Windows XP box. What are the odds it's already been hacked? :-)
9.
by Ethan_Barry 2y ago
Definitely my Mastodon server---there's a lot of discussion on the Fediverse, and I've had nothing but enjoyment from it. Also, I have a long list of blogs in my RSS reader that qualify as "small corners." I could share
10.
Teaching Calculus to Computers in Rust(howdytx.technology)
2 points by Ethan_Barry 2y ago|0 comments
11.
Compiling an Antique Language with Rust(howdytx.technology)
2 points by Ethan_Barry 2y ago|0 comments