2026/03/27

Newest at the top

2026-03-27 17:38:56 +0100gentaurolookup units-of-measure
2026-03-27 17:38:43 +0100 <gentauro> tomsmeding: I've been quite surprised with F# and `dotnet` (core) 10 LTS. The field sharing discrimitated unions is a HUGE performance booster. Some operations are going down all the way to single digit nano-seconds
2026-03-27 17:31:30 +0100xkuru(~xkuru@user/xkuru) xkuru
2026-03-27 17:29:43 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-27 17:26:56 +0100 <tomsmeding> gentauro, probie: I dunno honestly, they do some things that were difficult with mono a few years back at least, and apparently they still have issues
2026-03-27 17:22:38 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-27 17:20:12 +0100litharge-bo eelcunt!*@* litharge
2026-03-27 17:20:12 +0100ChanServ+o litharge
2026-03-27 17:17:13 +0100haritz(~hrtz@user/haritz) haritz
2026-03-27 17:17:13 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-03-27 17:17:13 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-03-27 17:10:39 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds)
2026-03-27 17:09:50 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2026-03-27 17:01:37 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-27 16:56:43 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-27 16:54:59 +0100bggd(~bgg@user/bggd) (Quit: std::move)
2026-03-27 16:50:44 +0100koala_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 +0100gentauro«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 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-27 16:39:39 +0100skirecalls 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 +0100elrisas92(~user@user/elrisas92) elrisas92
2026-03-27 16:35:50 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-27 16:32:07 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-27 16:26:42 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-27 16:25:55 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer)
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)