Rob Rix‎

colouring outside the lines

increasingly, see at robrix at types dot pl instead

[Rob Rix‎ @rob_rix]

(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
…

[Matti Palli @tritlo]

Copy and paste but change what the bunny is holding
(\_/)
( •_•)
/ > λ

[Rob Rix‎ @rob_rix]

@SllyLhmn @juliamae I … am speechless. And honoured. Thank you.

[Rob Rix‎ @rob_rix]

@juliamae @SllyLhmn Makes my five-hour-canoe-trip-at-moderate-altitude cure seem incredibly unambitious by contrast.

[Rob Rix‎ @rob_rix]

@bromethazine ❤️ I'm so sorry, my friend

[Rob Rix‎ @rob_rix]

@tritlo This world was not made for someone like me

[Rebecca Valentine @defnotbeka]

did you know that there's a long square root algorithm like there is a long division algorithm?

https://t.co/kSusCQ8mFE

[Rob Rix‎ @rob_rix]

@evadne 🤣

[ayman nadeem @aymannadeem]

we made a document editor for building software with agents

write a spec. get comments from an agent that has read your codebase. work through the decisions, then have it build.

Introducing Nuanced Canvas.

[Rob Rix‎ @rob_rix]

@aymannadeem People acclimated to my mismatched socks too readily. Even toe socks & non-.

[Rob Rix‎ @rob_rix]

@aymannadeem I stir my coffee with a fork

[Rob Rix‎ @rob_rix]

@erisaonX Congratulations!

[Rob Rix‎ @rob_rix]

@defnotbeka Regrettably if you do sci-fi long enough cowboys just turn up. There seems to be nothing we can do about this.

[Rob Rix‎ @rob_rix]

@TaliaRinger Underrated tweet

[Rob Rix‎ @rob_rix]

@evadne Did you just make a Monty Hall joke? I love this.

[Eric Torreborre @etorreborre]

"Flow Typing: A New Lens on Linearity" is a nice improvement for linear types and an alternative to borrowing: https://t.co/lbDc96KC90.

It uses lenses on the typing context to be able to tell that a linear value is not consumed / dropped by a function that just reads it.

[Rob Rix‎ @rob_rix]

@defnotbeka I mean

[Rebecca Valentine @defnotbeka]

yeah, damar, what kind of people give those orders

[Edward Kmett @kmett]

I've resurrected the https://t.co/4ZcX4fR3Fl, interleaved a ton of contemporaneous content I had stored elsewhere, and made a couple of the articles interactive by moving their demo code into web assembly using modern GHC.

Please let me know if you run into any issues. #Haskell

[Rob Rix‎ @rob_rix]

@defnotbeka Bender: “I’m pumping as hard as I can!”
Also Bender, but with a merciless slant of his lack-of-eyebrows: “Harder damn you!!”

[Rob Rix‎ @rob_rix]

@mpeytonjones @iamtexture I feel worse about everything with every passing moment.