Preparing for tech job interviews led me to verify leftist heaps using fancy types in Haskell (not kidding). Here’s a blog post explaining that and most type-level computation features of Haskell. dodisturb.me/posts/2019-10-0…

jobs.lever.co/convergentrese… $168,000 - $252,000 a year (US, remote) to work on Lean! > you will play a crucial role in developing and enhancing Lean, collaborating with leading mathematicians and computer scientists worldwide, and contributing to the FRO’s long-term ...

Tired: monad tutorials Wired: monad novels

No bot Twitter 💩

We are super excited to see daily updates from Terence Tao describing his experience learning Lean. Terence Tao is one of the greatest living mathematicians and a Fields medalist. mathstodon.xyz/@tao/11124771…

Love that to pass our national citizenship test you have to agree we like to have a good laugh at ourselves or we'll fucking deport you

Types need no defence.

I got tired of Goto Definition in my IDE taking me to the wrong place, so invented (?) a better one (Goto Assignment) inspired by SSA. dodisturb.me/posts/2023-08-2… It comes with a VSCode extension Haskell LSP server; give it a spin. Let me know whose work I reinvented =)

A lot of responses like “who cares if we don’t have wheat? Bread is so much tastier”

Douglas Hofstadter on the rate of AI progress and his collapsing belief system. youtube.com/watch?v=lfXxzAVt…

I can see why

A temple of chess games Hello everyone, and welcome to the story of Antonio Radic, better known as Agadmator. This is the story of a humble chess player from Croatia who brought chess, real chess, to the general public. Agadmator was the first YouTube channel about chess to reach one million subscribers. He got there by showing good games of chess: no flashy spectacle, no fancy set-ups, just chess. In a recent interview by Lex Fridman, the living legend of chess Magnus Carlsen was asked to recommend some YouTube channels. Try to guess who Magnus pointed at while I give you a couple of seconds… For those of you who just want to enjoy the show, here is what Magnus replied: "The best recommendation I could give is Agadmator." In this channel, you can find an endless supply of chess games covered with grace, simple annotations and interesting stories. There are playlists of whole World Championships, from the first game to the last, both classical and modern. A high-profile tournament going on? Agadmator will cover it. He has more than 700 games by Magnus Carlsen alone… A real temple of chess games. Antonio pioneered professional chess content creation, and he did it all by himself. You are more likely to see Antonio asking for autographs from elite players than mingling with chess celebrities. All he had was a webcam and a loyal dog. With these simple tools and his passion for our noble game, Antonio led the way for chess in the online world. As usual, thanks for reading, I will see you soon, and have an excellent rest of your day. 💫 📸 Antonio getting an autograph on his chess board from Hikaru Nakamura (photo from @agadmator's Twitterr page) #Chess #YouTube #Agadmator

My every attempt to use ChatGPT for OCaml has been a failure. It suggests a wrong library, a wrong ppx, or an outright syntactically incorrect program. Refinements through further prompts is reminiscent of instructing a terribly misguided overconfident pupil.

People living in the Middle East are not some special species that becomes more immune to tragedy the more they experience it They are humans who are suffering at levels that are almost inconceivable To believe otherwise is to justify your cold indifference

Oh yes, the age old pizza vs static typing debate.

Unpopular opinion: this is good code, it has no problems. Well-isolated pure function with clear semantics, clear implementation and good performance. What else do you need?

Why did you get into #Haskell?

That’s pretty funny as I always see encoding graphs as matrices as a cheat code to making computation more efficient.

“It seemed absolutely crazy. The idea that an Iowa housewife, equipped with the cutting-edge medical tool known as Google Images, would make a medical discovery about a pro athlete who sees doctors and athletic trainers as part of her job?” propublica.org/article/muscu…

😍😍😍