Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

edinburgh university replaces their website with anime

Name: Anonymous 2016-09-20 20:06

edinburgh university has decided to replace their proof general website with some weird ass fucking anime character on a .io domain: https://proofgeneral.github.io

FUCKING WHY??

Name: Anonymous 2016-09-20 20:07

really cute

Name: Anonymous 2016-09-20 20:08

https://github.com/ProofGeneral/proofgeneral.github.io/commit/a05c571596c24dc273f3caa22b3839e4f6ad78fb

Name: Anonymous 2016-09-20 20:08

Cute is justice.
Emacs is shit.

Name: Anonymous 2016-09-20 20:08

>>2
if you think sexism is cute

Name: Anonymous 2016-09-20 20:38

The Cock Proof Assistant really does resemble the male genitalia

Name: Anonymous 2016-09-21 3:07

Followed some links, this is what I discovered...

https://twitter.com/createsoftware/status/735931210178932736

The person who came up with the picture:
http://www.kb.ecei.tohoku.ac.jp/~sumii/
https://twitter.com/esumii/status/735439419415617536
https://github.com/esumii

Name: Anonymous 2016-09-21 3:40

How do you pronounce 'Edinburgh'?

1. Eden-berg
2. Ed-in-borg
3. Egen-bro
4. Edinudder (faggot)

Name: Anonymous 2016-09-21 4:11

>>11
it's kawaii faggot

Name: Anonymous 2016-09-21 7:40

>>8
Edincudder

Name: Anonymous 2016-09-21 11:53

NIKITA does not approve of this!

Name: Anonymous 2016-09-27 17:12

and why does it say ``coq" ? isnt that inappropriate?

Name: Anonymous 2016-09-27 18:31

What else did you expect from users of Emax and Cock?

Name: Anonymous 2016-09-29 11:16

>>8
Ed-in-bur

Newer Posts