Looking at neovimcraft.com and just blown away by all the amazing plugins you can use in neovim nowadays!

Great. Now I get spam emails about GitHub from China, wanting to use my account for "10 minutes". 🤦‍♂️ Anyone else getting this kind of spam?

Did some spring cleaning and upgraded neovim + my entire config. Super smooth process (mostly thanks to kickstart.nvim!)

Days since Typescript's typesystem didn't protect me from a nasty hard to find type error: 0 🥲 If only there was a language which had sound types..

bro on his way to design data-intensive applications

Stumbled across github.com/borgo-lang/bor… today (thanks lobste.rs). If only it was being actively worked on, this would make me try out the go ecosystem!

This looks interesting. 👀 A common lisp with static types, looks very Haskell-like! github.com/coalton-lang/c…

We are open sourcing our first (circa-2021) copy of Slog, a parallel logic programming engine with first-class facts/data. We are still working on (a new version of) slog; this implementation was used on the theta supercomputer. github.com/harp-lab/slog-… arxiv.org/abs/2211.11573

Big thanks to 🌑 Qamarade Hécate 🪬 for helping me compile souffle-haskell on ghc9.6! Long overdue, but there were some c++ issues also 😅

As if we needed another reason to stay away from vsc*de..

Haskell excels at reducing things down to the essentials.

The life of a compiler engineer.

I strongly believe in this too. Maybe not the exact timelines. If people can't quickly pick up new languages, I start to wonder if they've grasped programming at a conceptual level.

2024 year of the Linux laptop

And here I was thinking that software engineer job interviews were bad..

The guy she told you not to worry about:

2024, the year of the Linux desktop?

More languages should have this!