Mistral Contrastin

I like maths, modern art, jazz, rollerblading, climbing, functional and logic programming. I implement the @hacklang typechecker for a living at @Meta. he/him

[Mistral Contrastin @madgen_]

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

[Mistral Contrastin @madgen_]

@lorisdanto I think I get it a little better each time.

[Mistral Contrastin @madgen_]

@sidfix ;)

[KC Sivaramakrishnan @kc_srk]

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 ...

[Phil Freeman @paf31]

Tired: monad tutorials
Wired: monad novels

[Mistral Contrastin @madgen_]

No bot Twitter 💩

[Lean @leanprover]

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

[Liam Bright @lastpositivist]

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

[Mistral Contrastin @madgen_]

@kerckhove_ts @taylorfausak used to keep tabs on new Haskell posts with it. That’s the only reason I added it.

[Mistral Contrastin @madgen_]

Types need no defence.

[Mistral Contrastin @madgen_]

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 =)

[David Mimno @dmimno]

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

[Mistral Contrastin @madgen_]

@gorkisbaskan It’s the journey not the destination 😄

[Mistral Contrastin @madgen_]

@AlexKontorovich Was it mechanised?

[Edward Kmett @kmett]

Douglas Hofstadter on the rate of AI progress and his collapsing belief system.

https://t.co/kAvNIVRJu4

[Mistral Contrastin @madgen_]

I can see why

[BuccoCapital Bloke @buccocapital]

Sentiment check:

“Mistral has yet to develop its first product, and its first few employees started work only days ago”

[Mistral Contrastin @madgen_]

@__apf__ Best follow-up tweet ever

[Ruhi Chess @Ruhichess]

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

[Mistral Contrastin @madgen_]

@oykumitumlaut Keske 😢