Posts by TheAspiringHacker@functional.cafe
(DIR) Post #9kFUUEMyBNcPB3fihU by TheAspiringHacker@functional.cafe
2019-06-26T19:50:38Z
0 likes, 0 repeats
@DashEquals I like statically typed programming languages, but I don't do server-side programming
(DIR) Post #9kYAHNcccVF9lVul96 by TheAspiringHacker@functional.cafe
2019-07-05T19:51:59Z
1 likes, 0 repeats
@epicmorphism kami-sama
(DIR) Post #9kgG2gPCoijajoyFZg by TheAspiringHacker@functional.cafe
2019-07-09T15:57:07Z
0 likes, 0 repeats
@epicmorphism Huh? Why?(P.S. I'm not white.)
(DIR) Post #9knfU28qzf3ZbnO7zk by TheAspiringHacker@functional.cafe
2019-07-13T04:07:01Z
0 likes, 0 repeats
Which syntax style do you prefer?
(DIR) Post #9kqLtQH9mbsXKisBnc by TheAspiringHacker@functional.cafe
2019-07-14T14:25:08Z
0 likes, 0 repeats
@keionbot Yui looks so happy! #K_ON #keion
(DIR) Post #9kvmGpAQEcPzvth9o8 by TheAspiringHacker@functional.cafe
2019-07-17T05:07:34Z
1 likes, 0 repeats
@popefucker Rice is a side dish says Yui Hirasawa #K_ON #keion
(DIR) Post #9l3XNCxgjfa9Q70KTw by TheAspiringHacker@functional.cafe
2019-07-20T23:19:08Z
1 likes, 0 repeats
@vaartis It should be your last name + first name to follow the Japanese custom!
(DIR) Post #9lQ2atMu9GC9ZhF2ae by TheAspiringHacker@functional.cafe
2019-07-31T19:26:09Z
1 likes, 0 repeats
Ugh, OCaml cmdliner is confusing because it doesn't follow the conventions!Term.const is really return or pureTerm.($) is really <*>Term.ret is something else
(DIR) Post #9lVHLWgOgGjHyYI1Tc by TheAspiringHacker@functional.cafe
2019-08-03T04:46:18Z
0 likes, 0 repeats
@epicmorphism Don't do drugs
(DIR) Post #9lWK4OJ93lY26AtX3Q by TheAspiringHacker@functional.cafe
2019-08-03T20:23:09Z
1 likes, 0 repeats
@epicmorphism owo-sama
(DIR) Post #9lWK59f5021IxoWDGi by TheAspiringHacker@functional.cafe
2019-08-03T20:19:04Z
0 likes, 0 repeats
@epicmorphism Drugs are addictive and damage your brain. In particular, PCP makes you hallucinate. https://www.drugs.com/illicit/pcp.html
(DIR) Post #9lWV9tafHJai3zuthA by TheAspiringHacker@functional.cafe
2019-08-03T22:13:44Z
0 likes, 0 repeats
Nooo, what happened to the K-On bot? Did this instance block it? Does this have to do with that one lewd thing it posted? 😢
(DIR) Post #9lWV9tus4Bkp4fN2Bs by TheAspiringHacker@functional.cafe
2019-08-03T22:22:12Z
0 likes, 0 repeats
@mdallastella Did you block the K-On bot by any chance?
(DIR) Post #9lWV9uEMthLm38Uba4 by TheAspiringHacker@functional.cafe
2019-08-03T22:26:28Z
0 likes, 0 repeats
Nooo! All my boosts of the K-On bot are gone! ðŸ˜
(DIR) Post #9lXns7qFe6JHL1PJ9U by TheAspiringHacker@functional.cafe
2019-08-04T13:39:34Z
0 likes, 0 repeats
@epicmorphism Where did you find the picture?
(DIR) Post #9m4LflfUDpyzYYVdgG by TheAspiringHacker@functional.cafe
2019-08-20T02:00:34Z
1 likes, 0 repeats
@keionbot Holy shoot, the K-ON bot is back! 😎
(DIR) Post #9m7Vl09dN7yAwrcn7g by TheAspiringHacker@functional.cafe
2019-08-21T18:48:25Z
1 likes, 0 repeats
@keionbot Is this The Last Supper?
(DIR) Post #9muINg7ABGQ9mQbGT2 by TheAspiringHacker@functional.cafe
2019-09-14T06:04:55Z
1 likes, 0 repeats
"Point-free" comes from topology, where one does math without mentioning the points of spaces. Did the idea that types are spaces and their inhabitants points exist before HoTT?
(DIR) Post #9qlzWNEZXKDat6MAAS by TheAspiringHacker@functional.cafe
2020-01-07T05:43:09Z
1 likes, 0 repeats
Nyan-categoryNyanCatLab
(DIR) Post #9wzLuzHt0rc7dxfmjI by TheAspiringHacker@functional.cafe
2020-07-11T03:36:31Z
0 likes, 1 repeats
@overflow @redneonglow @NaiJi Kumiko > UmikoUmiko only has regular gunsKumiko has a bazooka:https://youtube.com/watch?v=-Y6B320TbJk#NewGame #HibikeEuphonium #SoundEuphonium