Ryan Murray

I am a huge fan. Some things that I am a fan of include: hockey, Vancouver Canucks, Bioware, JRPGs, Sci-Fi, LOTR, Buffy and the list just goes. #ADHD

[Ryan Murray @RyanTheConsumer]

@ShriramKMurthi fix a point, any point

[Ryan Murray @RyanTheConsumer]

@jacksmithdotxyz @DeGatchi You might enjoy Conceptual Mathematics by Lawvere and Schanuel. I enjoyed reading your independent learning blog post, and it got me thinking that you might enjoy combining that book with programming exercises that involve concepts from linear algebra and calculus.

[Computer Science @CompSciFact]

'Every good idea will be discovered twice: once by a logician and once by a computer scientist.' -- Philip Wadler

[Ryan Murray @RyanTheConsumer]

@CodingFiend @jdegoes I read about that too. Dijkstra was one of the members who took exception.

https://t.co/AYLuTT9seI

[Ryan Murray @RyanTheConsumer]

@CodingFiend @jdegoes Wow, that was quite a few years before his Turing award lecture on the topic.

[Computer Science @CompSciFact]

The 50th row of Pascal's triangle, written in binary.

[Ryan Murray @RyanTheConsumer]

@_trish_xD Turing

[Ryan Murray @RyanTheConsumer]

[]

[Dmitrii Kovanikov @ChShersh]

I genuinely don’t understand why people find recursion difficult.

[Ryan Murray @RyanTheConsumer]

Just re-watched some Strange New Worlds, and I am impressed by how great Paul Wesley is at playing James T. Kirk! This show is a treasure!

[Quanta Magazine @QuantaMagazine]

The Curry-Howard correspondence establishes a link between mathematical proofs and computer programs. Here’s how it works: https://t.co/rENfWQOwWr

[Ryan Murray @RyanTheConsumer]

@allthelambdas Bubble sorts are fun!

[Ryan Murray @RyanTheConsumer]

@Srirachachau This clip may be of interest to you: https://t.co/c8nmmgPcnS

[Ryan Murray @RyanTheConsumer]

@JustDeezGuy Oooh, I will need to check that out when I can. I find those super helpful. I wrote out the glossary from Tony Hoare's Communicating Sequential Processes when I started reading math/compsci again and its been indispensable.

[Ryan Murray @RyanTheConsumer]

@JustDeezGuy Funny story, I don't know SQL very well, but 20 years ago when I was in hs, I went all in on trying to implement Codd's rm v2 spec. Made an repl for ra and rc queries because my school didn't have a dbms for us to run sql queries on. Learning sql now, "distinct" makes me cringe.

[Ryan Murray @RyanTheConsumer]

@lefticus Curry-Howard

[Ryan Murray @RyanTheConsumer]

Sometimes I mistakenly say "churching" when what I mean to say is "currying"

[Ryan Murray @RyanTheConsumer]

@zack_overflow Good stuff! I like the symmetry of learning to approach dense domain expertise in multiple passes by practicing on the dragon book. I am on my first pass right now, and its very fun to just be an explorer on the first go!

[Ryan Murray @RyanTheConsumer]

@0xIlyy samepicture.gif

[Ryan Murray @RyanTheConsumer]

@JustDeezGuy Oh, that is an interesting lens to consider homeostasis and hypostasis under too. Well, now I need to take a walk to do just that!