Tom Lynch @machineslearn

Kansas City, MO Joined May 2013

Tweets

394
Followers

84
Following

3K
Likes

335

Didier 'Dirac's ghost' Gaulin @DiracGhost

10 months ago

I'm helping my computer scientists today, with this publicly available primer on intuitionistic type theory, by its creator, Per Martin-Löf, who is half man, half amazing It would be hard to find clearer explanations of the type theory than this. Pdf link in the comments

4 40 265 15K 168

Download Image

Ernest Ng @ngernest2

2 years ago

Just found this nifty "Hitchhiker's Guide to Morphisms" cheatsheet -- lots of useful intuition for the zoo of recursion schemes (& very handy for keeping track of their names!) Great complement to the "Fantastic Morphisms & How to Find Them" paper b-studios.de/assets/guide-t…

1 23 111 9K 54

Download Image

Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg

2 years ago

Here's another cute data structure trivia. When we talk about memory layouts of static search trees, the most common ones we talk about are depth first, breadth first and Inorder layouts. However in all of the cache oblivious data structures based on search trees, we see the…

0 4 29 3K 22

Tom Lynch @machineslearn

2 years ago

See any problems with this "proof?"

0 0 5 89 0

Download Image

PyCoder’s Weekly @pycoders

3 years ago

5 Common Asyncio Errors in Python (And How to Avoid Them) bit.ly/3ljpWKn

0 9 30 12K 12

🇺🇦 Dzmitry Bahdanau @DBahdanau

3 years ago

While the whole twitter is going nuts about ChatGPT, let me just say that the HELM paper by @StanfordCRFM and @StanfordHAI is an incredible scholarship masterpiece. Make sure all your students read it and see what good research actually looks like. arxiv.org/abs/2211.09110

5 57 333 0 141

Rainer Stropek @rstropek

3 years ago

Had three (remote) talks at two different conferences today. Exhausting 😅, but enjoyed it very much. One topic was #wasm with #rustlang. Created a new sample, showed wasmtime, wasmedge, @fermyontech Spin, Wasm in #Azure AKS, etc. Here is the recording: youtu.be/eY2jceyuLKY

1 10 22 0 3

Tom Lynch @machineslearn

3 years ago

#FoundThatLizard

Dr. Earyn McGee, Lizard lassoer 🦎 @Afro_Herper

3 years ago

#FoundThatLizard

170 90 715 0 27

Download Image

0 0 2 0 0

Tom Lynch @machineslearn

3 years ago

#FoundThatLizard

Dr. Earyn McGee, Lizard lassoer 🦎 @Afro_Herper

3 years ago

#FoundThatLizard

226 186 1K 0 48

Download Image

0 0 0 0 0

PyCoder’s Weekly @pycoders

3 years ago

Introduction to Linear Programming in Python bit.ly/3MmFIwQ

6 175 722 0 259

Tanya Janca | Shehackspurple @shehackspurple

3 years ago

BIG data.

6 20 181 0 0

Download Image

Ez Maghout @_nullableobj

3 years ago

Part of any new developers onboarding process is making sure they watch @shanselman series on Git. The rebase one for me is 👌 youtube.com/watch?v=hae9zg…

0 13 56 0 27

Leslie Richardson @lyrichardson01

4 years ago

Ugh, the dreaded memory leaks. Check out this blog post by @chgunderman to learn how to avoid them when writing editor-based extensions in #VisualStudio! devblogs.microsoft.com/visualstudio/a…

0 10 32 0 10

Rory McCune @raesene

4 years ago

In case it's handy, I made a page with Kubernetes/runc/ContainerD/Docker CVEs container-security.site/general_inform…

8 76 210 0 54

Clément Canonne (on Blue🦋Sky) @ccanonne_

4 years ago

📊 It's Thurfriday, time for our weekly quiz! Today, some probability puzzles: collisions! There is an unknown probability distribution over {1,2,....,n}. You get to do the usual stuff: ask for independent samples. If you see the same value several times: collision, you win! 1/

2 4 13 0 4

Download Gif

Tom Lynch @machineslearn

4 years ago

A Python package for online/streaming machine learning. riverml.xyz

0 0 0 0 0

Kevlin Henney @KevlinHenney

4 years ago

If you've not tried it, it's worth a look: github.com/emilybache/Gil… Unfortunately, most blogs I've seen on it either give unnecessarily complex solutions or they provide a good starting point for further refactoring, i.e., they're en route to a solution, but not quite there yet.

3 1 6 0 8

gilmi @_gilmi

4 years ago

[ANN; RFC] I've spent many days and nights feverishly typing a new project-oriented, online, and free, #Haskell book. It is fairly unpolished atm, but I worked hard on it and I'd really appreciate your thoughts and comments on it! You can read it at: soupi.github.io/learn-haskell-…