2025/08/15

2025-08-15 00:03:01 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-08-15 00:07:36 +0200sprotte24(~sprotte24@p200300d16f11dd0054b8219bc5fe5604.dip0.t-ipconnect.de) (Quit: Leaving)
2025-08-15 00:11:36 +0200Taneb(~Taneb@ip87-106-35-210.pbiaas.com) Taneb
2025-08-15 00:24:47 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-15 00:25:14 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-08-15 00:28:12 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-15 00:31:56 +0200AlexZenon(~alzenon@178.34.150.240) (Ping timeout: 272 seconds)
2025-08-15 00:33:21 +0200sprotte24(~sprotte24@p200300d16f11dd0054b8219bc5fe5604.dip0.t-ipconnect.de)
2025-08-15 00:33:22 +0200sprotte24(~sprotte24@p200300d16f11dd0054b8219bc5fe5604.dip0.t-ipconnect.de) (Remote host closed the connection)
2025-08-15 00:39:49 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 248 seconds)
2025-08-15 00:40:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 00:41:17 +0200AlexZenon(~alzenon@178.34.150.240)
2025-08-15 00:43:18 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-15 00:47:10 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-08-15 00:47:10 +0200ljdarj1ljdarj
2025-08-15 00:47:32 +0200op_4(~tslil@user/op-4/x-9116473) (Server closed connection)
2025-08-15 00:47:45 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2025-08-15 00:49:57 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-15 00:50:25 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-15 00:59:18 +0200trickard_(~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-15 00:59:31 +0200trickard_(~trickard@cpe-88-98-47-163.wireline.com.au)
2025-08-15 01:02:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-08-15 01:06:18 +0200davidlbowman(~dlb@user/davidlbowman) davidlbowman
2025-08-15 01:09:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-15 01:19:39 +0200xff0x(~xff0x@2405:6580:b080:900:86d4:8706:5c5f:d5c) (Ping timeout: 252 seconds)
2025-08-15 01:21:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 01:28:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-15 01:37:30 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-08-15 01:37:52 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 255 seconds)
2025-08-15 01:39:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 01:39:42 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 260 seconds)
2025-08-15 01:40:59 +0200xff0x(~xff0x@2405:6580:b080:900:86d4:8706:5c5f:d5c)
2025-08-15 01:41:56 +0200dunj3(~dunj3@2a01:239:328:1600::1) (Server closed connection)
2025-08-15 01:42:10 +0200dunj3(~dunj3@2a01:239:328:1600::1)
2025-08-15 01:43:12 +0200tremon(~tremon@83.80.159.219) (Ping timeout: 252 seconds)
2025-08-15 01:43:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-15 01:51:32 +0200trickard_(~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-15 01:51:46 +0200trickard_(~trickard@cpe-88-98-47-163.wireline.com.au)
2025-08-15 01:54:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 01:57:05 +0200glguy(glguy@libera/staff/glguy) glguy
2025-08-15 01:58:02 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-08-15 01:58:41 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-15 01:59:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-15 02:01:30 +0200trickard_trickard
2025-08-15 02:01:54 +0200acidjnk(~acidjnk@p200300d6e7171985495adaceecd6b03f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-08-15 02:02:53 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-15 02:03:50 +0200Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2025-08-15 02:05:48 +0200trickard(~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-08-15 02:09:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 02:12:19 +0200tv(~tv@user/tv) (Read error: Connection reset by peer)
2025-08-15 02:15:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-15 02:16:10 +0200tremon(~tremon@83.80.159.219) tremon
2025-08-15 02:18:58 +0200trickard_(~trickard@cpe-88-98-47-163.wireline.com.au)
2025-08-15 02:19:49 +0200ackthet(~ackthet@user/ackthet) ackthet
2025-08-15 02:25:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 02:29:22 +0200 <ackthet> i know people hate this question but where do people recommend getting started w/ haskell? background in C++, now mostly rust dev. non-tradiation CS background (technically physicist). I like to learn via explanation -> example (rust book i found was a good mix)
2025-08-15 02:30:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-15 02:33:46 +0200 <jreicher> I think Learn You a Good Haskell is still good?
2025-08-15 02:34:12 +0200 <jreicher> Sorry mangled that title
2025-08-15 02:34:45 +0200 <jreicher> https://learnyouahaskell.github.io/
2025-08-15 02:39:24 +0200 <yegor> i guess that means it's no good after all
2025-08-15 02:40:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 02:41:05 +0200 <jreicher> It can be used for good. Would be interesting to see it used for evil though. I'm curious about that now.
2025-08-15 02:43:37 +0200 <geekosaur> Anduril, by repute
2025-08-15 02:45:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-15 02:49:03 +0200 <jreicher> They're using Haskell?
2025-08-15 02:49:17 +0200 <jreicher> I guess Jane Street might be considered a little evil too.
2025-08-15 02:49:49 +0200 <jreicher> Oh actually they might be on ocaml. I should check
2025-08-15 02:51:27 +0200xff0x(~xff0x@2405:6580:b080:900:86d4:8706:5c5f:d5c) (Ping timeout: 260 seconds)
2025-08-15 02:51:40 +0200 <geekosaur> they're ocaml
2025-08-15 02:51:50 +0200 <geekosaur> mutant ocaml, is my understanding
2025-08-15 02:54:26 +0200Idklmaokhe(~Idklmaokh@190.97.253.6)
2025-08-15 02:56:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 02:56:48 +0200Spawns_Carpeting(~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-15 02:58:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-15 02:59:06 +0200Spawns_Carpeting(~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting
2025-08-15 03:01:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-15 03:01:18 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-08-15 03:01:36 +0200weary-traveler(~user@user/user363627) user363627
2025-08-15 03:01:57 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds)
2025-08-15 03:03:11 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-08-15 03:06:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 03:08:04 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-08-15 03:09:15 +0200 <probie> My understanding is the Jane Street is on regular OCaml, but with a different standard library (e.g. it'd be like Haskell, but with relude)
2025-08-15 03:10:03 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-15 03:11:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-15 03:12:20 +0200jmcantrell(~weechat@user/jmcantrell) (Client Quit)
2025-08-15 03:14:03 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-15 03:16:34 +0200batbyte(~batbyte@172-79-46-231.nrwc.ny.frontiernet.net)
2025-08-15 03:19:20 +0200Idklmaokhe(~Idklmaokh@190.97.253.6) (Quit: Client closed)
2025-08-15 03:22:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 03:25:39 +0200FeuermagierGuest550
2025-08-15 03:25:39 +0200Guest550(~Feuermagi@user/feuermagier) (Killed (molybdenum.libera.chat (Nickname regained by services)))
2025-08-15 03:25:39 +0200Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2025-08-15 03:28:48 +0200Feuermagier(~Feuermagi@user/feuermagier) (Client Quit)
2025-08-15 03:29:31 +0200lol_jcarpenter2
2025-08-15 03:29:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-15 03:30:07 +0200 <haskellbridge> <Jack​> As a side note, alternative preludes are so cool. I wish every language had them
2025-08-15 03:30:58 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-08-15 03:31:05 +0200 <jreicher> I've never thought about that, but it makes a lot of sense. I wonder if Kent Recursive Calculator had it.
2025-08-15 03:32:17 +0200ft(~ft@p508dba54.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-08-15 03:33:52 +0200ft(~ft@p508db692.dip0.t-ipconnect.de) ft
2025-08-15 03:34:26 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-08-15 03:35:19 +0200danso(~danso@user/danso) (Ping timeout: 255 seconds)
2025-08-15 03:35:41 +0200danso(~danso@user/danso) danso
2025-08-15 03:38:30 +0200 <jreicher> Yep it did. The -l arg.
2025-08-15 03:40:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 03:44:48 +0200trickard_trickard
2025-08-15 03:45:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-15 03:47:41 +0200yangby(~secret@115.205.231.82) yangby
2025-08-15 03:51:20 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-15 03:55:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 04:00:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-15 04:11:04 +0200td_(~td@i53870938.versanet.de) (Ping timeout: 260 seconds)
2025-08-15 04:11:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 04:12:29 +0200inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-08-15 04:12:46 +0200td_(~td@i53870931.versanet.de)
2025-08-15 04:15:18 +0200batbyte_(~batbyte@52.sub-174-215-208.myvzw.com)
2025-08-15 04:15:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-15 04:19:09 +0200batbyte(~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) (Ping timeout: 276 seconds)
2025-08-15 04:20:13 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection)
2025-08-15 04:20:47 +0200trickard(~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-15 04:21:01 +0200trickard_(~trickard@cpe-88-98-47-163.wireline.com.au)
2025-08-15 04:21:55 +0200tremon(~tremon@83.80.159.219) (Remote host closed the connection)
2025-08-15 04:23:01 +0200hololeap(~quassel@user/hololeap) hololeap
2025-08-15 04:26:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 04:30:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-15 04:31:30 +0200batbyte_(~batbyte@52.sub-174-215-208.myvzw.com) (Ping timeout: 252 seconds)
2025-08-15 04:35:50 +0200trickard_(~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-15 04:36:03 +0200trickard_(~trickard@cpe-88-98-47-163.wireline.com.au)
2025-08-15 04:39:53 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale
2025-08-15 04:41:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 04:46:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-15 04:47:01 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 276 seconds)
2025-08-15 04:53:04 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-15 04:54:07 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-15 04:57:14 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Read error: Connection reset by peer)
2025-08-15 04:57:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-15 04:57:34 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia