2026/03/27

Newest at the top

2026-03-27 16:24:45 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-03-27 16:23:41 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2026-03-27 16:20:44 +0100geekosaur-o geekosaur
2026-03-27 16:19:52 +0100eelcuntgeekosaur (User terminated!)
2026-03-27 16:19:51 +0100geekosaur+b eelcunt!*@*
2026-03-27 16:19:42 +0100ChanServ+o geekosaur
2026-03-27 16:16:10 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-03-27 16:15:28 +0100 <eelcunt> "Sex is like playing bridge."
2026-03-27 16:15:13 +0100 <gentauro> btw, can these bots go over to the #fsharp channel on Libera? Nothing really happens at that channel. Not even bot attacs xD
2026-03-27 16:15:11 +0100Square2(~Square@user/square) (Ping timeout: 244 seconds)
2026-03-27 16:14:29 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-03-27 16:14:19 +0100 <gentauro> oh, forgot Martin Elsman (SML)
2026-03-27 16:14:08 +0100 <eelcunt> The guy smirks and says, "How do you think I knocked on the door?"
2026-03-27 16:14:07 +0100 <eelcunt> She asks, "How do you have sex?"
2026-03-27 16:14:07 +0100 <eelcunt> A woman is at a bar and meets a guy with no arms and no legs.
2026-03-27 16:13:10 +0100eelcunt(~eelcunt@61-228-8-11.dynamic-ip.hinet.net)
2026-03-27 16:11:42 +0100gentaurohowever, the final boss of them all is Filinski xD
2026-03-27 16:11:24 +0100 <gentauro> Jakob Grue could also be added to the mix (and Athas with Futhark)
2026-03-27 16:10:45 +0100 <gentauro> ski: don't forget: Torben Mogensen, Mads Tofte (SML and proof road "the monad paper" from Moggi), Carsten Gomard (Partial evaluation with Sestoft and Neil D. Jones), Fritz Henglein (generic discrimination), …
2026-03-27 16:09:20 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-27 16:06:50 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-03-27 15:54:05 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection)
2026-03-27 15:52:56 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 265 seconds)
2026-03-27 15:51:55 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-03-27 15:46:15 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-27 15:36:54 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds)
2026-03-27 15:35:28 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-27 15:35:28 +0100arandombit(~arandombi@2a02:2455:8656:7100:c8a6:4a79:436a:2674) (Changing host)
2026-03-27 15:35:28 +0100arandombit(~arandombi@2a02:2455:8656:7100:c8a6:4a79:436a:2674) arandombit
2026-03-27 15:32:58 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2026-03-27 15:30:49 +0100 <ski> gentauro : Olivier Danvy,Andrzej Filinski,Julia Lawall,Karoline Malmkjer,Peter Sestoft ?
2026-03-27 15:30:21 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-27 15:27:48 +0100 <geekosaur> advance notice: I'll be taking my laptop down this weekend to replace the battery. the bridge will be down during the repair.
2026-03-27 15:16:21 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds)
2026-03-27 15:14:43 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) kupi
2026-03-27 15:10:44 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-27 15:09:59 +0100mistivia(~mistivia@user/mistivia) mistivia
2026-03-27 15:09:48 +0100mistivia(~mistivia@user/mistivia) (Remote host closed the connection)
2026-03-27 15:08:23 +0100 <gentauro> probie: my "batch" (at DIKU) did: SML (MoscowML) -> Java -> C -> … -> OCaml but never learned Haskell at uni. Did afterwards (if your uni doesn't teach you to teach yourself complex topics, then they aren't doing it right)
2026-03-27 15:07:28 +0100mistivia(~mistivia@user/mistivia) mistivia
2026-03-27 15:07:13 +0100mistivia(~mistivia@user/mistivia) (Remote host closed the connection)
2026-03-27 15:02:51 +0100divlamir_divlamir
2026-03-27 15:02:51 +0100divlamir(~divlamir@user/divlamir) (Ping timeout: 255 seconds)
2026-03-27 15:02:07 +0100hsw(~hsw@106.104.102.45) (Ping timeout: 264 seconds)
2026-03-27 15:00:39 +0100divlamir_(~divlamir@user/divlamir) divlamir
2026-03-27 14:59:32 +0100hsw_(~hsw@106.104.102.45) hsw
2026-03-27 14:56:18 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds)
2026-03-27 14:56:07 +0100CiaoSen(~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2026-03-27 14:40:31 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) rekahsoft
2026-03-27 14:35:53 +0100pavonia(~user@user/siracusa) (Quit: Bye!)