Stephan Boyer (@stepchowfun) 's Twitter Profile
Stephan Boyer

@stepchowfun

real numbers are horrifying

ID: 1284367808

calendar_today20-03-2013 21:52:25

154 Tweet

884 Takipçi

582 Takip Edilen

Joshua Silva (@silvascientist) 's Twitter Profile Photo

gotta love category theory, the field where you can ask for a specific example and get back, "as a special case, consider all of linear algebra"

Stephan Boyer (@stepchowfun) 's Twitter Profile Photo

If you want to learn what computer science is all about, I highly recommend this crash course on YouTube by Carrie Anne Philbin MBE: youtube.com/playlist?list=… (If only it existed when I was learning this material!)

Graham Hutton (@haskellhutt) 's Twitter Profile Photo

Some old (ancient) handwritten notes on category theory (tinyurl.com/3f8e6c7w), domain theory (tinyurl.com/v2zevcy) and concurrency (tinyurl.com/kpjh36jk) for your amusement. I'd love to do some handwritten notes again - they are so much fun!

Jay Cummings (@longformmath) 's Twitter Profile Photo

🟩⬜⬜⬜⬜ 🟩🟩⬜⬜⬜ 🟩🟩🟩⬜⬜ 🟩🟩🟩🟩⬜ Not Wordle, just a proof that 1+2+3+…+n = n(n+1)/2.

gabby (@gabriellag439) 's Twitter Profile Photo

In Haskell and Rust, error handling works like this: ○ Failure: _______ ○ Success: ______ In Go, error handling works like this: ☐ Failure: _______ ☐ Success: _______

Amélia Liao 🪄🧊 (@plt_amy) 's Twitter Profile Photo

Taking my position as HoTT sci-comm seriously, I feel like I should do a Twitter thread explaining this announcement: groups.google.com/g/homotopytype… Or, alternatively, why a bunch of really smart people are excited about getting a computer to print out -2. Strap in! 🧵

Carlo Angiuli (@carloangiuli) 's Twitter Profile Photo

We just posted a preliminary schedule for the HoTTEST Summer School on our website -- lectures start July 4. (uwo.ca/math/faculty/k…) If you can't make it, no worries: all course materials will be available asynchronously too.

gabby (@gabriellag439) 's Twitter Profile Photo

Is your child texting about Haskell? gf: greatest fixed-point a/s/l?: any space leaks? imho: indexed monads, higher-order wtf: Comonad/Traversable/Foldable idk: impredicative data kinds k: continuation idgaf: I derive (Generic, Applicative, Functor)

Will Crichton (@tonofcrates) 's Twitter Profile Photo

I love that Types and Programming Languages has a dependency graph of its chapters, followed by a recommended curriculum as a curated topological sort.

I love that Types and Programming Languages has a dependency graph of its chapters, followed by a recommended curriculum as a curated topological sort.
Rust Weekly 🦀 (@rustdiscussions) 's Twitter Profile Photo

typical: Data interchange with algebraic data types github.com/stepchowfun/ty… Discussions: discu.eu/q/https://gith… #api #compsci #javascript #networking #programming #rustlang #webdev by Stephan Boyer