Kaushik Chakraborty @kaychaks@types.pl

@b0rk ciechsnowskis' mechanical watch and internal combustion engine are also amazing... https://ciechanow.ski/mechanical-watch/

Want to understand the landscape of gradual typing? Greenman, Dimoulas, and Felleisen have written a 50-page TOPLAS opus on typed-untyped interactions. See blog post, then follow link to paper to read directly from the masters.
https://blog.brownplt.org/2023/02/06/typed-untyped-comparison.html

Did You Know that the Feynman Lectures are Completely Free Online?

https://piggsboson.medium.com/did-you-know-that-the-feynman-lectures-are-completely-free-online-174c5d939dbd

Finally had a chance to read through it.

This is the best documentation to get started with Nix flakes 👍
---
RT @DeterminateSys
We’re thrilled to announce Zero to Nix, a new learning resource for Nix 👍! It's built to be beginner friendly 🧑‍🔬 and to generate those shining "a-ha!" moments that make technology stick ✅.

https://zero-to-nix.com/

Read more in our announcement post:

https://determinate.systems/posts/zero-to-nix
https://twitter.com/DeterminateSys/status/1617553137543581697

They discard attachments

Say Hello to Ivory. We are now available to all on Apple’s App Store! We have launched as “Early Access” because we still have a lot of exciting plans ahead of that will make Ivory even better. Go download it, try it free for 7 days, and experience it for yourself!

https://apps.apple.com/us/app/ivory-for-mastodon-by-tapbots/id6444602274

Considering whether I should publish this to crates.io or whether I should let Rust as we know it survive.

26 programming languages in 25 days: I solved #AdventOfCode using a new language (or two) each day: awk, TeX, C, Java, MATLAB, C#, Ruby, Julia, bash, vimscript, C++, R, JavaScript, Erlang, Go, Python, Standard ML, PHP, Common Lisp, TypeScript, sed & bc, Lua, Haskell, Scala, Racket.

I've blogged thoughts on the strategy, tactics and logistics of using a language per day if you're interested in trying a “breadth-first search" of PL space: https://matt.might.net/articles/26-languages-part1/

I’m interested to learn more about #activitypub and maybe work on a #unisonlang library for it. I have this idea of like “Yahoo pipes for ActivityPub”, where you could write these little widgets “Subscribe to feeds from these 9 sources, then strip out posts with these keywords, republish as a new feed”. And then that feed could be used as a basis for further composition. Is this possible?

Unpopular opinion: I don't think the "federated" nature of Mastodon will be successful in the long term.

Why? The federated nature of the microblogging system is wonderful in theory. It liberates data siloing and protects against a single person wrecking havoc (I would not have bet on this being a major threat until now). However, the federated nature of the system makes the system necessarily more complex and pushes the system administration responsibilities to the server owners.

Really enjoyed this piece on building a Byzantine fault tolerant CRDT library in Rust

https://jzhao.xyz/posts/bft-json-crdt/

It's also a really great intro to CRDT theory in general

"I write this blog post mostly as a note to my past self, distilling a lot of what I’ve learned since into a blog post I wish I had read before going in." - the best kind of blog post!