Zulip Chat Archive

Stream: general

Topic: Leaked Lean 4 Logos

Edward Ayers (Mar 31 2019 at 23:15):

Edward Ayers (Mar 31 2019 at 23:37):

Edward Ayers (Mar 31 2019 at 23:37):

Edward Ayers (Mar 31 2019 at 23:37):

Edward Ayers (Mar 31 2019 at 23:37):

Edward Ayers (Mar 31 2019 at 23:37):

Edward Ayers (Mar 31 2019 at 23:37):

Edward Ayers (Mar 31 2019 at 23:37):

Edward Ayers (Mar 31 2019 at 23:38):

François G. Dorais (Apr 01 2019 at 01:48):

These are absolutely terrible. I feel like you're venting, which is okay, I guess...

Andrew Ashworth (Apr 01 2019 at 01:54):

Today is a certain day where all sorts of terrible jokes are allowed ;)

Scott Morrison (Apr 01 2019 at 02:16):

I love the Heineken one. I'm going to have to start an argument at maths dept beers this Friday about "proof irrelevance".

Sebastian Ullrich (Apr 01 2019 at 08:23):

logo9

I think I have a new Twitter profile photo, at least for today...

Kenny Lau (Apr 01 2019 at 08:30):

https://twitter.com/derKha/status/1000804814337576966

The first Lean meme was just posted to our Zulip chat... https://twitter.com/derKha/status/1000804814337576966/photo/1

- Sebastian Ullrich (@derKha)

Edward Ayers (Apr 01 2019 at 15:47):

This is the site if anyone wants to make their own: https://www.festisite.com/logo/nasa/

Johan Commelin (Oct 24 2019 at 14:04):

logo8

This one was quite prescient... what with the counting immutable beans etc... Now we know how many there are. 3 :joking:

Last updated: Dec 20 2023 at 11:08 UTC