2025/04/23

2025-04-23 00:01:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-23 00:06:22 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2025-04-23 00:10:42 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-04-23 00:12:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 00:12:38 +0200haritz(~hrtz@user/haritz) (Read error: Connection reset by peer)
2025-04-23 00:13:22 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-04-23 00:14:09 +0200xff0x(~xff0x@2405:6580:b080:900:508:dc06:51a:5a45) (Ping timeout: 245 seconds)
2025-04-23 00:17:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-23 00:19:20 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-04-23 00:19:20 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-04-23 00:19:20 +0200haritz(~hrtz@user/haritz) haritz
2025-04-23 00:28:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 00:32:55 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-04-23 00:33:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-23 00:43:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 00:44:02 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Read error: Connection reset by peer)
2025-04-23 00:44:17 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-04-23 00:47:59 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-04-23 00:48:21 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 248 seconds)
2025-04-23 00:48:36 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-04-23 00:51:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 00:52:43 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-04-23 00:54:22 +0200ljdarj2(~Thunderbi@user/ljdarj) ljdarj
2025-04-23 00:54:41 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Remote host closed the connection)
2025-04-23 00:56:15 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-04-23 00:56:15 +0200ljdarj2ljdarj
2025-04-23 00:57:05 +0200ljdarj1(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-04-23 01:01:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 01:05:14 +0200 <EvanR> wow I dug up a very critical memo throwing activeVRML under the bus in 1995 https://www.naturalinnovation.org/vrml/vrml2/activevrml_comparison_12dec95.pdf
2025-04-23 01:06:35 +0200 <EvanR> claiming the time varying behaviors are equivalent to objects getting events over time. That programmers naturally think in terms of procedures, do this, do that. Imperative programming, specifically in the form of java, is the future of the web
2025-04-23 01:06:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 01:07:43 +0200 <EvanR> that ML has been trying for decades to make an optimizing enough compiler and so far failed, so OOP is better
2025-04-23 01:07:59 +0200 <EvanR> (looks like they never heard of haskell)
2025-04-23 01:09:00 +0200 <EvanR> today VRML is not really at thing and in the end directly using OpenGL or Vulkan in the browser is what won
2025-04-23 01:09:17 +0200 <EvanR> thanks SGI
2025-04-23 01:13:01 +0200 <sm> cool, cool. I remember when that was really hot
2025-04-23 01:13:20 +0200 <sm> VR, man! It's crazy!
2025-04-23 01:13:30 +0200 <EvanR> yeah two years ago!
2025-04-23 01:13:33 +0200 <EvanR> time flies
2025-04-23 01:14:00 +0200 <EvanR> zuckerberg's failed metaverse
2025-04-23 01:14:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 01:15:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-23 01:16:34 +0200jespada(~jespada@r179-25-8-250.dialup.adsl.anteldata.net.uy) jespada
2025-04-23 01:16:42 +0200 <sm> memo seems convincing
2025-04-23 01:17:53 +0200jespada(~jespada@r179-25-8-250.dialup.adsl.anteldata.net.uy) (Client Quit)
2025-04-23 01:20:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-23 01:20:27 +0200 <EvanR> a summary of other proposals at the time https://rodger.global-linguist.com/a-short-history-of-vrml-2-0/
2025-04-23 01:21:05 +0200 <sm> also is it my imagination or is #haskell, IRC, matrix and the internet quieter than it used to be ?
2025-04-23 01:21:32 +0200 <EvanR> which claims that ActiveVRML "lives on"
2025-04-23 01:21:50 +0200EvanRlooks at haskellbridge
2025-04-23 01:21:58 +0200smneeds chat stats
2025-04-23 01:21:59 +0200 <EvanR> hmm
2025-04-23 01:22:35 +0200 <geekosaur> ircbrowse has them
2025-04-23 01:23:06 +0200 <geekosaur> but yes, things have been quieter of late
2025-04-23 01:23:16 +0200 <geekosaur> I think everyone's decamping for discord, sadly
2025-04-23 01:23:52 +0200 <int-e> EvanR: VRChat is a thing and even Second Life still exists... I don't know what Zuck was thinking his company could offer to supplant those.
2025-04-23 01:24:28 +0200 <EvanR> he had to do anything at the time to distract from the company's "issues"
2025-04-23 01:24:36 +0200 <EvanR> didn't have to make sense
2025-04-23 01:24:39 +0200 <int-e> But what level of accuracy for predicting the future do you really expect from "the future is video" guy.
2025-04-23 01:24:49 +0200sprotte24(~sprotte24@134.245.44.88) (Quit: Leaving)
2025-04-23 01:25:36 +0200comonad(~comonad@p200300d0274ba5000a84624e077d746c.dip0.t-ipconnect.de)
2025-04-23 01:25:36 +0200 <EvanR> technically ActiveWorlds still exists
2025-04-23 01:25:55 +0200 <EvanR> the future was there, in the past
2025-04-23 01:26:35 +0200 <int-e> As for the ActiveVRML thing... it really feels like MS doing MS things: Take an evolving open standard, jump on the train but do things in a obnoxiously incompatible way.
2025-04-23 01:27:26 +0200XZDX(~XZDX@user/XZDX) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/)
2025-04-23 01:29:32 +0200 <EvanR> yes, though it is funny, that it is basically FRP
2025-04-23 01:29:35 +0200 <int-e> Ironically optimizing compilers won in the end, and people use GL from JS (and now Webassembly).
2025-04-23 01:30:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 01:32:38 +0200 <int-e> EvanR: Yes. I saw that Conal Elliott was involved so that was an unexpected connection.
2025-04-23 01:35:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 01:35:39 +0200 <EvanR> in the abstract to An Embedded Modeling Language Approach to
2025-04-23 01:35:39 +0200 <EvanR> Interactive 3D and Multimedia Animation, it says "While interactive multimedia animation is a very compelling medium, few people are able to express themselves in it.". This was 1999
2025-04-23 01:35:55 +0200 <EvanR> before the era of terrible flash animation
2025-04-23 01:36:16 +0200 <EvanR> where we all found out maybe it's good some people can't express themselves xD
2025-04-23 01:37:26 +0200 <EvanR> one way or another, people got the VR they were promised but it was via imperative programming
2025-04-23 01:46:02 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2025-04-23 01:46:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 01:47:32 +0200 <jackdk> The Flash era also showed that the barrier to people expressing themselves was a tooling limitation, not a limitation of the people
2025-04-23 01:48:50 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2025-04-23 01:48:50 +0200jmcantrell_jmcantrell
2025-04-23 01:50:42 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-23 01:51:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-23 01:51:45 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-04-23 01:55:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-23 01:57:12 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-23 01:59:57 +0200jle`(~jle`@2603:8001:3b00:11:311f:eba9:dcc6:2b36) (Ping timeout: 252 seconds)
2025-04-23 02:01:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 02:02:01 +0200jle`(~jle`@2603:8001:3b00:11:3c94:fae0:e5ab:1351) jle`
2025-04-23 02:07:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 02:17:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 02:21:15 +0200Buliarous(~gypsydang@46.232.210.139) (Remote host closed the connection)
2025-04-23 02:21:44 +0200Buliarous(~gypsydang@46.232.210.139) Buliarous
2025-04-23 02:22:07 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-04-23 02:24:32 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-04-23 02:25:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-23 02:25:11 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-04-23 02:29:37 +0200notdabs(~Owner@2600:1700:69cf:9000:116f:7547:e97e:51d0) (Quit: Leaving)
2025-04-23 02:31:27 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-04-23 02:33:14 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-04-23 02:33:56 +0200haritz(~hrtz@user/haritz) (Remote host closed the connection)
2025-04-23 02:34:44 +0200acidjnk(~acidjnk@p200300d6e71c4f31f097d80b541a7919.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-04-23 02:35:19 +0200img(~img@user/img) img
2025-04-23 02:35:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 02:35:55 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-04-23 02:37:25 +0200califax(~califax@user/califx) califx
2025-04-23 02:37:54 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-04-23 02:38:18 +0200euleritian(~euleritia@77.23.248.47)
2025-04-23 02:40:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-23 02:42:45 +0200roqueando(~roqueando@179-125-157-72.dynamic.desktop.com.br)
2025-04-23 02:42:55 +0200roqueando(~roqueando@179-125-157-72.dynamic.desktop.com.br) (Client Quit)
2025-04-23 02:46:24 +0200otto_s(~user@p5b044854.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-04-23 02:48:04 +0200otto_s(~user@p4ff2790f.dip0.t-ipconnect.de)
2025-04-23 02:50:25 +0200tomku(~tomku@user/tomku) (Ping timeout: 248 seconds)
2025-04-23 02:51:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 02:53:49 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-04-23 02:55:49 +0200poscat(~poscat@user/poscat) poscat
2025-04-23 02:57:22 +0200tomku(~tomku@user/tomku) tomku
2025-04-23 02:58:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-23 03:06:47 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-04-23 03:09:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 03:14:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-23 03:19:14 +0200tomku(~tomku@user/tomku) (Ping timeout: 268 seconds)
2025-04-23 03:20:09 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-04-23 03:20:53 +0200tomku(~tomku@user/tomku) tomku
2025-04-23 03:23:31 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-04-23 03:24:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 03:30:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-23 03:39:19 +0200tomku(~tomku@user/tomku) (Ping timeout: 276 seconds)
2025-04-23 03:40:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 03:45:07 +0200weary-traveler(~user@user/user363627) user363627
2025-04-23 03:45:20 +0200tomku(~tomku@user/tomku) tomku
2025-04-23 03:45:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 03:53:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-04-23 03:56:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 04:00:07 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-04-23 04:00:48 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-23 04:01:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 04:03:01 +0200Buliarous(~gypsydang@46.232.210.139) (Remote host closed the connection)
2025-04-23 04:03:28 +0200Buliarous(~gypsydang@46.232.210.139) Buliarous
2025-04-23 04:12:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 04:17:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-23 04:23:54 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Quit: myxos)
2025-04-23 04:24:12 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale
2025-04-23 04:25:31 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (Client Quit)
2025-04-23 04:26:37 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale
2025-04-23 04:28:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 04:32:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-04-23 04:32:22 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-23 04:35:55 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) (Remote host closed the connection)
2025-04-23 04:35:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-23 04:37:15 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt)
2025-04-23 04:46:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 04:50:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 04:51:46 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-23 04:52:59 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-04-23 05:01:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 05:06:17 +0200 <monochrom> Belated: IMO one should look at the ratio "how much the code optimizer achieves / how many human-hours thrown at code optimizer", it is OOP and C that failed miserably, and ML and Haskell that outperformed.
2025-04-23 05:06:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 05:07:22 +0200 <monochrom> Like, miilions of dollars and millions of human-hours thrown at C optimization, and it's only 1.1x ideal assembly? That's miserable.
2025-04-23 05:08:02 +0200 <monochrom> And merely 0.1% as much thrown at ML and Haskell, and that's already 2x C.
2025-04-23 05:10:06 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-04-23 05:10:38 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-04-23 05:11:16 +0200tavare(~tavare@150.129.88.189)
2025-04-23 05:11:17 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-04-23 05:11:17 +0200tavare(~tavare@user/tavare) tavare
2025-04-23 05:12:17 +0200Googulator8(~Googulato@217-197-178-143.pool.digikabel.hu) (Quit: Client closed)
2025-04-23 05:12:38 +0200Googulator8(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu)
2025-04-23 05:13:02 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-04-23 05:13:31 +0200 <monochrom> Not to mention how much money Sun/Oracle and IBM threw at Java summed up and still merely on par with GHC which gets a much smaller budget.
2025-04-23 05:13:57 +0200swistak(~swistak@185.21.216.141)
2025-04-23 05:13:57 +0200__jmcantrell__(~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1)
2025-04-23 05:14:22 +0200swistak-(~swistak@185.21.216.141) (Ping timeout: 252 seconds)
2025-04-23 05:15:42 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-23 05:17:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 05:19:30 +0200kmein(~weechat@user/kmein) (Ping timeout: 252 seconds)
2025-04-23 05:21:40 +0200kmein(~weechat@user/kmein) kmein
2025-04-23 05:22:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-23 05:23:48 +0200SoF7(~skius@user/skius) skius
2025-04-23 05:25:22 +0200SoF(~skius@user/skius) (Ping timeout: 252 seconds)
2025-04-23 05:25:22 +0200SoF7SoF
2025-04-23 05:31:06 +0200aforemny(~aforemny@2001:9e8:6ce5:1f00:ffd3:1d85:d158:aa27) aforemny
2025-04-23 05:31:23 +0200ThePenguin1(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-04-23 05:31:29 +0200aforemny_(~aforemny@2001:9e8:6cc3:f500:70bf:b6e8:268:3642) (Ping timeout: 260 seconds)
2025-04-23 05:32:42 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Ping timeout: 252 seconds)
2025-04-23 05:32:42 +0200ThePenguin1ThePenguin
2025-04-23 05:33:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 05:35:26 +0200Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2025-04-23 05:35:26 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-04-23 05:35:41 +0200Leary(~Leary@user/Leary/x-0910699) Leary
2025-04-23 05:36:42 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-23 05:37:39 +0200nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-04-23 05:38:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-23 05:40:54 +0200michalz(~michalz@185.246.207.203)
2025-04-23 05:42:05 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-23 05:42:58 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-04-23 05:43:35 +0200_xor(~xor@ip-66-42-132-175.dynamic.fuse.net) (Quit: Ping timeout (120 seconds))
2025-04-23 05:43:44 +0200_xor(~xor@ip-66-42-132-175.dynamic.fuse.net) _xor
2025-04-23 05:45:08 +0200tjbc_(~tjbc@user/fliife) fliife
2025-04-23 05:45:32 +0200tjbc(~tjbc@user/fliife) (Ping timeout: 252 seconds)
2025-04-23 05:46:22 +0200__jmcantrell__(~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1)
2025-04-23 05:46:41 +0200_xor9(~xor@ip-66-42-132-175.dynamic.fuse.net) _xor
2025-04-23 05:48:02 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-04-23 05:48:06 +0200_xor(~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 252 seconds)
2025-04-23 05:48:06 +0200_xor9_xor
2025-04-23 05:49:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 05:51:16 +0200jaror(~jaror@5070ACC7.static.ziggozakelijk.nl) (Ping timeout: 276 seconds)
2025-04-23 05:51:35 +0200jaror(~jaror@5070ACC7.static.ziggozakelijk.nl)
2025-04-23 05:53:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 06:02:18 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-04-23 06:02:38 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-23 06:03:26 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-04-23 06:03:47 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-23 06:05:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 06:05:12 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-04-23 06:06:02 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-23 06:08:53 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-04-23 06:09:16 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-23 06:10:49 +0200samahri(~halloy304@2001:569:76fd:b00:c916:45b:5a2a:d00) (Ping timeout: 252 seconds)
2025-04-23 06:11:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 06:19:38 +0200nek0(~nek0@user/nek0) nek0
2025-04-23 06:22:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 06:22:56 +0200 <haskellbridge> <Bowuigi> The world took the wrong direction and engineers tried to fix it (computers nowadays are magical and wonderful though)
2025-04-23 06:23:49 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 248 seconds)
2025-04-23 06:27:35 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2025-04-23 06:27:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-23 06:28:32 +0200 <haskellbridge> <Bowuigi> Not trusting anyone seems to lead to the least painful development experience. Add good types because you don't trust developers, automated tests because you don't trust beta testers, CI because you don't trust people running tests, CD because you don't trust people building programs, proper interview cycles because you don't trust your client's opinion, models because you don't trust your memory, prototypes...
2025-04-23 06:28:37 +0200 <haskellbridge> ... because you don't trust your client's desires, flexible software design methods because you don't trust your designs, code reviews because you don't trust your coworkers, etc
2025-04-23 06:34:04 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 06:38:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 06:40:44 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2025-04-23 06:43:03 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 06:43:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-23 06:47:30 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2025-04-23 06:54:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 06:55:15 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 06:59:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-23 07:00:50 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 276 seconds)
2025-04-23 07:01:08 +0200adamCS_(~adamCS@pool-173-52-72-35.nycmny.fios.verizon.net) adamCS
2025-04-23 07:02:07 +0200adamCS(~adamCS@pool-173-52-72-35.nycmny.fios.verizon.net) (Ping timeout: 276 seconds)
2025-04-23 07:02:08 +0200adamCS_adamCS
2025-04-23 07:10:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 07:10:59 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-04-23 07:12:56 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 07:14:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-23 07:19:09 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2025-04-23 07:21:16 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-23 07:25:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 07:30:20 +0200mike1127(~mike1127@syn-075-142-052-000.res.spectrum.com)
2025-04-23 07:30:35 +0200 <mike1127> I'
2025-04-23 07:31:26 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 07:31:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-23 07:32:13 +0200 <mike1127> I'm writing code in the Error monad in which I throw errors that indicate implementation errors, sort of like failed asserts. I just realized that a lot of these would go away if I used List.NonEmpty. Is that usually a good idea?
2025-04-23 07:35:56 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-04-23 07:40:24 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2025-04-23 07:41:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 07:43:30 +0200cptaffe(~cptaffe@user/cptaffe) (Read error: Connection reset by peer)
2025-04-23 07:44:13 +0200cptaffe(~cptaffe@user/cptaffe) cptaffe
2025-04-23 07:46:57 +0200mike1127(~mike1127@syn-075-142-052-000.res.spectrum.com) (Quit: Client closed)
2025-04-23 07:48:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 07:51:12 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-04-23 07:52:39 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-23 07:53:27 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 07:59:24 +0200 <c_wraith> If the ergonomics work out, it's a great idea
2025-04-23 07:59:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 08:00:20 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2025-04-23 08:03:44 +0200jle`(~jle`@2603:8001:3b00:11:3c94:fae0:e5ab:1351) (Quit: WeeChat 4.5.1)
2025-04-23 08:04:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 08:05:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-23 08:08:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 08:08:19 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 08:09:27 +0200ephilalethes(~noumenon@103.175.213.105) noumenon
2025-04-23 08:10:33 +0200euleritian(~euleritia@77.23.248.47) (Ping timeout: 244 seconds)
2025-04-23 08:10:49 +0200euleritian(~euleritia@dynamic-176-006-139-135.176.6.pool.telefonica.de)
2025-04-23 08:12:41 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-04-23 08:12:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 08:13:03 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2025-04-23 08:13:51 +0200jle`(~jle`@2603:8001:3b00:11:26f1:42f4:7093:ac0a) jle`
2025-04-23 08:23:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 08:24:58 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 08:25:29 +0200ephilalethes(~noumenon@103.175.213.105) (Read error: Connection reset by peer)
2025-04-23 08:25:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Read error: Connection reset by peer)
2025-04-23 08:29:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-23 08:30:11 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 244 seconds)
2025-04-23 08:39:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 08:44:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-23 08:47:20 +0200tromp(~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe)
2025-04-23 08:47:40 +0200EvanR(~EvanR@user/evanr) (Ping timeout: 260 seconds)
2025-04-23 08:55:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 08:56:21 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 09:00:00 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-04-23 09:00:03 +0200acidjnk(~acidjnk@p200300d6e71c4f35189c4bef71fa2fe9.dip0.t-ipconnect.de) acidjnk
2025-04-23 09:00:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 09:00:55 +0200caconym(~caconym@user/caconym) caconym
2025-04-23 09:02:13 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-04-23 09:02:33 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-23 09:08:13 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 276 seconds)
2025-04-23 09:08:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-23 09:13:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-23 09:15:59 +0200sord937_(~sord937@gateway/tor-sasl/sord937) sord937
2025-04-23 09:16:00 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-04-23 09:20:42 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-04-23 09:20:49 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2025-04-23 09:22:05 +0200Lord_of_Life_Lord_of_Life
2025-04-23 09:22:17 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 09:24:09 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-04-23 09:25:00 +0200 <haskellbridge> <Liamzee> @monochrom: I'm curious what GHC would look like if someone were to dump megabucks on it
2025-04-23 09:25:47 +0200 <haskellbridge> <Liamzee> it's perfectly possible that GHC simply doesn't scale well for investment, so it's not an automatic given that GHC would be much better if it were awash in resources
2025-04-23 09:26:01 +0200Square2(~Square4@user/square) Square
2025-04-23 09:27:06 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2025-04-23 09:28:08 +0200 <haskellbridge> <Liamzee> that said, I'm wondering if it's accurate to say that Haskell isn't a purely statically typed language
2025-04-23 09:28:17 +0200 <haskellbridge> <Liamzee> Gradual typing is a hybrid between static and dynamic typing
2025-04-23 09:29:24 +0200 <haskellbridge> <Liamzee> static typing with polymorphism, on the other hand, is implicitly also a hybrid, coming from the other direction
2025-04-23 09:30:03 +0200 <haskellbridge> <Liamzee> the "aggressively polymorphic" nature of Haskell, with typeclasses, HKTs, and type inference suggest that this might be notable as something different from other statically typed languages
2025-04-23 09:39:12 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 09:42:09 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-04-23 09:44:36 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2025-04-23 09:44:59 +0200adamCS(~adamCS@pool-173-52-72-35.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2025-04-23 09:52:01 +0200 <haskellbridge> <hellwolf> The last time I asked people in the know, I estimate that the required investment to lift GHC to a new level from a usability perspective, is below a million dollars a year.
2025-04-23 09:52:03 +0200 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/oewMBQhCudadRpqVeYQuNyAJ/Ci1gGUPGvb8 (3 lines)
2025-04-23 09:53:22 +0200cstml(~Thunderbi@user/cstml) cstml
2025-04-23 09:53:39 +0200merijn(~merijn@77.242.116.146) merijn
2025-04-23 09:56:58 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 09:59:15 +0200 <int-e> :t lift
2025-04-23 09:59:16 +0200 <lambdabot> (MonadTrans t, Monad m) => m a -> t m a
2025-04-23 09:59:27 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-23 10:02:15 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 276 seconds)
2025-04-23 10:03:38 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-23 10:09:22 +0200euleritian(~euleritia@dynamic-176-006-139-135.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-23 10:09:43 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-23 10:12:47 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 10:15:11 +0200chele(~chele@user/chele) chele
2025-04-23 10:15:36 +0200__monty__(~toonn@user/toonn) toonn
2025-04-23 10:16:07 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-04-23 10:19:03 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2025-04-23 10:19:42 +0200euleritian(~euleritia@dynamic-176-006-139-135.176.6.pool.telefonica.de)
2025-04-23 10:20:21 +0200bramh(~bramh@user/bramh) (Quit: Ping timeout (120 seconds))
2025-04-23 10:20:36 +0200bramh(~bramh@user/bramh) bramh
2025-04-23 10:21:54 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-23 10:25:01 +0200mistivia(~mistivia@user/mistivia) mistivia
2025-04-23 10:25:10 +0200tromp(~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-23 10:27:59 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-23 10:33:26 +0200snow(~root@srv599369.hstgr.cloud)
2025-04-23 10:33:36 +0200 <snow> hey
2025-04-23 10:35:26 +0200 <haskellbridge> <Liamzee> hellwolf: i was guessing you were with serokell?
2025-04-23 10:42:39 +0200prdak(~Thunderbi@user/prdak) prdak
2025-04-23 10:42:46 +0200 <haskellbridge> <hellwolf> no
2025-04-23 10:42:53 +0200 <haskellbridge> <hellwolf> I have nothing to do with them
2025-04-23 10:55:11 +0200comerijn(~merijn@77.242.116.146) merijn
2025-04-23 10:56:13 +0200sixfourtwelve(~ethanmorg@82.18.82.103) sixfourtwelve
2025-04-23 10:58:09 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2025-04-23 10:59:45 +0200prdak1(~Thunderbi@user/prdak) prdak
2025-04-23 11:00:30 +0200prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2025-04-23 11:00:30 +0200prdak1prdak
2025-04-23 11:03:29 +0200snow(~root@srv599369.hstgr.cloud) (Quit: My damn controlling terminal disappeared!)
2025-04-23 11:04:42 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-04-23 11:08:34 +0200 <haskellbridge> <Liamzee> awww
2025-04-23 11:08:37 +0200 <haskellbridge> <Liamzee> i like serokell
2025-04-23 11:09:46 +0200 <haskellbridge> <Liamzee> superfluid
2025-04-23 11:10:10 +0200 <haskellbridge> <Liamzee> at least it's a cool crypto-scam, i mean, if crypto winter really hits in, you could always move to CBDC
2025-04-23 11:10:40 +0200 <haskellbridge> <Liamzee> the idea of money being transferred as continuous streams instead of quanta is interesting
2025-04-23 11:11:19 +0200 <haskellbridge> <hellwolf> is it a scam to you? watch out
2025-04-23 11:11:46 +0200 <haskellbridge> <Liamzee> why?
2025-04-23 11:12:04 +0200 <haskellbridge> <Liamzee> startups are scams, 70% fail rate after 5 years, but some of them stop being scams
2025-04-23 11:13:03 +0200 <haskellbridge> <hellwolf> okay. thanks for your opinion. I hope you will never be a scammer.
2025-04-23 11:13:16 +0200 <haskellbridge> <Liamzee> i plan to become a scammer :3
2025-04-23 11:15:36 +0200 <haskellbridge> <hellwolf> just be a bit careful. words have emotional meanings; not everyone is ready to joke around 24/7 :p
2025-04-23 11:15:48 +0200 <haskellbridge> <Liamzee> sorry :(
2025-04-23 11:15:56 +0200 <haskellbridge> <Liamzee> i was going to apologize to you, i'm just morally fluid on business practices and so on
2025-04-23 11:16:01 +0200 <haskellbridge> <Liamzee> the polite way to say it is "hustle"
2025-04-23 11:16:06 +0200 <haskellbridge> <Liamzee> but i dislike hustle culture
2025-04-23 11:16:52 +0200 <haskellbridge> <Liamzee> but yeah, i'm apologizing for hurt feelings and offending you, you've been kind to me
2025-04-23 11:16:54 +0200 <__monty__> What CBDC incorporates the idea of continuous streams? And can we move the discussion to off-topic?
2025-04-23 11:17:00 +0200califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-04-23 11:17:25 +0200califax(~califax@user/califx) califx
2025-04-23 11:20:06 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-04-23 11:23:35 +0200anpad(~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in)
2025-04-23 11:26:07 +0200anpad(~pandeyan@user/anpad) anpad
2025-04-23 11:30:40 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-04-23 11:32:06 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-23 11:32:37 +0200tromp(~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe)
2025-04-23 11:33:58 +0200 <[exa]> Liamzee: there's #haskell-scam for scam discussion
2025-04-23 11:35:37 +0200 <haskellbridge> <Liamzee> That seems off-topic. Unfortunately, there isn't a true paradox: migrating to #haskell-scam for scam discussion renders #haskell-scam not a scam, and consequently it is also off-topic in #haskell-scam.
2025-04-23 11:36:11 +0200 <haskellbridge> <Liamzee> The act of doing so, however, is discrete and thus impure, preventing a true superimposition of states.
2025-04-23 11:36:26 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2025-04-23 11:37:05 +0200 <haskellbridge> <Liamzee> and yeah, lol
2025-04-23 11:41:56 +0200Googulator8(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-23 11:42:24 +0200Googulator8(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu)
2025-04-23 11:44:23 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-23 11:49:36 +0200dhil(~dhil@5.151.29.141) dhil
2025-04-23 11:49:42 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-04-23 11:55:30 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-04-23 11:58:58 +0200amadaluzia(~amadaluzi@2a00:23c7:ed8b:6701:e72:a8c5:f639:9713)
2025-04-23 12:00:25 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-04-23 12:06:07 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-04-23 12:09:48 +0200turlando(~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.)
2025-04-23 12:11:04 +0200turlando(~turlando@user/turlando) turlando
2025-04-23 12:13:34 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-04-23 12:14:08 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-04-23 12:15:06 +0200amadaluzia(~amadaluzi@2a00:23c7:ed8b:6701:e72:a8c5:f639:9713) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.)
2025-04-23 12:18:40 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds)
2025-04-23 12:23:42 +0200prdak(~Thunderbi@user/prdak) prdak
2025-04-23 12:25:57 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-04-23 12:26:31 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-04-23 12:32:27 +0200euleritian(~euleritia@dynamic-176-006-139-135.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-23 12:32:45 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-23 12:35:33 +0200dhil(~dhil@5.151.29.141) (Ping timeout: 248 seconds)
2025-04-23 12:40:35 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-04-23 12:40:35 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-04-23 12:40:35 +0200haritz(~hrtz@user/haritz) haritz
2025-04-23 12:49:09 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-04-23 12:49:12 +0200_xor3(~xor@ip-66-42-132-175.dynamic.fuse.net) _xor
2025-04-23 12:49:21 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-04-23 12:49:23 +0200_xor(~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 252 seconds)
2025-04-23 12:49:23 +0200_xor3_xor
2025-04-23 12:50:27 +0200img(~img@user/img) img
2025-04-23 12:52:10 +0200_xor1(~xor@ip-66-42-132-175.dynamic.fuse.net) _xor
2025-04-23 12:53:48 +0200_xor(~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 252 seconds)
2025-04-23 12:53:48 +0200_xor1_xor
2025-04-23 12:56:09 +0200hidjgr(~hidjgr@68.52.120.78.rev.sfr.net)
2025-04-23 12:57:11 +0200hidjgr(~hidjgr@68.52.120.78.rev.sfr.net) (Client Quit)
2025-04-23 12:58:01 +0200hidjgr(~hidjgr@user/hidjgr) hidjgr
2025-04-23 13:02:06 +0200jespada(~jespada@r179-25-8-250.dialup.adsl.anteldata.net.uy) jespada
2025-04-23 13:04:42 +0200kristianan(~kristiana@2a01:799:1859:c100:da8a:afbe:855a:983)
2025-04-23 13:06:38 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
2025-04-23 13:14:20 +0200jespada(~jespada@r179-25-8-250.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-04-23 13:16:58 +0200xff0x(~xff0x@2405:6580:b080:900:3224:6849:dd00:457c)
2025-04-23 13:17:43 +0200jespada(~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) jespada
2025-04-23 13:19:18 +0200adamCS(~adamCS@70.19.85.77) adamCS
2025-04-23 13:20:19 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-04-23 13:20:21 +0200prdak(~Thunderbi@user/prdak) prdak
2025-04-23 13:36:01 +0200divya(divya@140.238.251.170) (Ping timeout: 276 seconds)
2025-04-23 13:39:11 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Remote host closed the connection)
2025-04-23 13:42:18 +0200fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds)
2025-04-23 13:46:09 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-04-23 13:59:25 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-04-23 14:03:28 +0200weary-traveler(~user@user/user363627) user363627
2025-04-23 14:07:01 +0200jco(~jco@78-70-217-44-no600.tbcn.telia.com) jco
2025-04-23 14:09:47 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-23 14:12:33 +0200weary-traveler(~user@user/user363627) user363627
2025-04-23 14:14:12 +0200 <jco> Hey, I've got a pretty basic question about the Pipes library: I'm making a small Redis server (for fun). I have a "global" setting controlling whether I'm in a Redis transaction (MULTI). If a transaction is currently "active", all commands received by the server should be queued instead of running them. The only command that should be run when we're in a transaction is "EXEC", which finishes the transaction
2025-04-23 14:14:18 +0200 <jco> and runs all the queued commands. I'm struggling a bit with how to model this in Pipes, i.e. how can I "fan out" to different pipes depending on both the global setting, and the stream element (command) itself? The following works for just the global setting, but will of course not work for the EXEC command (i.e. _no_ commands will actually run): https://paste.tomsmeding.com/zr5rBhs0
2025-04-23 14:15:09 +0200 <jco> Both `queueCommands` and `runCommands` in the above snippet are `Consumers`.
2025-04-23 14:15:16 +0200raym(~ray@user/raym) (Ping timeout: 272 seconds)
2025-04-23 14:15:22 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-23 14:16:45 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-04-23 14:17:02 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-04-23 14:17:19 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-23 14:17:50 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-04-23 14:18:25 +0200jespada(~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-04-23 14:19:06 +0200jespada(~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) jespada
2025-04-23 14:20:43 +0200jespada(~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) (Client Quit)
2025-04-23 14:21:31 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 276 seconds)
2025-04-23 14:22:50 +0200jespada(~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) jespada
2025-04-23 14:23:35 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-23 14:30:47 +0200Googulator8(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-23 14:31:05 +0200Googulator8(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu)
2025-04-23 14:34:36 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-04-23 14:47:28 +0200mari-estel(~mari-este@user/mari-estel) (Ping timeout: 252 seconds)
2025-04-23 14:49:28 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds)
2025-04-23 14:57:07 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 265 seconds)
2025-04-23 14:58:02 +0200cstml(~Thunderbi@user/cstml) (Quit: cstml)
2025-04-23 14:59:17 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-04-23 15:08:12 +0200kristianan(~kristiana@2a01:799:1859:c100:da8a:afbe:855a:983) (Quit: Client closed)
2025-04-23 15:27:15 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-04-23 15:30:15 +0200prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2025-04-23 15:33:57 +0200qaotsap(~paotsaq@127.209.37.188.rev.vodafone.pt) paotsaq
2025-04-23 15:35:42 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 272 seconds)
2025-04-23 15:36:36 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-04-23 15:36:50 +0200euleritian(~euleritia@dynamic-176-006-140-190.176.6.pool.telefonica.de)
2025-04-23 15:41:05 +0200euleritian(~euleritia@dynamic-176-006-140-190.176.6.pool.telefonica.de) (Ping timeout: 244 seconds)
2025-04-23 15:41:05 +0200mari-estel(~mari-este@user/mari-estel) (Ping timeout: 248 seconds)
2025-04-23 15:41:51 +0200euleritian(~euleritia@dynamic-176-006-129-111.176.6.pool.telefonica.de)
2025-04-23 15:42:15 +0200euleritian(~euleritia@dynamic-176-006-129-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-23 15:42:32 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-23 15:42:37 +0200prdak(~Thunderbi@user/prdak) prdak
2025-04-23 15:49:54 +0200 <haskellbridge> <Liamzee> oh, my god
2025-04-23 15:50:14 +0200 <haskellbridge> <Liamzee> actually, i won't mention it, but the new magical haskell... a combination of genius and ed wood
2025-04-23 15:50:23 +0200 <haskellbridge> <Liamzee> okay so i did
2025-04-23 15:50:57 +0200Guest49(~Guest49@astrolabe.plus.com)
2025-04-23 15:52:36 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-04-23 15:53:24 +0200euleritian(~euleritia@dynamic-176-006-129-111.176.6.pool.telefonica.de)
2025-04-23 15:54:04 +0200Guest49(~Guest49@astrolabe.plus.com) (Client Quit)
2025-04-23 16:01:01 +0200Guest49(~Guest49@astrolabe.plus.com)
2025-04-23 16:11:06 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-04-23 16:17:01 +0200 <[exa]> jco: not sure if the pipes would be sufficient for this (not even if they'd be practical)
2025-04-23 16:18:49 +0200 <[exa]> jco: for redis-style sharing of events you might want something more dynamic, e.g. piping your pipes to some Chans (TChan?) from the concurrent programming
2025-04-23 16:21:33 +0200 <[exa]> certainly you will likely need some more advanced structure for the transaction processing. Is redis transaction a buffer (as in, only holding the commands until EXEC fires) or can it actually block other people because it reads stuff that it expects to be immutable by others until it's finished?
2025-04-23 16:22:20 +0200 <[exa]> ah ok it's just a queue
2025-04-23 16:22:59 +0200 <[exa]> then maybe a "stateful" pipe which absorbs the commands into a buffer until there's EXEC and then sends everything out at once could be worth it.
2025-04-23 16:25:33 +0200 <[exa]> should be doable with `await` in a loop
2025-04-23 16:27:55 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-04-23 16:46:36 +0200tromp(~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-23 16:52:54 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-04-23 16:54:06 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-23 16:56:34 +0200amadaluzia(~amadaluzi@2a00:23c7:ed8b:6701:a2e:6672:4696:8334)
2025-04-23 17:00:47 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-04-23 17:00:56 +0200euleritian(~euleritia@dynamic-176-006-129-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-23 17:01:18 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-23 17:02:09 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-23 17:04:45 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-04-23 17:05:57 +0200fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 248 seconds)
2025-04-23 17:05:58 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-23 17:09:20 +0200weary-traveler(~user@user/user363627) user363627
2025-04-23 17:14:41 +0200tromp(~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe)
2025-04-23 17:15:10 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2025-04-23 17:15:31 +0200euleritian(~euleritia@dynamic-176-006-129-111.176.6.pool.telefonica.de)
2025-04-23 17:19:00 +0200td_(~td@i5387092F.versanet.de)
2025-04-23 17:21:44 +0200 <haskellbridge> <Liamzee> okay, finished magical haskell, it's just bad
2025-04-23 17:21:45 +0200prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2025-04-23 17:32:54 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-04-23 17:33:35 +0200prdak(~Thunderbi@user/prdak) prdak
2025-04-23 17:42:36 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-23 17:42:36 +0200prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2025-04-23 17:43:10 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-04-23 17:44:05 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-23 17:47:51 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-04-23 18:01:22 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2025-04-23 18:08:58 +0200fp(~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds)
2025-04-23 18:08:59 +0200j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-23 18:10:23 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-23 18:10:29 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Client Quit)
2025-04-23 18:12:41 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-23 18:12:54 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-23 18:13:48 +0200kristianan(~kristiana@2a01:799:1859:c100:da8a:afbe:855a:983)
2025-04-23 18:13:59 +0200kristianan(~kristiana@2a01:799:1859:c100:da8a:afbe:855a:983) (Client Quit)
2025-04-23 18:15:43 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-04-23 18:20:46 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-23 18:22:54 +0200__jmcantrell__(~weechat@user/jmcantrell) (Ping timeout: 272 seconds)
2025-04-23 18:26:44 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-23 18:27:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-04-23 18:28:14 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-23 18:30:22 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-23 18:31:49 +0200dhil(~dhil@5.151.29.138) dhil
2025-04-23 18:39:02 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-04-23 18:42:39 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-04-23 18:50:07 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) julie_pilgrim
2025-04-23 18:51:18 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-23 18:54:24 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-23 18:57:41 +0200amadaluzia(~amadaluzi@2a00:23c7:ed8b:6701:a2e:6672:4696:8334) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.)
2025-04-23 18:58:07 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-04-23 18:58:11 +0200tromp(~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-23 19:01:07 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-23 19:03:45 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 248 seconds)
2025-04-23 19:04:17 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-04-23 19:04:43 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-23 19:05:09 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2025-04-23 19:05:34 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 276 seconds)
2025-04-23 19:08:07 +0200jco(~jco@78-70-217-44-no600.tbcn.telia.com) (Quit: leaving)
2025-04-23 19:08:32 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-04-23 19:10:23 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-04-23 19:13:40 +0200sord937_(~sord937@gateway/tor-sasl/sord937) (Quit: sord937_)
2025-04-23 19:13:42 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-04-23 19:15:47 +0200tromp(~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe)
2025-04-23 19:18:43 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-04-23 19:24:25 +0200acidjnk(~acidjnk@p200300d6e71c4f35189c4bef71fa2fe9.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-23 19:33:21 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-23 19:36:37 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-23 19:36:58 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-04-23 19:45:31 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2025-04-23 19:48:54 +0200emm(~emm@user/edmeme) edmeme
2025-04-23 19:52:21 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-23 19:57:01 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-23 19:57:30 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-23 19:59:13 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) bitmapper
2025-04-23 19:59:45 +0200Square3(~Square@user/square) Square
2025-04-23 20:03:02 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
2025-04-23 20:03:10 +0200Square2(~Square4@user/square) (Ping timeout: 252 seconds)
2025-04-23 20:04:33 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-04-23 20:07:09 +0200divya(divya@140.238.251.170) divya
2025-04-23 20:10:52 +0200eL_Bart0(eL_Bart02@dietunichtguten.org) (Quit: Restarting)
2025-04-23 20:12:31 +0200euleritian(~euleritia@dynamic-176-006-129-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-23 20:12:50 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-23 20:16:27 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-04-23 20:21:54 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-04-23 20:22:33 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-04-23 20:27:04 +0200 <haskellbridge> <Liamzee> accursedUnutterablePerformIO reported that digital ocean joined Haskell Foundation as a functor
2025-04-23 20:27:27 +0200 <haskellbridge> <Liamzee> Digital Ocean is a major cloud service provider
2025-04-23 20:29:29 +0200 <monochrom> What is a functor there? :)
2025-04-23 20:29:38 +0200 <tomsmeding> they renamed it to "bronze"
2025-04-23 20:30:07 +0200 <monochrom> If I donate a billion dollar, can I make them call me "a monad"? >:)
2025-04-23 20:30:29 +0200 <tomsmeding> oh the website still has the FAM names
2025-04-23 20:30:38 +0200 <monochrom> haha neato
2025-04-23 20:30:46 +0200 <tomsmeding> the latest monthly update on discourse had bronze/silver/gold
2025-04-23 20:30:51 +0200 <tomsmeding> monochrom: https://haskell.foundation/donations/
2025-04-23 20:30:52 +0200sprotte24(~sprotte24@p200300d16f32c2005ced4df4a507f443.dip0.t-ipconnect.de)
2025-04-23 20:31:08 +0200 <haskellbridge> <Liamzee> honestly, are there any other three-tiered typeclasses?
2025-04-23 20:31:48 +0200 <haskellbridge> <Liamzee> Stuff I can think of is mainly two-tiered, foldable traversable, semigroup monad
2025-04-23 20:31:56 +0200 <tomsmeding> the metals terminology was first seen here https://discourse.haskell.org/t/haskell-foundation-q1-2025-update/11835 I think
2025-04-23 20:32:06 +0200 <mauke> Num, Real, Integral
2025-04-23 20:32:10 +0200 <monochrom> If we had Group, we would have Semigroup-Monoid-Group
2025-04-23 20:32:22 +0200 <tomsmeding> mauke: Enum
2025-04-23 20:32:40 +0200 <int-e> monochrom: at a billion dollars you might cause macroeconomic side effects
2025-04-23 20:32:48 +0200 <monochrom> hahaha
2025-04-23 20:33:35 +0200 <tomsmeding> monochrom: at the bottom of https://haskell.foundation/donations/ , the lists of sponsors are indeed called "monads", "applicatives" and "functors"
2025-04-23 20:34:12 +0200 <monochrom> Equality-Iso-Lens from lens
2025-04-23 20:34:20 +0200 <haskellbridge> <Liamzee> the sponsorship is weird
2025-04-23 20:34:33 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2025-04-23 20:34:41 +0200 <haskellbridge> <Liamzee> on the q1 2025, like, it seems as though people dropped out?
2025-04-23 20:34:51 +0200 <haskellbridge> <Liamzee> Mercury also went to Gold
2025-04-23 20:34:51 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-04-23 20:35:03 +0200euleritian(~euleritia@77.23.248.47)