Logs: liberachat/#haskell
| 2026-03-27 13:56:18 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 2026-03-27 13:59:32 | → | hsw_ joins (~hsw@106.104.102.45) |
| 2026-03-27 14:00:39 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2026-03-27 14:02:07 | × | hsw quits (~hsw@106.104.102.45) (Ping timeout: 264 seconds) |
| 2026-03-27 14:02:51 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 255 seconds) |
| 2026-03-27 14:02:51 | divlamir_ | is now known as divlamir |
| 2026-03-27 14:07:13 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 2026-03-27 14:07:28 | → | mistivia joins (~mistivia@user/mistivia) |
| 2026-03-27 14:08:23 | <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 14:09:48 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 2026-03-27 14:09:59 | → | mistivia joins (~mistivia@user/mistivia) |
| 2026-03-27 14:10:44 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 14:14:43 | → | kupi joins (uid212005@id-212005.hampstead.irccloud.com) |
| 2026-03-27 14:16:21 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-27 14:27:48 | <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 14:30:21 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 14:30:49 | <ski> | gentauro : Olivier Danvy,Andrzej Filinski,Julia Lawall,Karoline Malmkjer,Peter Sestoft ? |
| 2026-03-27 14:32:58 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2026-03-27 14:35:28 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:c8a6:4a79:436a:2674) |
| 2026-03-27 14:35:28 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:c8a6:4a79:436a:2674) (Changing host) |
| 2026-03-27 14:35:28 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-27 14:36:54 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 2026-03-27 14:46:15 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 14:51:55 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-03-27 14:52:56 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 265 seconds) |
| 2026-03-27 14:54:05 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2026-03-27 15:06:50 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-03-27 15:09:20 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 15:10:45 | <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 15:11:24 | <gentauro> | Jakob Grue could also be added to the mix (and Athas with Futhark) |
| 2026-03-27 15:11:42 | gentauro | however, the final boss of them all is Filinski xD |
| 2026-03-27 15:13:10 | → | eelcunt joins (~eelcunt@61-228-8-11.dynamic-ip.hinet.net) |
| 2026-03-27 15:14:07 | <eelcunt> | A woman is at a bar and meets a guy with no arms and no legs. |
| 2026-03-27 15:14:07 | <eelcunt> | She asks, "How do you have sex?" |
| 2026-03-27 15:14:08 | <eelcunt> | The guy smirks and says, "How do you think I knocked on the door?" |
| 2026-03-27 15:14:19 | <gentauro> | oh, forgot Martin Elsman (SML) |
| 2026-03-27 15:14:29 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-27 15:15:11 | × | Square2 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-03-27 15:15:13 | <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 15:15:28 | <eelcunt> | "Sex is like playing bridge." |
| 2026-03-27 15:15:28 | <eelcunt> | "If you don't have a good partner, you'd better have a good hand." |
| 2026-03-27 15:16:10 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-27 15:19:42 | ChanServ | sets mode +o geekosaur |
| 2026-03-27 15:19:51 | geekosaur | sets mode +b eelcunt!*@* |
| 2026-03-27 15:19:52 | eelcunt | is kicked by geekosaur (User terminated!) |
| 2026-03-27 15:20:44 | geekosaur | sets mode -o geekosaur |
| 2026-03-27 15:23:41 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2026-03-27 15:24:45 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-27 15:25:55 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 2026-03-27 15:26:42 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 15:32:07 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 15:35:50 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 15:36:38 | → | elrisas92 joins (~user@user/elrisas92) |
| 2026-03-27 15:39:06 | <ski> | gentauro : mm, i recognize Mads Tofte. not as sure about those others |
| 2026-03-27 15:39:39 | ski | recalls binge-reading papers by Filinski & Danvy |
| 2026-03-27 15:42:19 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 15:45:20 | 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 15:45:41 | <gentauro> | https://lists.racket-lang.org/users/archive/2004-December/007478.html |
| 2026-03-27 15:47:47 | <ski> | (ah, yes. Elsman, with the ML Kit) |
| 2026-03-27 15:50:44 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 15:54:59 | × | bggd quits (~bgg@user/bggd) (Quit: std::move) |
| 2026-03-27 15:56:43 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 16:01:37 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 16:09:50 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-03-27 16:10:39 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-27 16:17:13 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-03-27 16:17:13 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-03-27 16:17:13 | → | haritz joins (~hrtz@user/haritz) |
| 2026-03-27 16:20:12 | ChanServ | sets mode +o litharge |
| 2026-03-27 16:20:12 | litharge | sets mode -bo eelcunt!*@* litharge |
| 2026-03-27 16:22:38 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 16:26:56 | <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 16:29:43 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 16:31:30 | → | xkuru joins (~xkuru@user/xkuru) |
| 2026-03-27 16:38:43 | <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 16:38:56 | gentauro | lookup units-of-measure |
| 2026-03-27 16:42:34 | <gentauro> | I advice this guys -> https://iev.ee/blog/resharp-how-we-built-the-fastest-regex-in-fsharp/ to give it a try. This is his comment: « Ian Erik Varatalu 11:42 PM By the way i added he field sharing into the dotnet version, the struct size went down from 56B to 16B!» |
| 2026-03-27 16:42:38 | <gentauro> | good stuff |
| 2026-03-27 16:46:45 | × | Guest62t quits (~Guest62t@p200300ca8f33c7004094c99c1bc7419e.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2026-03-27 16:47:23 | × | kimiamania40 quits (~b4b260c9@user/kimiamania) (Quit: PegeLinux) |
| 2026-03-27 16:48:29 | → | kimiamania40 joins (~67ff9c51@user/kimiamania) |
| 2026-03-27 16:48:51 | → | danza joins (~danza@user/danza) |
| 2026-03-27 16:49:20 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 16:51:21 | × | danz58683 quits (~danza@user/danza) (Ping timeout: 265 seconds) |
| 2026-03-27 16:56:43 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 17:09:32 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2026-03-27 17:12:43 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 17:15:00 | ski | . o O ( "the result is RE#, the first general-purpose regex engine to support intersection, complement and lookarounds with linear-time guarantees" ) |
| 2026-03-27 17:15:08 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-03-27 17:18:42 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 2026-03-27 17:20:50 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 17:45:44 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-03-27 17:47:32 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-03-27 17:48:08 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-03-27 17:53:18 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 268 seconds) |
| 2026-03-27 17:57:15 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2026-03-27 17:58:34 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-03-27 18:03:53 | → | qqq joins (~qqq@185.54.20.33) |
| 2026-03-27 18:13:07 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-27 18:15:28 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
All times are in UTC.