Newest at the top
| 2026-03-27 17:10:39 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-27 17:09:50 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-27 17:01:37 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 16:56:43 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 16:54:59 +0100 | bggd | (~bgg@user/bggd) (Quit: std::move) |
| 2026-03-27 16:50:44 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 16:47:47 +0100 | <ski> | (ah, yes. Elsman, with the ML Kit) |
| 2026-03-27 16:45:41 +0100 | <gentauro> | https://lists.racket-lang.org/users/archive/2004-December/007478.html |
| 2026-03-27 16:45:20 +0100 | gentauro | «Olivier Danvy is a renowned computer scientist known primarily as the most thanked (acknowledged) researcher in the field based on an analysis of over 300,000 scientific papers» |
| 2026-03-27 16:42:19 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 16:39:39 +0100 | ski | recalls binge-reading papers by Filinski & Danvy |
| 2026-03-27 16:39:06 +0100 | <ski> | gentauro : mm, i recognize Mads Tofte. not as sure about those others |
| 2026-03-27 16:36:38 +0100 | elrisas92 | (~user@user/elrisas92) elrisas92 |
| 2026-03-27 16:35:50 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 16:32:07 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 16:26:42 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 16:25:55 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 2026-03-27 16:24:45 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-27 16:23:41 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2026-03-27 16:20:44 +0100 | geekosaur | -o geekosaur |
| 2026-03-27 16:19:52 +0100 | eelcunt | geekosaur (User terminated!) |
| 2026-03-27 16:19:51 +0100 | geekosaur | +b eelcunt!*@* |
| 2026-03-27 16:19:42 +0100 | ChanServ | +o geekosaur |
| 2026-03-27 16:16:10 +0100 | Lord_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 +0100 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-03-27 16:14:29 +0100 | weary-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 +0100 | eelcunt | (~eelcunt@61-228-8-11.dynamic-ip.hinet.net) |
| 2026-03-27 16:11:42 +0100 | gentauro | however, 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 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 16:06:50 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-27 15:54:05 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2026-03-27 15:52:56 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 265 seconds) |
| 2026-03-27 15:51:55 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-03-27 15:46:15 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 15:36:54 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 2026-03-27 15:35:28 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-27 15:35:28 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:c8a6:4a79:436a:2674) (Changing host) |
| 2026-03-27 15:35:28 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:c8a6:4a79:436a:2674) arandombit |
| 2026-03-27 15:32:58 +0100 | kuribas | (~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 +0100 | koala_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. |