2025/05/06

Newest at the top

2025-05-06 19:16:21 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-05-06 19:15:33 +0200thelounge9847(~thelounge@host-176-38-28-247.b026.la.net.ua) (Quit: The Lounge - https://thelounge.chat)
2025-05-06 19:15:09 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-06 19:13:26 +0200acidjnk(~acidjnk@p200300d6e71c4f5301468c1cc0256076.dip0.t-ipconnect.de) acidjnk
2025-05-06 19:11:55 +0200 <int-e> EvanR: exactly
2025-05-06 19:10:56 +0200thelounge9847(~thelounge@host-176-38-28-247.b026.la.net.ua)
2025-05-06 19:08:44 +0200JuanDaughertyColinRobinson
2025-05-06 19:08:39 +0200euleritian(~euleritia@dynamic-176-006-138-148.176.6.pool.telefonica.de)
2025-05-06 19:08:20 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-05-06 18:56:49 +0200 <EvanR> currying ... the implementation of multi-argument functions as nested single argument functions. Haskell only has single argument functions then GHC can take the liberty of implementing them as multiargument functions. The exact opposite!
2025-05-06 18:51:12 +0200 <int-e> (Though that's GHC territory, not Haskell per se.)
2025-05-06 18:51:10 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-06 18:49:56 +0200 <int-e> heh but maybe you could make the argument that the "S" in "STG" is a form of automatic uncurrying
2025-05-06 18:47:30 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-05-06 18:47:04 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-06 18:47:01 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-05-06 18:46:49 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-05-06 18:46:04 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-06 18:45:23 +0200 <ski> yin : fwiw, Haskell does not "feature automatic currying"
2025-05-06 18:31:58 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 252 seconds)
2025-05-06 18:24:39 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 268 seconds)
2025-05-06 18:23:37 +0200tromp(~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61)
2025-05-06 18:21:08 +0200tromp(~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-06 17:59:37 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:70a8:360f:569f:e3f9) (Quit: ubert)
2025-05-06 17:54:35 +0200acidjnk(~acidjnk@p200300d6e71c4f530114fa8f2e8a4c12.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-05-06 17:50:56 +0200adamCS(~adamCS@70.19.85.77) adamCS
2025-05-06 17:49:27 +0200adamCS(~adamCS@70.19.85.77) (Remote host closed the connection)
2025-05-06 17:45:42 +0200chele_(~chele@user/chele) (Ping timeout: 276 seconds)
2025-05-06 17:35:12 +0200jespada(~jespada@r179-25-149-142.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-05-06 17:33:14 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-06 17:32:45 +0200jespada_(~jespada@r179-24-30-150.dialup.adsl.anteldata.net.uy) jespada
2025-05-06 17:32:12 +0200tv(~tv@user/tv) (Read error: Connection reset by peer)
2025-05-06 17:32:12 +0200lbseale(~quassel@user/ep1ctetus) ep1ctetus
2025-05-06 17:27:08 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-05-06 17:22:49 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-06 17:22:00 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-05-06 17:22:00 +0200 <haskellbridge> <Liamzee> dotmorphism is okay?
2025-05-06 17:17:43 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-06 17:13:47 +0200 <haskellbridge> <Liamzee> Claude and Deepseek convinced me and each other that Zeromorph was a good name, when it refers to a constant and co-constant morphism. facepalm
2025-05-06 17:13:01 +0200 <haskellbridge> <Liamzee> had a disaster with LLM just now, I was looking for Haskell-themed website names, oriented around the arrow from the initial object
2025-05-06 17:11:50 +0200 <haskellbridge> <Liamzee> "When you realize that Gabriella Gonzalez's haskellforall.com blog is actually a pun on explicit universal quantification"
2025-05-06 17:11:16 +0200 <haskellbridge> <Liamzee> things that happen to you in life:
2025-05-06 17:06:41 +0200connrs(~connrs@user/connrs) connrs
2025-05-06 17:04:44 +0200tromp(~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61)
2025-05-06 16:55:59 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-06 16:54:01 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2025-05-06 16:40:37 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 276 seconds)
2025-05-06 16:32:54 +0200tromp(~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-06 16:25:06 +0200ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-06 16:19:43 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal