I like maths, modern art, jazz, rollerblading, climbing, functional and logic programming. I implement the @hacklang typechecker for a living at @Meta. he/him
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.
https://t.co/pW6mmFASJR
https://t.co/2zHJF2oJwd
$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 ...
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. https://t.co/aie85dzRyK
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. https://t.co/hxCwxmzQLv
It comes with a VSCode extension + Haskell LSP server; give it a spin.
Let me know whose work I reinvented =)
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