2022/12/24

2022-12-24 00:03:10 +0000 <Inst> fad implies that something is transient in the short-term
2022-12-24 00:03:28 +0000elevenkb(~elevenkb@105.224.37.128)
2022-12-24 00:03:32 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 272 seconds)
2022-12-24 00:03:41 +0000 <Inst> programming is a fad
2022-12-24 00:03:43 +0000 <Inst> comp sci, maybe not
2022-12-24 00:04:19 +0000 <Inst> in that, if you've seen what ChatGPT's been able to produce, we're probably not that far away from having programmers displaced by AI
2022-12-24 00:04:34 +0000 <Jadesheit[m]> I disagree
2022-12-24 00:04:55 +0000 <Jadesheit[m]> ChatGPT fails rather quickly at tasks, especially as they scale
2022-12-24 00:04:57 +0000 <monochrom> "machine learning" doesn't always means the good and important and long-lasting fruits of machine learning.
2022-12-24 00:05:23 +0000 <monochrom> It can also mean what most people who self-identify as "machine learning" actually do.
2022-12-24 00:05:34 +0000 <Inst> i'm not aware of the scammy parts of ML, tbh
2022-12-24 00:05:44 +0000 <Inst> I know that ML is a cash cow for people in the CS / programming space
2022-12-24 00:05:44 +0000 <monochrom> You bet 99% of those are going to be very ephemeral.
2022-12-24 00:05:53 +0000 <Inst> barely understand anything, just know how to feed inputs to a neural network
2022-12-24 00:06:12 +0000 <Inst> but i'm not aware of it in detail
2022-12-24 00:07:03 +0000cheater_(~Username@user/cheater)
2022-12-24 00:07:04 +0000OscarZ(~oscarz@95.175.104.82)
2022-12-24 00:07:51 +0000 <Jadesheit[m]> my go-to analogy is that ML simply finds a local minimum to a function
2022-12-24 00:07:58 +0000fizbin(~fizbin@user/fizbin) (Ping timeout: 272 seconds)
2022-12-24 00:08:29 +0000 <monochrom> I'm impressed with ChatGPT though because someone said they got from it an acceptable explanation of monads XD
2022-12-24 00:08:32 +0000 <Jadesheit[m]> it's not "intelligent"
2022-12-24 00:08:49 +0000 <Jadesheit[m]> monochrom: it simply reproduces
2022-12-24 00:08:54 +0000 <monochrom> Am I intelligent then? I doubt it.
2022-12-24 00:09:07 +0000 <dgpratt[m]> well this thing will never be anything but a toy, but it is just so gosh darn satisfying to craft a basic parser/interpreter in Haskell
2022-12-24 00:09:10 +0000 <monochrom> I always like to assert that I'm a living Chinese Room right here in my brain.
2022-12-24 00:09:56 +0000cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2022-12-24 00:10:01 +0000cheater_cheater
2022-12-24 00:10:39 +0000 <monochrom> Most students in most schools, even universities, are also putting in no more effort that finding local maxima to a mark function.
2022-12-24 00:10:52 +0000 <monochrom> otherwise known as "gaming the system".
2022-12-24 00:12:15 +0000 <geekosaur> "guessing the teacher's password"
2022-12-24 00:12:32 +0000 <monochrom> I have first-hand experience with Asian students going to Canadian universities with impossibly high TOEFL scores and impossibly broken English grammar in real life.
2022-12-24 00:12:37 +0000 <geekosaur> (which reportedly is where ChatGPT's name came from)
2022-12-24 00:12:51 +0000 <monochrom> I dare say ChatGPT is better than them.
2022-12-24 00:13:12 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 00:13:34 +0000 <monochrom> At least ChatGPT has better grammar.
2022-12-24 00:14:15 +0000 <monochrom> As opposed to TOEFL takers whose study strategy is to memorize pages after pages of English dictionaries.
2022-12-24 00:15:01 +0000 <monochrom> So far for every known AI flaw I can point to a corresponing human fallacy.
2022-12-24 00:15:27 +0000 <geekosaur> agreed
2022-12-24 00:15:35 +0000 <Inst> hmm, turns out that threepenny did run
2022-12-24 00:16:42 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-12-24 00:16:58 +0000 <monochrom> Come to think of it, probably a fundamental theorem about any kind of learning under any kind of fast marking scheme.
2022-12-24 00:17:54 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-12-24 00:17:57 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1)
2022-12-24 00:18:36 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-12-24 00:18:38 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 246 seconds)
2022-12-24 00:25:28 +0000 <Inst> monochrom: tbh, that's more like a test design problem, isn't it?
2022-12-24 00:25:36 +0000 <Inst> map and territory, when they merge, it's a good test
2022-12-24 00:25:57 +0000mauke_(~mauke@user/mauke)
2022-12-24 00:26:06 +0000 <geekosaur> choose a different style, it'll have its own weakness
2022-12-24 00:27:13 +0000 <Inst> i.e, i've heard that in parts of east asia they just gave up on fighting "adaptiveness" to test regimens and decided to make it so that studying for the test is actually studying the material via test design
2022-12-24 00:27:15 +0000mauke(~mauke@user/mauke) (Ping timeout: 252 seconds)
2022-12-24 00:27:15 +0000mauke_mauke
2022-12-24 00:28:58 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-12-24 00:37:26 +0000 <monochrom> Easier said than done. As usual.
2022-12-24 00:38:02 +0000 <monochrom> You see, teachers and markers are optimizing a do-less-work-for-more-money function, too!
2022-12-24 00:39:25 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 00:43:26 +0000fizbin(~fizbin@user/fizbin)
2022-12-24 00:44:06 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 268 seconds)
2022-12-24 00:47:14 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 00:48:41 +0000goober(~goober@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
2022-12-24 00:58:06 +0000Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.)
2022-12-24 01:02:02 +0000califax(~califax@user/califx) (Remote host closed the connection)
2022-12-24 01:02:36 +0000Inst_(~Inst@c-98-208-218-119.hsd1.fl.comcast.net)
2022-12-24 01:03:15 +0000califax(~califax@user/califx)
2022-12-24 01:04:21 +0000dcoutts_(~duncan@host86-151-44-212.range86-151.btcentralplus.com) (Remote host closed the connection)
2022-12-24 01:04:40 +0000dcoutts_(~duncan@host86-151-44-212.range86-151.btcentralplus.com)
2022-12-24 01:04:43 +0000Inst(~Inst@2601:6c4:4081:54f0:b86b:c7d7:3fe0:861c) (Ping timeout: 248 seconds)
2022-12-24 01:06:19 +0000elevenkb(~elevenkb@105.224.37.128) (Quit: Client closed)
2022-12-24 01:08:59 +0000goober(~goober@90-231-13-185-no3430.tbcn.telia.com)
2022-12-24 01:10:50 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-12-24 01:15:31 +0000morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-24 01:16:57 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-12-24 01:28:59 +0000fizbin(~fizbin@user/fizbin) (Ping timeout: 264 seconds)
2022-12-24 01:33:08 +0000libertyprime(~libertypr@203.96.203.167)
2022-12-24 01:33:11 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2022-12-24 01:33:30 +0000morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-24 01:34:49 +0000thongpv87(~thongpv87@2402:9d80:387:dcf3:1936:a942:7497:64c2)
2022-12-24 01:35:54 +0000fizbin(~fizbin@user/fizbin)
2022-12-24 01:51:11 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 264 seconds)
2022-12-24 01:54:05 +0000fizbin(~fizbin@user/fizbin) (Remote host closed the connection)
2022-12-24 01:54:14 +0000son0p(~ff@2604:3d08:5b7f:5540:98a9:2169:15a1:4c7f) (Ping timeout: 255 seconds)
2022-12-24 01:54:24 +0000fizbin(~fizbin@user/fizbin)
2022-12-24 01:56:54 +0000beefbambi(~beefbambi@183.82.30.144) (Ping timeout: 272 seconds)
2022-12-24 01:57:14 +0000OscarZ(~oscarz@95.175.104.82) (Ping timeout: 260 seconds)
2022-12-24 01:57:33 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 01:59:01 +0000jargon_(~jargon@174-22-197-118.phnx.qwest.net)
2022-12-24 02:00:23 +0000jargon(~jargon@174-22-192-24.phnx.qwest.net) (Ping timeout: 260 seconds)
2022-12-24 02:11:35 +0000beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 264 seconds)
2022-12-24 02:18:02 +0000fizbin(~fizbin@user/fizbin) (Ping timeout: 246 seconds)
2022-12-24 02:20:41 +0000ddellacosta(~ddellacos@143.244.47.100)
2022-12-24 02:24:12 +0000fizbin(~fizbin@user/fizbin)
2022-12-24 02:24:50 +0000beefbambi(~beefbambi@183.82.206.239)
2022-12-24 02:28:37 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-12-24 02:29:50 +0000fizbin(~fizbin@user/fizbin) (Ping timeout: 272 seconds)
2022-12-24 02:37:10 +0000jinsun__(~jinsun@user/jinsun)
2022-12-24 02:37:10 +0000jinsunGuest7606
2022-12-24 02:37:10 +0000Guest7606(~jinsun@user/jinsun) (Killed (sodium.libera.chat (Nickname regained by services)))
2022-12-24 02:37:10 +0000jinsun__jinsun
2022-12-24 02:37:25 +0000jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-12-24 02:46:02 +0000unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 246 seconds)
2022-12-24 02:47:01 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-12-24 02:51:55 +0000razetime(~quassel@49.207.230.181)
2022-12-24 02:58:34 +0000morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-24 03:00:21 +0000jinsun(~jinsun@user/jinsun)
2022-12-24 03:13:47 +0000morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-24 03:18:59 +0000morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-24 03:25:59 +0000td_(~td@83.135.9.52) (Ping timeout: 264 seconds)
2022-12-24 03:27:35 +0000td_(~td@83.135.9.19)
2022-12-24 03:35:19 +0000thongpv87(~thongpv87@2402:9d80:387:dcf3:1936:a942:7497:64c2) (Ping timeout: 252 seconds)
2022-12-24 03:46:35 +0000terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-12-24 03:47:56 +0000terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-12-24 03:53:29 +0000morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-24 03:57:39 +0000mvk(~mvk@2607:fea8:5ce3:8500::d789)
2022-12-24 04:02:09 +0000son0p(~ff@2604:3d08:5b7f:5540::417e)
2022-12-24 04:02:18 +0000morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-24 04:03:59 +0000justsomeguy(~justsomeg@user/justsomeguy)
2022-12-24 04:06:22 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 268 seconds)
2022-12-24 04:10:46 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-12-24 04:10:50 +0000rnat(uid73555@id-73555.lymington.irccloud.com)
2022-12-24 04:13:42 +0000dsrt^(~dsrt@76.145.185.103) (Ping timeout: 272 seconds)
2022-12-24 04:14:58 +0000dsrt^(~dsrt@76.145.185.103)
2022-12-24 04:19:46 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 04:20:22 +0000morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-24 04:30:56 +0000 <int-e> Inst_: `foldb` is an alternative `fold` for lists that groups the operations different (in the shape of a binary tree)... it's usually slower than the default `fold` because those intermediate lists actually materialize, so that's a significant overhead. But in the case of `factorial` it does a decent job of multiplying like-sized numbers, keeping intermediate results smaller.
2022-12-24 04:31:44 +0000 <int-e> "in the shape of a binary tree" which is balanced, that is, rather than completely left- or right-leaning.
2022-12-24 04:33:21 +0000 <int-e> > foldMap Sum [x,1,2,3]
2022-12-24 04:33:22 +0000 <lambdabot> Sum {getSum = x + (1 + (2 + (3 + 0)))}
2022-12-24 04:35:11 +0000xff0x(~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 256 seconds)
2022-12-24 04:36:49 +0000xff0x(~xff0x@ai071162.d.east.v6connect.net)
2022-12-24 04:40:57 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2022-12-24 04:44:44 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-12-24 04:56:24 +0000ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 265 seconds)
2022-12-24 05:16:38 +0000calco(~calco@47.200.15.90)
2022-12-24 05:16:53 +0000 <calco> hello
2022-12-24 05:17:34 +0000 <calco> anybody home
2022-12-24 05:18:07 +0000calco(~calco@47.200.15.90) ()
2022-12-24 05:18:21 +0000calco(~calco@47.200.15.90)
2022-12-24 05:18:41 +0000calco(~calco@47.200.15.90) ()
2022-12-24 05:18:56 +0000calco(~calco@47.200.15.90)
2022-12-24 05:19:04 +0000calco(~calco@47.200.15.90) ()
2022-12-24 05:19:09 +0000calco(~calco@47.200.15.90)
2022-12-24 05:20:10 +0000calco(~calco@47.200.15.90) (Remote host closed the connection)
2022-12-24 05:20:32 +0000calco(~calco@47.200.15.90)
2022-12-24 05:20:49 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-12-24 05:21:50 +0000 <calco> hello?
2022-12-24 05:22:01 +0000 <calco> does anybody copy
2022-12-24 05:23:40 +0000GrumpyOldGandalf(~GrumpyOld@47.200.15.90)
2022-12-24 05:25:56 +0000wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-12-24 05:26:12 +0000 <pavonia> Hello
2022-12-24 05:26:25 +0000 <GrumpyOldGandalf> Hi
2022-12-24 05:26:27 +0000 <calco> how goes?
2022-12-24 05:27:01 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-12-24 05:31:10 +0000 <calco> I'm looking for some beginner haskell help, if anyone's willing
2022-12-24 05:36:26 +0000 <pavonia> Go ahead and ask your question
2022-12-24 05:37:29 +0000mbuf(~Shakthi@49.204.138.163)
2022-12-24 05:38:22 +0000 <calco> I'm working on a tic tac toe app for practice, and I want to structure it all using pattern matching and generally improve my functions
2022-12-24 05:39:04 +0000 <calco> I have low cardinality data types, and some function outlines, but I could use some pointers for how to improve the program in general
2022-12-24 05:39:16 +0000 <calco> should I share the file somehow?
2022-12-24 05:40:16 +0000 <pavonia> Yeah, the pastebin at https://paste.tomsmeding.com/ is preferred in this channel
2022-12-24 05:40:52 +0000v0id_ptr(~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 265 seconds)
2022-12-24 05:43:36 +0000jinsun__(~jinsun@user/jinsun)
2022-12-24 05:43:36 +0000jinsun(~jinsun@user/jinsun) (Killed (platinum.libera.chat (Nickname regained by services)))
2022-12-24 05:43:36 +0000jinsun__jinsun
2022-12-24 05:46:36 +0000GrumpyOldGandalf(~GrumpyOld@47.200.15.90) (Quit: Ping timeout (120 seconds))
2022-12-24 05:57:46 +0000lambdap237(~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap237)
2022-12-24 05:58:30 +0000lambdap237(~lambdap@static.167.190.119.168.clients.your-server.de)
2022-12-24 05:59:24 +0000joeyh(joeyh@2600:3c03::f03c:91ff:fe73:b0d2) (Quit: ZNC 1.8.2+deb2+b5 - https://znc.in)
2022-12-24 05:59:41 +0000joeyh(~joeyh@kitenet.net)
2022-12-24 06:07:09 +0000v0id_ptr(~adrift@user/ptr-frac7al/x-0038398)
2022-12-24 06:08:43 +0000jargon_(~jargon@174-22-197-118.phnx.qwest.net) (Ping timeout: 248 seconds)
2022-12-24 06:14:40 +0000libertyprime(~libertypr@203.96.203.167) (Ping timeout: 272 seconds)
2022-12-24 06:18:28 +0000 <Inst_> int-e i actually asked a production haskeller about foldb
2022-12-24 06:18:53 +0000 <Inst_> it matches parallelization algorithms he uses, although he always sets the sparks too small
2022-12-24 06:22:30 +0000 <int-e> Hah. When did "MapReduce" stop being a buzzword? Haven't heard it in a while.
2022-12-24 06:25:26 +0000libertyprime(~libertypr@203.96.203.167)
2022-12-24 06:26:44 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2022-12-24 06:30:04 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-24 06:31:46 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 272 seconds)
2022-12-24 06:39:18 +0000segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2022-12-24 06:41:46 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-24 06:43:55 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 06:43:58 +0000GrumpyOldGandalf(~GrumpyOld@47.200.15.90)
2022-12-24 06:54:54 +0000GrumpyOldGandalf(~GrumpyOld@47.200.15.90) (Quit: Ping timeout (120 seconds))
2022-12-24 07:00:26 +0000v0id_ptr(~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 246 seconds)
2022-12-24 07:02:10 +0000calco(~calco@47.200.15.90) (Ping timeout: 272 seconds)
2022-12-24 07:02:20 +0000kenran(~user@user/kenran)
2022-12-24 07:02:24 +0000ft(~ft@p4fc2a257.dip0.t-ipconnect.de) (Quit: leaving)
2022-12-24 07:03:10 +0000kenran(~user@user/kenran) (Remote host closed the connection)
2022-12-24 07:04:35 +0000justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds)
2022-12-24 07:06:20 +0000justsomeguy(~justsomeg@user/justsomeguy)
2022-12-24 07:07:00 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-24 07:30:50 +0000Inst_Inst
2022-12-24 07:31:14 +0000 <Inst> also, @int-e, do you know anything
2022-12-24 07:31:17 +0000 <Inst> about primeswing?
2022-12-24 07:31:23 +0000 <Inst> I'm benchmarking Haskell vs Julia
2022-12-24 07:31:38 +0000 <Inst> I actually got GHCI to beat Julia in implementing a naive fibonacci function
2022-12-24 07:43:50 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2022-12-24 07:50:11 +0000libertyprime(~libertypr@203.96.203.167) (Ping timeout: 246 seconds)
2022-12-24 08:05:53 +0000libertyprime(~libertypr@203.96.203.167)
2022-12-24 08:19:36 +0000mvk(~mvk@2607:fea8:5ce3:8500::d789) (Quit: Going elsewhere)
2022-12-24 08:24:33 +0000mei(~mei@user/mei)
2022-12-24 08:25:31 +0000risko(~risko@85.195.196.52)
2022-12-24 08:27:57 +0000gmg(~user@user/gehmehgeh)
2022-12-24 08:32:09 +0000libertyprime(~libertypr@203.96.203.167) (Ping timeout: 268 seconds)
2022-12-24 08:32:20 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:1dcc:166b:1177:c3e0) (Remote host closed the connection)
2022-12-24 08:40:49 +0000pwug(~pwug@user/pwug) (Quit: Leaving)
2022-12-24 08:44:25 +0000zeenk(~zeenk@2a02:2f04:a008:a200::7fe)
2022-12-24 08:47:38 +0000ft(~ft@x52716366.dyn.telefonica.de)
2022-12-24 08:51:24 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 260 seconds)
2022-12-24 08:55:31 +0000libertyprime(~libertypr@203.96.203.167)
2022-12-24 09:00:29 +0000beefbambi(~beefbambi@183.82.206.239) (Read error: Connection reset by peer)
2022-12-24 09:00:40 +0000beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-24 09:01:36 +0000beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-24 09:02:00 +0000beefbambi(~beefbambi@183.82.206.239)
2022-12-24 09:04:00 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 09:07:53 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2022-12-24 09:10:32 +0000beefbambi(~beefbambi@183.82.206.239) (Read error: Connection reset by peer)
2022-12-24 09:10:59 +0000beefbambi(~beefbambi@183.82.206.239)
2022-12-24 09:11:10 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-24 09:13:48 +0000beefbambi(~beefbambi@183.82.206.239) (Read error: Connection reset by peer)
2022-12-24 09:13:49 +0000Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi)
2022-12-24 09:15:10 +0000libertyprime(~libertypr@203.96.203.167) (Ping timeout: 272 seconds)
2022-12-24 09:20:30 +0000rnat(uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-12-24 09:28:27 +0000alloca(~alloca@user/suppi)
2022-12-24 09:32:45 +0000libertyprime(~libertypr@203.96.203.167)
2022-12-24 09:32:47 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3)
2022-12-24 09:37:41 +0000beefbambi(~beefbambi@183.82.206.239)
2022-12-24 09:37:43 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) (Ping timeout: 260 seconds)
2022-12-24 09:43:33 +0000mei(~mei@user/mei) (Quit: mei)
2022-12-24 09:45:55 +0000libertyprime(~libertypr@203.96.203.167) (Ping timeout: 265 seconds)
2022-12-24 09:52:10 +0000Guest34(~Guest34@2600:387:3:801::82)
2022-12-24 09:52:36 +0000Guest34(~Guest34@2600:387:3:801::82) ()
2022-12-24 09:55:17 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net)
2022-12-24 09:56:06 +0000ft(~ft@x52716366.dyn.telefonica.de) (Quit: leaving)
2022-12-24 10:01:32 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1)
2022-12-24 10:05:46 +0000jakalx(~jakalx@base.jakalx.net) ()
2022-12-24 10:11:05 +0000ft(~ft@x52716366.dyn.telefonica.de)
2022-12-24 10:17:52 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-24 10:19:01 +0000Guest323(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-12-24 10:21:40 +0000jakalx(~jakalx@base.jakalx.net)
2022-12-24 10:25:16 +0000zeenk(~zeenk@2a02:2f04:a008:a200::7fe) (Quit: Konversation terminated!)
2022-12-24 10:27:47 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2022-12-24 10:28:13 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-12-24 10:28:50 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-12-24 10:39:37 +0000fizbin(~fizbin@user/fizbin)
2022-12-24 10:48:00 +0000econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-12-24 10:52:53 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2022-12-24 10:55:52 +0000troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 272 seconds)
2022-12-24 10:58:51 +0000`2jt(~jtomas@84.red-88-17-186.dynamicip.rima-tde.net)
2022-12-24 11:04:37 +0000talismanick(~talismani@76.133.152.122) (Remote host closed the connection)
2022-12-24 11:05:36 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-12-24 11:09:34 +0000bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2022-12-24 11:13:43 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 260 seconds)
2022-12-24 11:25:17 +0000ft(~ft@x52716366.dyn.telefonica.de) (Quit: leaving)
2022-12-24 11:25:20 +0000beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-12-24 11:27:29 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 11:29:08 +0000cheater_(~Username@user/cheater)
2022-12-24 11:30:35 +0000haskl(~haskl@user/haskl) (Read error: Connection reset by peer)
2022-12-24 11:32:13 +0000cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2022-12-24 11:32:23 +0000cheater_cheater
2022-12-24 11:33:13 +0000haskl(~haskl@user/haskl)
2022-12-24 11:46:38 +0000akegalj(~akegalj@89-172-25-154.adsl.net.t-com.hr)
2022-12-24 11:46:46 +0000OscarZ(~oscarz@95.175.104.82)
2022-12-24 11:52:58 +0000shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-12-24 11:55:46 +0000 <Profpatsch> Is there a newtype instance of UnliftIO that witnesses the correspondence to MonadBaseControl?
2022-12-24 11:55:54 +0000 <Profpatsch> MonadBaseControl IO that is
2022-12-24 11:57:09 +0000__monty__(~toonn@user/toonn)
2022-12-24 12:06:39 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-12-24 12:14:27 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2022-12-24 12:15:34 +0000Guest323(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2022-12-24 12:20:54 +0000Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving)
2022-12-24 12:31:11 +0000Xeroine(~Xeroine@user/xeroine) (Read error: Connection reset by peer)
2022-12-24 12:32:20 +0000Xeroine(~Xeroine@user/xeroine)
2022-12-24 12:32:58 +0000bjourne(~helloman@94.191.152.62)
2022-12-24 12:36:12 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3)
2022-12-24 12:38:12 +0000bjourne(~helloman@94.191.152.62) (Read error: Connection reset by peer)
2022-12-24 12:39:30 +0000Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2022-12-24 12:40:22 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) (Ping timeout: 252 seconds)
2022-12-24 12:42:11 +0000dextaa3(~DV@user/dextaa)
2022-12-24 12:43:20 +0000akhesacaro(~caro@212-83-144-58.rev.poneytelecom.eu) (Ping timeout: 260 seconds)
2022-12-24 12:44:00 +0000razetime(~quassel@49.207.230.181) (Remote host closed the connection)
2022-12-24 12:44:10 +0000dextaa(~DV@user/dextaa) (Ping timeout: 272 seconds)
2022-12-24 12:44:10 +0000dextaa3dextaa
2022-12-24 12:50:07 +0000MajorBiscuit(~MajorBisc@31-23-159.netrun.cytanet.com.cy)
2022-12-24 12:58:30 +0000fizbin(~fizbin@user/fizbin) (Remote host closed the connection)
2022-12-24 12:58:50 +0000fizbin(~fizbin@user/fizbin)
2022-12-24 12:58:53 +0000akegalj(~akegalj@89-172-25-154.adsl.net.t-com.hr) (Ping timeout: 246 seconds)
2022-12-24 13:02:38 +0000risko(~risko@85.195.196.52) (Remote host closed the connection)
2022-12-24 13:08:00 +0000OscarZ(~oscarz@95.175.104.82) (Ping timeout: 252 seconds)
2022-12-24 13:11:24 +0000fizbin(~fizbin@user/fizbin) (Ping timeout: 272 seconds)
2022-12-24 13:21:58 +0000ft(~ft@87.122.12.144)
2022-12-24 13:30:05 +0000troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-12-24 13:32:28 +0000OscarZ(~oscarz@95.175.104.82)
2022-12-24 13:42:23 +0000calco(~calco@47.200.15.90)
2022-12-24 13:54:14 +0000jakalx(~jakalx@base.jakalx.net) ()
2022-12-24 13:57:27 +0000jakalx(~jakalx@base.jakalx.net)
2022-12-24 13:57:45 +0000unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36)
2022-12-24 14:00:04 +0000morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-24 14:05:14 +0000morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2022-12-24 14:09:34 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-24 14:10:35 +0000OscarZ(~oscarz@95.175.104.82) (Ping timeout: 260 seconds)
2022-12-24 14:12:32 +0000OscarZ(~oscarz@95.175.104.82)
2022-12-24 14:14:47 +0000`2jt(~jtomas@84.red-88-17-186.dynamicip.rima-tde.net) (Ping timeout: 246 seconds)
2022-12-24 14:20:59 +0000unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 248 seconds)
2022-12-24 14:21:07 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-24 14:24:31 +0000beefbambi(~beefbambi@183.82.206.239) (Ping timeout: 256 seconds)
2022-12-24 14:25:17 +0000beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-24 14:33:17 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2022-12-24 14:33:43 +0000jespada(~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com)
2022-12-24 14:34:16 +0000beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-24 14:35:11 +0000beefbambi(~beefbambi@183.82.206.239)
2022-12-24 14:36:29 +0000fizbin(~fizbin@user/fizbin)
2022-12-24 14:37:21 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-12-24 14:40:16 +0000img(~img@user/img)
2022-12-24 14:41:54 +0000thongpv87(~thongpv87@2001:ee0:54a8:aee0:3ddf:576f:86ec:d738)
2022-12-24 14:41:54 +0000beefbambi(~beefbambi@183.82.206.239) (Read error: Connection reset by peer)
2022-12-24 14:42:00 +0000mikoto-chan(~mikoto-ch@85-76-108-195-nat.elisa-mobile.fi)
2022-12-24 14:42:16 +0000beefbambi(~beefbambi@183.82.206.239)
2022-12-24 14:45:08 +0000jakalx(~jakalx@base.jakalx.net) ()
2022-12-24 14:45:09 +0000beefbambi(~beefbambi@183.82.206.239) (Read error: Connection reset by peer)
2022-12-24 14:45:43 +0000beefbambi(~beefbambi@183.82.206.239)
2022-12-24 14:46:59 +0000mauke(~mauke@user/mauke) (Quit: bbl)
2022-12-24 14:46:59 +0000beefbambi(~beefbambi@183.82.206.239) (Read error: Connection reset by peer)
2022-12-24 14:47:21 +0000beefbambi(~beefbambi@183.82.206.239)
2022-12-24 14:48:07 +0000jakalx(~jakalx@base.jakalx.net)
2022-12-24 14:50:19 +0000jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds)
2022-12-24 14:50:20 +0000beefbambi(~beefbambi@183.82.206.239) (Read error: Connection reset by peer)
2022-12-24 14:51:03 +0000beefbambi(~beefbambi@183.82.206.239)
2022-12-24 14:56:04 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2022-12-24 14:57:12 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-12-24 14:57:40 +0000tremon(~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl)
2022-12-24 14:57:48 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2022-12-24 15:00:58 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 272 seconds)
2022-12-24 15:03:50 +0000Guest323(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-12-24 15:09:32 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 15:11:54 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1)
2022-12-24 15:12:22 +0000Sciencentistguy9(~sciencent@hacksoc/ordinary-member)
2022-12-24 15:14:04 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 260 seconds)
2022-12-24 15:14:35 +0000Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 264 seconds)
2022-12-24 15:14:35 +0000Sciencentistguy9Sciencentistguy
2022-12-24 15:14:36 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2022-12-24 15:39:14 +0000OscarZ(~oscarz@95.175.104.82) (Ping timeout: 265 seconds)
2022-12-24 15:39:36 +0000Guest323(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds)
2022-12-24 15:40:27 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 15:42:32 +0000beefbambi(~beefbambi@183.82.206.239) (Read error: Connection reset by peer)
2022-12-24 15:43:15 +0000beefbambi(~beefbambi@183.82.206.239)
2022-12-24 15:43:27 +0000mikoto-chan(~mikoto-ch@85-76-108-195-nat.elisa-mobile.fi) (Ping timeout: 260 seconds)
2022-12-24 15:45:14 +0000beefbambi(~beefbambi@183.82.206.239) (Read error: Connection reset by peer)
2022-12-24 15:45:18 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 272 seconds)
2022-12-24 15:46:06 +0000beefbambi(~beefbambi@183.82.206.239)
2022-12-24 15:49:06 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-24 15:49:06 +0000beefbambi(~beefbambi@183.82.206.239) (Read error: Connection reset by peer)
2022-12-24 15:49:59 +0000beefbambi(~beefbambi@183.82.206.239)
2022-12-24 15:55:07 +0000tf64(~tf64@5.42.88.91)
2022-12-24 15:55:07 +0000 <tf64> hi
2022-12-24 15:55:08 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2022-12-24 15:55:20 +0000 <geekosaur> hello
2022-12-24 15:55:35 +0000tf64(~tf64@5.42.88.91) (Client Quit)
2022-12-24 15:56:39 +0000calco(~calco@47.200.15.90) (Ping timeout: 260 seconds)
2022-12-24 15:57:03 +0000calco(~calco@47.200.15.90)
2022-12-24 16:01:13 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-12-24 16:01:33 +0000son0p(~ff@2604:3d08:5b7f:5540::417e) (Ping timeout: 260 seconds)
2022-12-24 16:01:53 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2022-12-24 16:05:54 +0000jargon(~jargon@174-22-197-118.phnx.qwest.net)
2022-12-24 16:06:38 +0000[itchyjunk][itchychristmas]
2022-12-24 16:07:16 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-24 16:10:20 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 16:13:20 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-12-24 16:14:16 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-12-24 16:15:00 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 265 seconds)
2022-12-24 16:18:55 +0000justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds)
2022-12-24 16:23:59 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-12-24 16:24:45 +0000Guest6826(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-12-24 16:27:59 +0000`2jt(~jtomas@84.red-88-17-186.dynamicip.rima-tde.net)
2022-12-24 16:30:06 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 16:35:11 +0000Bocaneri(~sauvin@user/Sauvin)
2022-12-24 16:35:23 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 248 seconds)
2022-12-24 16:35:35 +0000BocaneriGuest4241
2022-12-24 16:36:03 +0000 <calco> aeyo
2022-12-24 16:36:31 +0000 <calco> hows it kickin' y'all
2022-12-24 16:37:03 +0000 <geekosaur> not sure anyone else is around today 🙂
2022-12-24 16:38:05 +0000Sauvin(~sauvin@user/Sauvin) (Ping timeout: 268 seconds)
2022-12-24 16:38:14 +0000Guest4241Sauvin
2022-12-24 16:38:33 +0000 <geekosaur> I'm not stupid enough to go out in high winds and temperatures colder than my freezer gets
2022-12-24 16:38:48 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3)
2022-12-24 16:40:28 +0000 <calco> you know it's bad when florida starts getting freeze warnings
2022-12-24 16:40:41 +0000 <calco> might have to put a t-shirt on...
2022-12-24 16:40:50 +0000 <calco> >:(
2022-12-24 16:43:33 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) (Ping timeout: 260 seconds)
2022-12-24 16:44:24 +0000mbuf(~Shakthi@49.204.138.163) (Quit: Leaving)
2022-12-24 16:45:44 +0000phma(phma@2001:5b0:210d:bff8:d3d6:20cf:c049:77a5) (Read error: Connection reset by peer)
2022-12-24 16:46:38 +0000phma(phma@2001:5b0:211f:688:19e1:3069:d7a4:6bdd)
2022-12-24 16:50:40 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 16:52:24 +0000sayola(~sayola@dslb-002-201-085-035.002.201.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2022-12-24 16:53:27 +0000Guest6826(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2022-12-24 16:56:26 +0000OscarZ(~oscarz@95.175.104.82)
2022-12-24 16:59:07 +0000segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-12-24 17:02:16 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-24 17:02:24 +0000Guest|58(~Guest|58@18.29.22.0)
2022-12-24 17:02:33 +0000Guest|58(~Guest|58@18.29.22.0) (Client Quit)
2022-12-24 17:12:38 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-24 17:16:19 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-12-24 17:27:53 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-12-24 17:28:03 +0000econo(uid147250@user/econo)
2022-12-24 17:28:24 +0000justsomeguy(~justsomeg@user/justsomeguy)
2022-12-24 17:31:24 +0000beefbambi(~beefbambi@183.82.206.239) (Read error: Connection reset by peer)
2022-12-24 17:31:40 +0000beefbambi(~beefbambi@183.82.206.239)
2022-12-24 17:32:37 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2022-12-24 17:34:13 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2022-12-24 17:37:02 +0000morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-24 17:41:31 +0000morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2022-12-24 17:44:55 +0000reda(~reda@user/reda) (Quit: Lost terminal)
2022-12-24 17:57:05 +0000cheater_(~Username@user/cheater)
2022-12-24 17:57:59 +0000cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2022-12-24 17:58:01 +0000cheater_cheater
2022-12-24 18:00:04 +0000ddellacosta(~ddellacos@static-198-44-136-56.cust.tzulo.com)
2022-12-24 18:04:10 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-24 18:06:06 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-12-24 18:06:06 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-12-24 18:06:06 +0000wroathe(~wroathe@user/wroathe)
2022-12-24 18:06:21 +0000kimiamania(~65804703@user/kimiamania) (Quit: PegeLinux)
2022-12-24 18:07:38 +0000shapr(~user@68.54.166.125)
2022-12-24 18:07:50 +0000kimiamania(~65804703@user/kimiamania)
2022-12-24 18:08:55 +0000OscarZ(~oscarz@95.175.104.82) (Ping timeout: 256 seconds)
2022-12-24 18:09:45 +0000son0p(~ff@2604:3d08:5b7f:5540::cfe6)
2022-12-24 18:14:53 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2022-12-24 18:21:35 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 252 seconds)
2022-12-24 18:25:05 +0000mikoto-chan(~mikoto-ch@85-76-117-17-nat.elisa-mobile.fi)
2022-12-24 18:27:19 +0000OscarZ(~oscarz@95.175.104.82)
2022-12-24 18:29:42 +0000ddellacosta(~ddellacos@static-198-44-136-56.cust.tzulo.com) (Ping timeout: 268 seconds)
2022-12-24 18:39:02 +0000gdd(~gdd@2001:470:1f13:187:f1d9:2c39:d075:f0d3) (Ping timeout: 265 seconds)
2022-12-24 18:39:44 +0000gdd(~gdd@2001:470:1f13:187:3362:f9dd:3b29:2ee1)
2022-12-24 18:40:16 +0000Guest323(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-12-24 18:41:57 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 18:47:15 +0000bjourne(~helloman@94.191.152.96)
2022-12-24 18:48:42 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 265 seconds)
2022-12-24 18:49:22 +0000mikoto-chan(~mikoto-ch@85-76-117-17-nat.elisa-mobile.fi) (Ping timeout: 252 seconds)
2022-12-24 18:50:28 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-12-24 18:57:49 +0000famubu(~famubu@user/famubu)
2022-12-24 18:58:21 +0000 <famubu> Hi. I was doing `1=2` in ghci and it gave no error. What gives? I obviously am missing something basic.
2022-12-24 18:59:13 +0000 <geekosaur> it's just a lazy pattern match, that can never be seen because there's no binding that could be used to force it
2022-12-24 19:00:22 +0000 <geekosaur> so it just sits there taking up memory until it gets garbage collected because it's unreachable
2022-12-24 19:00:23 +0000 <hpc> the googleable term is "irrefutable pattern"
2022-12-24 19:00:38 +0000 <hpc> > let ~(Just x) = Nothing in x
2022-12-24 19:00:39 +0000 <lambdabot> *Exception: <interactive>:3:5-23: Non-exhaustive patterns in Just x
2022-12-24 19:00:48 +0000 <hpc> ^ what happens when one gets forced
2022-12-24 19:01:45 +0000Guest323(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds)
2022-12-24 19:03:33 +0000 <famubu> Oh.. Thanks!
2022-12-24 19:03:49 +0000 <famubu> The `~` is to force eval, right?
2022-12-24 19:04:23 +0000 <geekosaur> the opposite. `let` bindings, unlike top level beindings, are strict; the ~ is needed to make it lazy
2022-12-24 19:04:35 +0000 <geekosaur> ]then attempting to access `x` forces the lazy pattern
2022-12-24 19:04:54 +0000 <hpc> a strict pattern match looks like
2022-12-24 19:05:03 +0000 <hpc> > let !(Just x) = Nothing in "this"
2022-12-24 19:05:05 +0000 <lambdabot> "*Exception: <interactive>:3:5-23: Non-exhaustive patterns in Just x
2022-12-24 19:05:19 +0000 <hpc> notice x isn't used, but it still dies
2022-12-24 19:05:44 +0000 <geekosaur> > let ~(Just x) = Nothing in "this" -- this, on the other hand, works
2022-12-24 19:05:46 +0000 <lambdabot> "this"
2022-12-24 19:06:12 +0000 <hpc> > let jx@(Just x) = Just 5 in (x, jx) -- and just for completeness, at-patterns give you the whole thing's name at the same time you match on it
2022-12-24 19:06:13 +0000 <lambdabot> (5,Just 5)
2022-12-24 19:07:30 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-24 19:15:50 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 19:16:41 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-24 19:20:37 +0000Cale_(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com)
2022-12-24 19:21:03 +0000Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Read error: Connection reset by peer)
2022-12-24 19:22:49 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 252 seconds)
2022-12-24 19:27:41 +0000Cale_Cale
2022-12-24 19:29:12 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 19:32:09 +0000iqubic(~avi@2601:602:9502:c70:4602:12a1:6697:a25f) (Read error: Connection reset by peer)
2022-12-24 19:33:26 +0000iqubic(~avi@2601:602:9502:c70:4602:12a1:6697:a25f)
2022-12-24 19:38:46 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2022-12-24 19:39:38 +0000segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds)
2022-12-24 19:42:13 +0000 <carbolymer> I think I'm having a brain fart with lenses, why this does not work: https://c-v.sh/mainstreamcotquean.txt ?
2022-12-24 19:42:55 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3)
2022-12-24 19:45:17 +0000 <carbolymer> ah yes, ghci couldn't guess the type of `[1]`
2022-12-24 19:45:23 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-24 19:45:56 +0000pavonia(~user@user/siracusa)
2022-12-24 19:49:37 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-24 19:50:09 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-12-24 19:51:27 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-12-24 19:51:46 +0000mikoto-chan(~mikoto-ch@85-76-51-255-nat.elisa-mobile.fi)
2022-12-24 19:52:10 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-12-24 19:52:27 +0000Sgeo(~Sgeo@user/sgeo)
2022-12-24 19:56:44 +0000Neuromancer(~Neuromanc@user/neuromancer) (Remote host closed the connection)
2022-12-24 20:05:44 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 260 seconds)
2022-12-24 20:09:02 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-12-24 20:09:41 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 20:14:28 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 272 seconds)
2022-12-24 20:17:38 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 20:23:20 +0000igghibu(~igghibu@37.120.201.91)
2022-12-24 20:24:24 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 268 seconds)
2022-12-24 20:27:43 +0000famubu(~famubu@user/famubu) (Ping timeout: 252 seconds)
2022-12-24 20:36:45 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 20:40:53 +0000mikoto-chan(~mikoto-ch@85-76-51-255-nat.elisa-mobile.fi) (Ping timeout: 246 seconds)
2022-12-24 20:44:27 +0000ddellacosta(~ddellacos@89.45.224.116)
2022-12-24 20:51:13 +0000cheater_(~Username@user/cheater)
2022-12-24 20:54:22 +0000cheater(~Username@user/cheater) (Ping timeout: 272 seconds)
2022-12-24 20:54:28 +0000cheater_cheater
2022-12-24 20:57:53 +0000ddellacosta(~ddellacos@89.45.224.116) (Ping timeout: 260 seconds)
2022-12-24 21:00:10 +0000freeside(~mengwong@103.252.202.159) (Ping timeout: 265 seconds)
2022-12-24 21:09:19 +0000fizbin(~fizbin@user/fizbin) (Ping timeout: 260 seconds)
2022-12-24 21:10:13 +0000tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2022-12-24 21:12:28 +0000tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2022-12-24 21:13:06 +0000freeside(~mengwong@103.252.202.159)
2022-12-24 21:13:54 +0000shriekingnoise(~shrieking@186.137.167.202)
2022-12-24 21:17:19 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-12-24 21:19:13 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-12-24 21:31:46 +0000`2jt(~jtomas@84.red-88-17-186.dynamicip.rima-tde.net) (Quit: Leaving)
2022-12-24 21:38:13 +0000mvk(~mvk@2607:fea8:5ce3:8500::3ed5)
2022-12-24 21:50:13 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-12-24 21:50:13 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-12-24 21:50:13 +0000wroathe(~wroathe@user/wroathe)
2022-12-24 21:57:50 +0000hubert(uid582073@id-582073.helmsley.irccloud.com)
2022-12-24 22:01:50 +0000justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds)
2022-12-24 22:07:20 +0000 <hololeap> @hackage lifted-base -- Profpatsch: you might want this?
2022-12-24 22:07:20 +0000 <lambdabot> https://hackage.haskell.org/package/lifted-base -- Profpatsch: you might want this?
2022-12-24 22:08:49 +0000igghibu(~igghibu@37.120.201.91) (Quit: igghibu)
2022-12-24 22:08:58 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-12-24 22:10:14 +0000 <hololeap> not that it's what you're asking for, but I guessed you're looking for some of the extra stuff in unliftio but for MonadBaseControl
2022-12-24 22:10:58 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-24 22:12:09 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-24 22:25:04 +0000acidjnk(~acidjnk@p200300d6e7137a38ed09692e24fc2d3d.dip0.t-ipconnect.de)
2022-12-24 22:43:46 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-12-24 22:44:39 +0000reda(~reda@user/reda)
2022-12-24 22:45:21 +0000jmdaemon(~jmdaemon@user/jmdaemon)
2022-12-24 22:57:14 +0000 <Profpatsch> hololeap: hrm yeah, postgresql-simple in my case
2022-12-24 22:57:24 +0000 <Profpatsch> I’m really annoyed at this mtl stuff
2022-12-24 22:57:39 +0000 <Profpatsch> I feel like it’s one of the super unergonomic parts of Haskell
2022-12-24 23:00:11 +0000 <hololeap> the competing libs that do similar things with no compatibility layers seems to be a constant problem with hackage/haskell. it seems like more of a social problem than a technical one, IMO
2022-12-24 23:00:53 +0000 <geekosaur> I've never had trouble with mtl, but I do think as soon as you've reached for unliftio you've invited trouble in general
2022-12-24 23:05:58 +0000 <geekosaur> I feel like unliftio is trying to be a general solution to a problem that has no general solution, the complexity of MonadBaseControl is proof, and mtl is an exclamation mark on the whole thing
2022-12-24 23:07:32 +0000 <MelMalik> = 167
2022-12-24 23:12:28 +0000 <jackdk> I don't think that's right, because unliftio is by design less general than MonadBaseControl
2022-12-24 23:14:13 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-24 23:14:37 +0000 <geekosaur> it is nevertheless hitting a form of the same problem
2022-12-24 23:15:20 +0000 <hololeap> @hackage unlift-stm -- I wrote this not knowing about MonadBaseControl. I may not have written it if I had known
2022-12-24 23:15:20 +0000 <lambdabot> https://hackage.haskell.org/package/unlift-stm -- I wrote this not knowing about MonadBaseControl. I may not have written it if I had known
2022-12-24 23:19:59 +0000poscat(~poscat@114.245.108.192) (Ping timeout: 264 seconds)
2022-12-24 23:20:59 +0000poscat(~poscat@114.245.108.12)
2022-12-24 23:25:10 +0000 <hololeap> given the isomorphisms present in ReaderT and IdentityT, doesn't the existence of unliftio make sense? I never fully understood the other transformers that MonadBaseControl supports
2022-12-24 23:26:29 +0000 <hololeap> but the fact is, this should work with monads other than IO so why not generalize it?
2022-12-24 23:27:12 +0000 <hololeap> my lib that I just linked to was a lot of copy-and-paste from unliftio and replacing IO with STM
2022-12-24 23:30:55 +0000jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-12-24 23:32:23 +0000poscat0x04(~poscat@2408:8206:4821:ed55:59ff:d2f4:c62a:1acc)
2022-12-24 23:32:49 +0000poscat(~poscat@114.245.108.12) (Ping timeout: 260 seconds)
2022-12-24 23:34:11 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-12-24 23:35:35 +0000 <hololeap> ReaderT r (t m) a ~ t (ReaderT r m) a -- and -- ReaderT r m a ~ r -> m a ~ Reader r (m a)
2022-12-24 23:35:44 +0000 <hololeap> so this gives a lot of wiggle-room
2022-12-24 23:35:48 +0000jakalx(~jakalx@base.jakalx.net)
2022-12-24 23:36:07 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-24 23:36:53 +0000poscat0x04(~poscat@2408:8206:4821:ed55:59ff:d2f4:c62a:1acc) (Ping timeout: 246 seconds)
2022-12-24 23:37:32 +0000poscat(~poscat@114.245.110.107)
2022-12-24 23:40:56 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-12-24 23:41:08 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
2022-12-24 23:41:36 +0000talismanick(~talismani@76.133.152.122)
2022-12-24 23:42:09 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-24 23:42:30 +0000Guest323(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-12-24 23:44:10 +0000zebrag(~chris@user/zebrag)
2022-12-24 23:45:48 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-12-24 23:46:51 +0000acidjnk(~acidjnk@p200300d6e7137a38ed09692e24fc2d3d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-12-24 23:47:02 +0000MajorBiscuit(~MajorBisc@31-23-159.netrun.cytanet.com.cy) (Quit: WeeChat 3.6)
2022-12-24 23:47:23 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds)
2022-12-24 23:48:31 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-24 23:53:23 +0000cheater_(~Username@user/cheater)
2022-12-24 23:56:32 +0000cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2022-12-24 23:56:40 +0000cheater_cheater
2022-12-24 23:58:23 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2022-12-24 23:59:56 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)