2024/03/25

2024-03-25 00:03:32 +0000TonyStone(~TonyStone@074-076-057-186.res.spectrum.com)
2024-03-25 00:04:33 +0000ph88(~ph88@2a02:8109:9e26:c800:a348:5b9b:d1d8:430e) (Remote host closed the connection)
2024-03-25 00:18:41 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-03-25 00:20:29 +0000picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 256 seconds)
2024-03-25 00:22:45 +0000rvalue(~rvalue@user/rvalue) (Ping timeout: 256 seconds)
2024-03-25 00:22:49 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-03-25 00:31:49 +0000alexherbo2(~alexherbo@2a02-8440-3141-4956-88db-6233-762e-794e.rev.sfr.net) (Remote host closed the connection)
2024-03-25 00:32:50 +0000rvalue(~rvalue@user/rvalue)
2024-03-25 00:34:21 +0000Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-03-25 00:34:38 +0000mechap(~mechap@user/mechap) (Ping timeout: 268 seconds)
2024-03-25 00:35:23 +0000picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
2024-03-25 00:48:42 +0000shapr`shapr
2024-03-25 00:49:04 +0000shapr(~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: sleep)
2024-03-25 01:06:49 +0000Guest52(~Guest52@185.57.29.142) (Quit: Ping timeout (120 seconds))
2024-03-25 01:23:50 +0000waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-03-25 01:28:23 +0000Guest52(~Guest52@185.57.29.142)
2024-03-25 01:37:55 +0000fedorafan(~fedorafan@user/fedorafan) (Ping timeout: 260 seconds)
2024-03-25 01:42:10 +0000peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-03-25 01:42:50 +0000fedorafan(~fedorafan@user/fedorafan)
2024-03-25 02:06:27 +0000bilegeek(~bilegeek@2600:1008:b04a:9621:d0c1:8618:fbe8:cc7b) (Quit: Leaving)
2024-03-25 02:14:02 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2024-03-25 02:16:56 +0000img(~img@user/img)
2024-03-25 02:19:49 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2024-03-25 02:25:02 +0000otto_s(~user@p5de2f3cc.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-03-25 02:26:16 +0000otto_s(~user@p4ff27516.dip0.t-ipconnect.de)
2024-03-25 02:35:21 +0000mulk(~mulk@p5b2dc2aa.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2024-03-25 02:37:02 +0000xff0x(~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 264 seconds)
2024-03-25 02:37:55 +0000mulk(~mulk@p5b112c85.dip0.t-ipconnect.de)
2024-03-25 02:45:50 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-03-25 02:46:05 +0000mima(~mmh@aftr-62-216-211-109.dynamic.mnet-online.de) (Ping timeout: 240 seconds)
2024-03-25 02:58:18 +0000ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds)
2024-03-25 02:59:42 +0000xff0x(~xff0x@2405:6580:b080:900:3f35:2895:6fd4:d2c6)
2024-03-25 03:00:26 +0000ec(~ec@gateway/tor-sasl/ec)
2024-03-25 03:30:12 +0000gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-03-25 03:36:01 +0000gentauro(~gentauro@user/gentauro)
2024-03-25 03:38:44 +0000igemnace(~ian@user/igemnace)
2024-03-25 03:39:10 +0000Typedfern(~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net) (Ping timeout: 255 seconds)
2024-03-25 03:41:50 +0000td_(~td@i53870928.versanet.de) (Ping timeout: 264 seconds)
2024-03-25 03:43:09 +0000td_(~td@i53870914.versanet.de)
2024-03-25 03:55:12 +0000Typedfern(~Typedfern@82.red-83-37-24.dynamicip.rima-tde.net)
2024-03-25 03:58:11 +0000peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-03-25 03:58:56 +0000xigua(~xigua@user/xigua) (Read error: Connection reset by peer)
2024-03-25 03:59:10 +0000xigua(~xigua@user/xigua)
2024-03-25 04:03:35 +0000machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds)
2024-03-25 04:06:18 +0000aforemny_(~aforemny@i59F516FA.versanet.de)
2024-03-25 04:06:37 +0000aforemny(~aforemny@2001:9e8:6cef:a200:5c66:7868:1cde:e3b5) (Ping timeout: 255 seconds)
2024-03-25 04:12:12 +0000acidjnk_new(~acidjnk@p200300d6e733bd6460cb954dffdecc30.dip0.t-ipconnect.de)
2024-03-25 04:14:10 +0000acidjnk(~acidjnk@p200300d6e72b6a8560cb954dffdecc30.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-03-25 04:19:58 +0000[_](~itchyjunk@user/itchyjunk/x-7353470)
2024-03-25 04:23:35 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2024-03-25 04:28:45 +0000JimL(~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-03-25 04:29:10 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-03-25 04:31:38 +0000JimL(~quassel@89.162.16.26)
2024-03-25 04:41:37 +0000peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-03-25 04:45:22 +0000rosco(~rosco@118.100.177.145)
2024-03-25 04:53:18 +0000zmt00(~zmt00@user/zmt00) (Quit: Leaving)
2024-03-25 04:55:45 +0000zmt00(~zmt00@user/zmt00)
2024-03-25 04:58:16 +0000peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2024-03-25 05:00:55 +0000machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-03-25 05:04:14 +0000igemnace(~ian@user/igemnace) (Quit: WeeChat 4.2.1)
2024-03-25 05:05:46 +0000Square(~Square@user/square) (Ping timeout: 246 seconds)
2024-03-25 05:10:36 +0000[Leary](~Leary]@user/Leary/x-0910699)
2024-03-25 05:29:38 +0000rosco(~rosco@118.100.177.145) (Quit: Lost terminal)
2024-03-25 05:46:26 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2024-03-25 05:56:13 +0000machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
2024-03-25 05:58:53 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2024-03-25 06:04:29 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-03-25 06:05:30 +0000igemnace(~ian@user/igemnace)
2024-03-25 06:06:22 +0000qqq(~qqq@92.43.167.61)
2024-03-25 06:07:18 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
2024-03-25 06:08:09 +0000michalz(~michalz@185.246.207.221)
2024-03-25 06:17:06 +0000danza(~francesco@151.57.70.37)
2024-03-25 06:26:02 +0000Guest52(~Guest52@185.57.29.142) (Ping timeout: 250 seconds)
2024-03-25 06:30:26 +0000Guest52(~Guest52@185.57.29.142)
2024-03-25 06:40:32 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-03-25 07:05:59 +0000CiaoSen(~Jura@2a05:5800:2dc:6100:e6b9:7aff:fe80:3d03)
2024-03-25 07:09:05 +0000econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-03-25 07:10:45 +0000mei(~mei@user/mei) (Ping timeout: 256 seconds)
2024-03-25 07:17:59 +0000vgtw(~vgtw@user/vgtw)
2024-03-25 07:30:47 +0000sord937(~sord937@gateway/tor-sasl/sord937)
2024-03-25 07:31:27 +0000Benzi-Junior(~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Ping timeout: 272 seconds)
2024-03-25 07:31:54 +0000Benzi-Junior(~BenziJuni@232-148-209-31.dynamic.hringdu.is)
2024-03-25 07:37:02 +0000mechap(~mechap@user/mechap)
2024-03-25 07:39:28 +0000danza(~francesco@151.57.70.37) (Ping timeout: 255 seconds)
2024-03-25 07:46:56 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-03-25 07:52:09 +0000machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-03-25 07:58:33 +0000visilii(~visilii@188.254.126.99) (Quit: ZNC 1.9.0 - https://znc.in)
2024-03-25 07:59:18 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
2024-03-25 08:01:06 +0000visilii(~visilii@188.254.126.99)
2024-03-25 08:01:25 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-03-25 08:04:32 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-03-25 08:07:46 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-25 08:13:07 +0000danse-nr3(~danse@151.57.70.37)
2024-03-25 08:13:13 +0000Lycurgus(~georg@user/Lycurgus)
2024-03-25 08:13:14 +0000danse-nr3(~danse@151.57.70.37) (Remote host closed the connection)
2024-03-25 08:13:38 +0000danse-nr3(~danse@151.57.70.37)
2024-03-25 08:18:16 +0000mechap(~mechap@user/mechap) (Ping timeout: 246 seconds)
2024-03-25 08:20:21 +0000mechap(~mechap@user/mechap)
2024-03-25 08:28:26 +0000mesaoptimizer(~mesaoptim@user/PapuaHardyNet) (Quit: nyaa~)
2024-03-25 08:28:55 +0000mima(~mmh@aftr-62-216-211-241.dynamic.mnet-online.de)
2024-03-25 08:30:48 +0000mesaoptimizer(~mesaoptim@user/PapuaHardyNet)
2024-03-25 08:33:07 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-25 08:33:09 +0000renpose(~renpose@user/renpose)
2024-03-25 08:33:37 +0000mei(~mei@user/mei)
2024-03-25 08:47:52 +0000tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 255 seconds)
2024-03-25 08:56:08 +0000mechap(~mechap@user/mechap) (Quit: WeeChat 4.2.1)
2024-03-25 08:58:02 +0000tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
2024-03-25 09:02:10 +0000 <danse-nr3> some day slack will get a parser
2024-03-25 09:08:58 +0000igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2024-03-25 09:19:23 +0000mesaoptimizermesaoptimizer2
2024-03-25 09:26:44 +0000igemnace(~ian@user/igemnace)
2024-03-25 09:30:12 +0000Guest52(~Guest52@185.57.29.142) (Ping timeout: 250 seconds)
2024-03-25 09:30:37 +0000Guest52(~Guest52@185.57.29.142)
2024-03-25 09:41:35 +0000sadie_(~sadie@c-76-155-235-153.hsd1.co.comcast.net)
2024-03-25 09:45:26 +0000danse-nr3(~danse@151.57.70.37) (Ping timeout: 264 seconds)
2024-03-25 09:45:26 +0000mesaoptimizer(~mesa@user/PapuaHardyNet)
2024-03-25 09:47:16 +0000 <Inst> hmmm
2024-03-25 09:47:34 +0000 <Inst> just curious, would you gals and guys be interested in joining a social marketplace I want to set up?
2024-03-25 09:47:43 +0000 <Inst> I realize my old dream of building wordpress in Haskell could be done this way
2024-03-25 09:47:53 +0000 <Inst> Haskript is never going to make any money
2024-03-25 09:48:37 +0000danse-nr3(~danse@151.57.70.37)
2024-03-25 09:48:48 +0000 <Inst> on the other hand, a service that undercuts FiveRR by massive sums, is willing to pay companies to hire off the social marketplace, provides ideally a better experience than LinkedIn,
2024-03-25 09:49:27 +0000 <Inst> and sells various services to users to compensate for lost revenue, can
2024-03-25 09:52:04 +0000zetef(~quassel@5.2.182.99)
2024-03-25 09:54:20 +0000__monty__(~toonn@user/toonn)
2024-03-25 09:54:35 +0000 <danse-nr3> not sure how this would look like but could give it a try. Products in haskell are so rare
2024-03-25 09:55:45 +0000zetef(~quassel@5.2.182.99) (Remote host closed the connection)
2024-03-25 09:55:46 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-03-25 09:57:16 +0000mesaoptimizer(~mesa@user/PapuaHardyNet) (Remote host closed the connection)
2024-03-25 09:58:27 +0000mesaoptimizer(~mesa@user/PapuaHardyNet)
2024-03-25 09:58:58 +0000 <danse-nr3> although saw some products in the past trying to launch leveraging the fact that they are written in haskell, and seems lame
2024-03-25 09:59:23 +0000 <kuribas> Is using generics still "boring haskell"?
2024-03-25 09:59:24 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-25 09:59:34 +0000 <kuribas> like "DeriveGeneric".
2024-03-25 10:02:01 +0000 <Hecate> kuribas: if it allows you to derive JSON interfacee automatically yes
2024-03-25 10:03:52 +0000mesaoptimizer(~mesa@user/PapuaHardyNet) (Quit: Using Circe, the loveliest of all IRC clients)
2024-03-25 10:11:44 +0000 <tomsmeding> never mind that the implementation of said JSON derivation code is not boring haskell at all
2024-03-25 10:13:28 +0000 <kuribas> ah true.
2024-03-25 10:13:36 +0000mesa(~mesaoptim@dhcp-138-246-3-201.dynamic.eduroam.mwn.de)
2024-03-25 10:13:37 +0000mesa(~mesaoptim@dhcp-138-246-3-201.dynamic.eduroam.mwn.de) (Remote host closed the connection)
2024-03-25 10:13:51 +0000 <kuribas> maybe avoid derive any then...
2024-03-25 10:14:21 +0000 <tomsmeding> I mean, it depends on what you mean by "boring haskell", and that depends on what you want to achieve with it
2024-03-25 10:14:30 +0000mesaoptimizer(~PapuaHard@user/PapuaHardyNet)
2024-03-25 10:14:53 +0000 <tomsmeding> do you want your code to be easy to read, even to more junior haskellers? Then it doesn't really matter how the deriving machinery is implemented, as long as it's a sturdy black box
2024-03-25 10:15:11 +0000 <tomsmeding> if you're idealistically motivated, then it matters a whole lot, but then, you know, that's your problem :p
2024-03-25 10:18:19 +0000danse-nr3(~danse@151.57.70.37) (Read error: Connection reset by peer)
2024-03-25 10:18:59 +0000danse-nr3(~danse@rm-19-4-142.service.infuturo.it)
2024-03-25 10:18:59 +0000ft(~ft@p508db238.dip0.t-ipconnect.de) (Quit: leaving)
2024-03-25 10:23:04 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-03-25 10:24:09 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
2024-03-25 10:25:59 +0000Lord_of_Life_Lord_of_Life
2024-03-25 10:31:12 +0000 <kuribas> tomsmeding: yes that. And actually I think it possible to write clean haskell code without to much type hackery.
2024-03-25 10:31:22 +0000 <kuribas> So a bit of both.
2024-03-25 10:36:27 +0000 <kuribas> It is a nice challenge to be able to write haskell code that is simple and still well structured and performant.
2024-03-25 10:51:25 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com)
2024-03-25 10:53:23 +0000[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2024-03-25 10:58:33 +0000zetef(~quassel@5.2.182.99)
2024-03-25 11:01:03 +0000imdoor(~imdoor@balticom-142-78-50.balticom.lv)
2024-03-25 11:03:44 +0000zetef(~quassel@5.2.182.99) (Remote host closed the connection)
2024-03-25 11:10:38 +0000imdoor(~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
2024-03-25 11:12:09 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds)
2024-03-25 11:12:23 +0000CiaoSen(~Jura@2a05:5800:2dc:6100:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds)
2024-03-25 11:16:11 +0000zer0bitz_zer0bitz
2024-03-25 11:19:27 +0000fedorafan(~fedorafan@user/fedorafan) (Ping timeout: 252 seconds)
2024-03-25 11:21:00 +0000fedorafan(~fedorafan@user/fedorafan)
2024-03-25 11:31:28 +0000wootehfoot(~wootehfoo@user/wootehfoot)
2024-03-25 11:32:00 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-03-25 11:35:16 +0000noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-03-25 11:44:37 +0000a51(a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1)
2024-03-25 11:56:59 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-03-25 12:04:48 +0000tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com)
2024-03-25 12:32:12 +0000Guest52(~Guest52@185.57.29.142) (Ping timeout: 250 seconds)
2024-03-25 12:32:17 +0000elkcl(~elkcl@broadband-178-140-136-65.ip.moscow.rt.ru) (Ping timeout: 272 seconds)
2024-03-25 12:36:58 +0000elkcl(~elkcl@broadband-178-140-136-65.ip.moscow.rt.ru)
2024-03-25 12:45:54 +0000marinelli(~weechat@gateway/tor-sasl/marinelli)
2024-03-25 12:53:23 +0000sadie_(~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection)
2024-03-25 13:00:54 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-03-25 13:11:12 +0000euphores(~SASL_euph@user/euphores)
2024-03-25 13:14:23 +0000danse-nr3(~danse@rm-19-4-142.service.infuturo.it) (Ping timeout: 264 seconds)
2024-03-25 13:24:29 +0000mmhat(~mmh@p200300f1c706a252ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-03-25 13:24:51 +0000mmhat(~mmh@p200300f1c706a298ee086bfffe095315.dip0.t-ipconnect.de)
2024-03-25 13:37:05 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-03-25 13:37:20 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-03-25 13:41:23 +0000 <Inst> also, btw, either this year or next few years will literally be the year of linux on desktop :3
2024-03-25 13:42:05 +0000 <Inst> China is banning Intel and AMD, Microsoft Windows from government computers
2024-03-25 13:42:27 +0000 <Inst> China has a love-hate relationship with Apple, so they're likely to push Kylin Linux or some derivatives in
2024-03-25 13:42:38 +0000 <Inst> shame that NixOS is so niche, though
2024-03-25 13:44:29 +0000 <terrorjack> Inst, probably better for #haskell-offtopic but it's not yet a big deal before m$ shuts down their china branch. also they have a special windows 10 for chinese gov that disables all m$ telemetry which still runs on x86_64
2024-03-25 13:46:22 +0000ystael(~ystael@user/ystael)
2024-03-25 13:47:21 +0000CiaoSen(~Jura@2a05:5800:2dc:6100:e6b9:7aff:fe80:3d03)
2024-03-25 13:51:58 +0000 <Inst> sorry, was just trying to think of some cheerful topics, it's like, Linux is close to going mainstream, FP is pretty mainstream these days
2024-03-25 13:52:05 +0000 <Inst> one day maybe Haskell will be too :3
2024-03-25 13:53:05 +0000euphores(~SASL_euph@user/euphores)
2024-03-25 13:53:09 +0000danse-nr3(~danse@151.57.75.207)
2024-03-25 13:58:46 +0000CiaoSen(~Jura@2a05:5800:2dc:6100:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds)
2024-03-25 14:11:54 +0000acarrico(~acarrico@dhcp-68-142-49-163.greenmountainaccess.net)
2024-03-25 14:14:23 +0000forell(~forell@user/forell) (Ping timeout: 264 seconds)
2024-03-25 14:16:46 +0000 <terrorjack> have you heard of job security by obscurity /s
2024-03-25 14:17:55 +0000 <terrorjack> joke aside, would be nice to have some success stories for haskell on non compiler or web backend things
2024-03-25 14:21:56 +0000forell(~forell@user/forell)
2024-03-25 14:24:32 +0000mei(~mei@user/mei) (Remote host closed the connection)
2024-03-25 14:25:08 +0000mei(~mei@user/mei)
2024-03-25 14:27:12 +0000mei(~mei@user/mei) (Client Quit)
2024-03-25 14:27:37 +0000mei(~mei@user/mei)
2024-03-25 14:33:53 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2024-03-25 14:36:36 +0000shapr(~user@c-24-218-186-89.hsd1.ma.comcast.net)
2024-03-25 14:37:43 +0000noumenon(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2024-03-25 14:38:05 +0000euleritian(~euleritia@dynamic-176-006-203-223.176.6.pool.telefonica.de)
2024-03-25 14:38:40 +0000 <probie> Like pandoc and git-annex?
2024-03-25 14:42:12 +0000thaumavorio_(~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in)
2024-03-25 14:43:36 +0000alexherbo2(~alexherbo@2a02-8440-3440-4e49-dce3-e649-2e34-6242.rev.sfr.net)
2024-03-25 14:45:03 +0000thaumavorio(~thaumavor@thaumavor.io)
2024-03-25 14:49:38 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-03-25 14:53:18 +0000 <edmundnoble_> fwiw if anyone's curious about the cabal caching VCS thing I was doing the other day, I solved it for myself by just making a "current cache" symlink which I always use as the builddir. Unfortunately my approach of using hard links to avoid using unnecessary space sort of falls apart due to linked executables being the things that actually take up all of the space in the cache.
2024-03-25 14:54:50 +0000 <edmundnoble_> cabal will also just die if I try to delete the executables and repopulate them on demand, because seemingly it just assumes the executables are there if the other artifacts are
2024-03-25 14:55:53 +0000 <edmundnoble_> But hey, it works. It'll waste a bunch of space, but I happen to have enough for that right now
2024-03-25 15:10:35 +0000Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-03-25 15:15:42 +0000husshpuppy(~franky@user/husshpuppy)
2024-03-25 15:19:28 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2024-03-25 15:25:27 +0000dibblego(~dibblego@116-255-1-119.ip4.superloop.au)
2024-03-25 15:25:27 +0000dibblego(~dibblego@116-255-1-119.ip4.superloop.au) (Changing host)
2024-03-25 15:25:27 +0000dibblego(~dibblego@haskell/developer/dibblego)
2024-03-25 15:25:56 +0000 <shapr> @quote
2024-03-25 15:25:56 +0000 <lambdabot> roadfish says: Haskell Platform is promoted as a "batteries included" setup. But it seems these are like alkaline batteries and cabal is a NiMH charger.
2024-03-25 15:28:39 +0000gorignak(~gorignak@user/gorignak)
2024-03-25 15:35:26 +0000tremon(~tremon@83.80.159.219)
2024-03-25 15:42:16 +0000a51(a51@gateway/vpn/protonvpn/a51)
2024-03-25 15:53:27 +0000danse-nr3(~danse@151.57.75.207) (Remote host closed the connection)
2024-03-25 15:53:52 +0000danse-nr3(~danse@151.57.75.207)
2024-03-25 15:58:40 +0000euleritian(~euleritia@dynamic-176-006-203-223.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-03-25 15:58:55 +0000tushar(~tushar@103.46.201.22)
2024-03-25 15:58:57 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-25 16:03:32 +0000waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-03-25 16:13:31 +0000tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-03-25 16:15:10 +0000qqq(~qqq@92.43.167.61) (Remote host closed the connection)
2024-03-25 16:17:45 +0000machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 272 seconds)
2024-03-25 16:23:55 +0000ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2024-03-25 16:24:07 +0000[_](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2024-03-25 16:24:28 +0000ec(~ec@gateway/tor-sasl/ec)
2024-03-25 16:24:34 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-25 16:28:32 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
2024-03-25 16:29:00 +0000krei-se(~krei-se@p57af28c6.dip0.t-ipconnect.de) (Quit: ZNC 1.9.0 - https://znc.in)
2024-03-25 16:33:48 +0000nitrix(~nitrix@user/nitrix) (Quit: ZNC 1.8.2 - https://znc.in)
2024-03-25 16:35:15 +0000nitrix(~nitrix@user/nitrix)
2024-03-25 16:46:24 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 256 seconds)
2024-03-25 16:47:23 +0000CrunchyFlakes_(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-03-25 16:50:16 +0000zetef(~quassel@5.2.182.99)
2024-03-25 16:54:00 +0000danse-nr3(~danse@151.57.75.207) (Read error: Connection reset by peer)
2024-03-25 16:57:25 +0000oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel)
2024-03-25 16:58:33 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-03-25 16:59:05 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-25 17:00:41 +0000michalz_(~michalz@185.246.207.200)
2024-03-25 17:01:40 +0000michalz(~michalz@185.246.207.221) (Ping timeout: 256 seconds)
2024-03-25 17:12:42 +0000alexherbo2(~alexherbo@2a02-8440-3440-4e49-dce3-e649-2e34-6242.rev.sfr.net) (Remote host closed the connection)
2024-03-25 17:13:56 +0000waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-03-25 17:15:41 +0000drdo(~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 240 seconds)
2024-03-25 17:19:03 +0000krei-se(~krei-se@p5085d49b.dip0.t-ipconnect.de)
2024-03-25 17:22:34 +0000zetef(~quassel@5.2.182.99) (Remote host closed the connection)
2024-03-25 17:22:50 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-03-25 17:25:30 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-03-25 17:26:01 +0000euleritian(~euleritia@dynamic-176-006-203-223.176.6.pool.telefonica.de)
2024-03-25 17:31:12 +0000rvalue(~rvalue@user/rvalue) (Ping timeout: 255 seconds)
2024-03-25 17:35:36 +0000imdoor(~imdoor@balticom-142-78-50.balticom.lv)
2024-03-25 17:36:50 +0000phma_(~phma@host-67-44-208-68.hnremote.net)
2024-03-25 17:38:10 +0000tzh_(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-03-25 17:38:25 +0000mxs6(~mxs@user/mxs)
2024-03-25 17:38:27 +0000Wstfgl0(~me-me@2602:ff16:3:0:1:dc:beef:d00d)
2024-03-25 17:38:51 +0000ephemient_(uid407513@id-407513.lymington.irccloud.com)
2024-03-25 17:38:58 +0000bsima1_(9d7e39c8ad@2a03:6000:1812:100::dd)
2024-03-25 17:38:59 +0000myxokephale(~myxos@065-028-251-121.inf.spectrum.com)
2024-03-25 17:38:59 +0000fn_lumi_(3d621153a5@2a03:6000:1812:100::df7)
2024-03-25 17:38:59 +0000jakzale_(6291399afa@user/jakzale)
2024-03-25 17:38:59 +0000raghavgururajan_(ea769b8000@2a03:6000:1812:100::242)
2024-03-25 17:39:00 +0000henrytill_(e0180937c3@2a03:6000:1812:100::e8c)
2024-03-25 17:39:01 +0000shreyasminocha_(51fdc93eda@user/shreyasminocha)
2024-03-25 17:39:01 +0000aniketd_(32aa4844cd@2a03:6000:1812:100::dcb)
2024-03-25 17:39:01 +0000brettgilio_(a35ba67324@2a03:6000:1812:100::260)
2024-03-25 17:39:01 +0000fluffyballoon_(45ce440a48@2a03:6000:1812:100::e2)
2024-03-25 17:39:01 +0000ursa-major_(114efe6c39@2a03:6000:1812:100::11f3)
2024-03-25 17:39:01 +0000akspecs_(00cc8321af@2a03:6000:1812:100::11a)
2024-03-25 17:39:02 +0000samhh__(7569f027cf@2a03:6000:1812:100::e4)
2024-03-25 17:39:02 +0000fvr_(ef3e56ca8b@2a03:6000:1812:100::3c4)
2024-03-25 17:39:30 +0000rvalue(~rvalue@user/rvalue)
2024-03-25 17:40:13 +0000sgarcia_(sgarcia@swarm.znchost.com)
2024-03-25 17:40:47 +0000turlando_(~turlando@user/turlando)
2024-03-25 17:40:57 +0000kritzefitz_(~kritzefit@debian/kritzefitz)
2024-03-25 17:41:01 +0000sus_(1b7af6299f@user/zeromomentum)
2024-03-25 17:41:17 +0000jkoshy_(99b9359beb@user/jkoshy)
2024-03-25 17:41:20 +0000kritzefitz(~kritzefit@debian/kritzefitz) (Killed (lithium.libera.chat (Nickname regained by services)))
2024-03-25 17:41:20 +0000kritzefitz_kritzefitz
2024-03-25 17:41:26 +0000JoelMcCracken_(5ea8252fbb@2a03:6000:1812:100::10e3)
2024-03-25 17:41:30 +0000kuruczgy_(55b66dd3ae@2a03:6000:1812:100::127f)
2024-03-25 17:41:34 +0000jmcantrell_(644f1bed9a@user/jmcantrell)
2024-03-25 17:41:42 +0000ezzieygu1wuf(~Unknown@user/ezzieyguywuf)
2024-03-25 17:41:47 +0000lane_(809450f172@2a03:6000:1812:100::1300)
2024-03-25 17:42:02 +0000td__(~td@i53870914.versanet.de)
2024-03-25 17:42:17 +0000hammond__(~abner@gateway02.insomnia247.nl)
2024-03-25 17:42:17 +0000myme1(~myme@2a01:799:d5c:5f00:717f:9bbf:7ce4:8e5)
2024-03-25 17:42:25 +0000forell_(~forell@host-178-216-90-220.sta.tvknaszapraca.pl)
2024-03-25 17:42:26 +0000mstksg(~jle`@2603-8001-3b02-84d4-ffba-5774-382a-24ec.res6.spectrum.com)
2024-03-25 17:42:33 +0000tr_ev(~trev@user/trev)
2024-03-25 17:43:38 +0000trev(~trev@user/trev) (Killed (NickServ (GHOST command used by tr_ev)))
2024-03-25 17:43:44 +0000tr_evtrev
2024-03-25 17:44:36 +0000connrs_(~connrs@user/connrs)
2024-03-25 17:45:47 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-03-25 17:46:51 +0000imdoor(~imdoor@balticom-142-78-50.balticom.lv) (*.net *.split)
2024-03-25 17:46:51 +0000tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (*.net *.split)
2024-03-25 17:46:51 +0000forell(~forell@user/forell) (*.net *.split)
2024-03-25 17:46:51 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (*.net *.split)
2024-03-25 17:46:51 +0000td_(~td@i53870914.versanet.de) (*.net *.split)
2024-03-25 17:46:51 +0000picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split)
2024-03-25 17:46:51 +0000baghead(~baghead@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) (*.net *.split)
2024-03-25 17:46:52 +0000sgarcia(sgarcia@swarm.znchost.com) (*.net *.split)
2024-03-25 17:46:52 +0000motherfsck(~motherfsc@user/motherfsck) (*.net *.split)
2024-03-25 17:46:52 +0000myxos(~myxos@065-028-251-121.inf.spectrum.com) (*.net *.split)
2024-03-25 17:46:52 +0000Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d) (*.net *.split)
2024-03-25 17:46:52 +0000jle`(~jle`@2603-8001-3b02-84d4-e36f-d1aa-df97-c5e9.res6.spectrum.com) (*.net *.split)
2024-03-25 17:46:52 +0000connrs(~connrs@user/connrs) (*.net *.split)
2024-03-25 17:46:52 +0000hammond_(proscan@user/hammond2) (*.net *.split)
2024-03-25 17:46:53 +0000myme(~myme@2a01:799:d5c:5f00:bb0e:9829:92b0:ed75) (*.net *.split)
2024-03-25 17:46:53 +0000mxs(~mxs@user/mxs) (*.net *.split)
2024-03-25 17:46:53 +0000turlando(~turlando@user/turlando) (*.net *.split)
2024-03-25 17:46:54 +0000phma(~phma@2001:5b0:211f:9138:897:c3bf:69c4:26b3) (*.net *.split)
2024-03-25 17:46:55 +0000haskellbridge(~haskellbr@069-135-003-034.biz.spectrum.com) (*.net *.split)
2024-03-25 17:46:55 +0000ephemient(uid407513@id-407513.lymington.irccloud.com) (*.net *.split)
2024-03-25 17:46:55 +0000samhh_(7569f027cf@2a03:6000:1812:100::e4) (*.net *.split)
2024-03-25 17:46:55 +0000JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split)
2024-03-25 17:46:55 +0000jakzale(6291399afa@user/jakzale) (*.net *.split)
2024-03-25 17:46:55 +0000henrytill(e0180937c3@2a03:6000:1812:100::e8c) (*.net *.split)
2024-03-25 17:46:55 +0000ursa-major(114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split)
2024-03-25 17:46:55 +0000kuruczgy(55b66dd3ae@2a03:6000:1812:100::127f) (*.net *.split)
2024-03-25 17:46:55 +0000fn_lumi(3d621153a5@2a03:6000:1812:100::df7) (*.net *.split)
2024-03-25 17:46:55 +0000aniketd(32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split)
2024-03-25 17:46:55 +0000fluffyballoon(45ce440a48@2a03:6000:1812:100::e2) (*.net *.split)
2024-03-25 17:46:55 +0000jkoshy(99b9359beb@user/jkoshy) (*.net *.split)
2024-03-25 17:46:55 +0000akspecs(00cc8321af@sourcehut/user/akspecs) (*.net *.split)
2024-03-25 17:46:55 +0000jmcantrell(644f1bed9a@user/jmcantrell) (*.net *.split)
2024-03-25 17:46:55 +0000shreyasminocha(51fdc93eda@user/shreyasminocha) (*.net *.split)
2024-03-25 17:46:56 +0000fvr(ef3e56ca8b@2a03:6000:1812:100::3c4) (*.net *.split)
2024-03-25 17:46:56 +0000brettgilio(a35ba67324@2a03:6000:1812:100::260) (*.net *.split)
2024-03-25 17:46:56 +0000raghavgururajan(ea769b8000@user/raghavgururajan) (*.net *.split)
2024-03-25 17:46:56 +0000sus(1b7af6299f@user/zeromomentum) (*.net *.split)
2024-03-25 17:46:56 +0000bsima1(9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split)
2024-03-25 17:46:56 +0000lane(809450f172@2a03:6000:1812:100::1300) (*.net *.split)
2024-03-25 17:46:56 +0000noctux(~noctux@user/noctux) (*.net *.split)
2024-03-25 17:46:56 +0000kuruczgy_kuruczgy
2024-03-25 17:46:56 +0000jkoshy_jkoshy
2024-03-25 17:46:56 +0000connrs_connrs
2024-03-25 17:46:56 +0000JoelMcCracken_JoelMcCracken
2024-03-25 17:46:56 +0000sus_sus
2024-03-25 17:46:57 +0000jmcantrell_jmcantrell
2024-03-25 17:46:57 +0000mxs6mxs
2024-03-25 17:46:57 +0000jakzale_jakzale
2024-03-25 17:46:57 +0000aniketd_aniketd
2024-03-25 17:46:57 +0000henrytill_henrytill
2024-03-25 17:46:57 +0000bsima1_bsima1
2024-03-25 17:46:57 +0000ephemient_ephemient
2024-03-25 17:46:57 +0000fn_lumi_fn_lumi
2024-03-25 17:46:58 +0000fluffyballoon_fluffyballoon
2024-03-25 17:46:58 +0000fvr_fvr
2024-03-25 17:46:59 +0000shreyasminocha_shreyasminocha
2024-03-25 17:47:00 +0000brettgilio_brettgilio
2024-03-25 17:47:00 +0000ursa-major_ursa-major
2024-03-25 17:47:48 +0000califax(~califax@user/califx)
2024-03-25 17:47:48 +0000haskellbridge(~haskellbr@069-135-003-034.biz.spectrum.com)
2024-03-25 17:47:48 +0000ChanServ+v haskellbridge
2024-03-25 17:47:53 +0000noctux(~noctux@user/noctux)
2024-03-25 17:49:00 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-03-25 17:50:11 +0000califax(~califax@user/califx)
2024-03-25 17:51:30 +0000pavonia(~user@user/siracusa)
2024-03-25 17:53:02 +0000gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-03-25 17:53:08 +0000motherfsck(~motherfsc@user/motherfsck)
2024-03-25 17:53:50 +0000picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
2024-03-25 18:28:10 +0000average(uid473595@user/average)
2024-03-25 18:28:48 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-03-25 18:35:46 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2024-03-25 18:41:25 +0000califax(~califax@user/califx)
2024-03-25 18:44:06 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-03-25 18:45:49 +0000waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-03-25 18:46:26 +0000califax(~califax@user/califx)
2024-03-25 18:50:44 +0000ft(~ft@p508db238.dip0.t-ipconnect.de)
2024-03-25 18:52:40 +0000Wstfgl0Me-me
2024-03-25 18:52:44 +0000Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Changing host)
2024-03-25 18:52:44 +0000Me-me(~me-me@user/me-me)
2024-03-25 18:55:02 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-03-25 18:55:31 +0000califax(~califax@user/califx)
2024-03-25 18:59:16 +0000oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-03-25 19:03:35 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-25 19:13:16 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 268 seconds)
2024-03-25 19:13:51 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-03-25 19:15:09 +0000igemnace(~ian@user/igemnace) (Quit: WeeChat 4.2.1)
2024-03-25 19:15:17 +0000califax(~califax@user/califx)
2024-03-25 19:24:34 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-03-25 19:24:45 +0000Square(~Square@user/square)
2024-03-25 19:33:11 +0000notzmv(~daniel@user/notzmv) (Ping timeout: 255 seconds)
2024-03-25 19:33:47 +0000target_i(~target_i@user/target-i/x-6023099)
2024-03-25 19:34:21 +0000simendsjo(~user@31-209-40-186.cust.bredband2.com)
2024-03-25 19:36:05 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2024-03-25 19:36:21 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2024-03-25 19:37:09 +0000 <tomsmeding> how would you call this function?
2024-03-25 19:37:16 +0000 <tomsmeding> :t \f (x, y) -> (,y) <$> f x
2024-03-25 19:37:17 +0000 <lambdabot> Functor f => (t1 -> f t2) -> (t1, t3) -> f (t2, t3)
2024-03-25 19:37:32 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-25 19:38:56 +0000imdoor(~imdoor@balticom-142-78-50.balticom.lv)
2024-03-25 19:39:16 +0000 <ncf> something something right strength
2024-03-25 19:39:50 +0000 <tomsmeding> I mean, I would call it 'firstM' but it not needing Functor, the M is not really applicable
2024-03-25 19:40:19 +0000 <tomsmeding> there's conventional *M and *A suffixes but no *F, and in any case this belongs, intuitively, in the *A/*M sets
2024-03-25 19:40:36 +0000 <ncf> https://hackage.haskell.org/package/profunctors-5.6.2/docs/src/Data.Profunctor.Strong.html#line-120
2024-03-25 19:40:49 +0000 <tomsmeding> first'
2024-03-25 19:41:50 +0000 <ncf> or uuuh
2024-03-25 19:41:57 +0000 <ncf> :t _1
2024-03-25 19:41:58 +0000 <lambdabot> (Field1 s t a b, Functor f) => (a -> f b) -> s -> f t
2024-03-25 19:42:25 +0000tomsmedingdoesn't have lens as a dependency and is not intending to change that
2024-03-25 19:43:49 +0000 <tomsmeding> hm
2024-03-25 19:43:56 +0000 <tomsmeding> I'll just stay with firstM I think :)
2024-03-25 19:44:18 +0000 <tomsmeding> the awkward thing is that I then also have secondM and bimapM and they don't even have the same typeclass constraint on f (think about it)
2024-03-25 19:46:05 +0000 <ncf> secondM should have Functor and bimapM should have Applicative
2024-03-25 19:46:11 +0000 <tomsmeding> indeed
2024-03-25 19:46:14 +0000 <ncf> ...not the greatest names
2024-03-25 19:46:17 +0000 <tomsmeding> no
2024-03-25 19:46:34 +0000dcoutts_(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 268 seconds)
2024-03-25 19:46:38 +0000 <tomsmeding> they make more sense to me than first', especially because I intend to use them in a monadic context
2024-03-25 19:47:40 +0000 <ncf> i mean first' is the class method
2024-03-25 19:48:58 +0000dcoutts_(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2024-03-25 19:50:19 +0000 <tomsmeding> profunctors is not in my dependency tree either :p
2024-03-25 19:51:34 +0000 <ncf> what kind of primitive technology are you building that doesn't depend on profunctors
2024-03-25 19:51:55 +0000 <tomsmeding> my dependencies are: base, containers, mtl, monad-chronicle, these
2024-03-25 19:52:41 +0000 <tomsmeding> the latter two only because I'm defining an instance of MonadChronicle at some point that I don't really use -- just its methods, but it felt neat to write the instance anyway
2024-03-25 19:52:49 +0000 <tomsmeding> as in, I don't use MonadChronicle polymorphically
2024-03-25 19:52:55 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-03-25 19:53:25 +0000califax(~califax@user/califx)
2024-03-25 19:57:56 +0000 <sm> terrorjack: +1 on success stories.. "real world apps" is a related FAQ, I just gathered some lists. Here are a few:
2024-03-25 19:57:59 +0000 <sm> https://news.ycombinator.com/item?id=31664490 (2022)
2024-03-25 19:57:59 +0000 <sm> https://www.reddit.com/r/haskell/comments/eddwbu/top_nonprogrammingrelated_haskell_apps/ (2019)
2024-03-25 19:57:59 +0000 <sm> https://www.reddit.com/r/haskell/comments/2wicxt/what_are_the_best_real_world_applications/ (2015)
2024-03-25 19:59:22 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds)
2024-03-25 20:01:35 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2024-03-25 20:02:26 +0000renpose(~renpose@user/renpose) (Ping timeout: 250 seconds)
2024-03-25 20:05:22 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-03-25 20:13:11 +0000mesaoptimizer(~PapuaHard@user/PapuaHardyNet) (Ping timeout: 264 seconds)
2024-03-25 20:20:27 +0000renpose(~renpose@user/renpose)
2024-03-25 20:23:26 +0000husshpuppy(~franky@user/husshpuppy) (Quit: Lost terminal)
2024-03-25 20:27:15 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-25 20:27:52 +0000euleritian(~euleritia@dynamic-176-006-203-223.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-03-25 20:28:11 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-25 20:30:52 +0000 <shapr> I've had friends / coworkers say Haskell isn't for real world use, I point them to my tiny utilities like https://github.com/shapr/sandwatch and https://github.com/shapr/bloohm and https://github.com/shapr/takedouble
2024-03-25 20:37:05 +0000 <shapr> I also say that Haskell is fast enough to use in a CLI wrapper like sandwatch
2024-03-25 20:38:16 +0000 <geekosaur> they're just afraid
2024-03-25 20:43:16 +0000machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-03-25 20:43:19 +0000 <shapr> change is hard, I can understand that
2024-03-25 20:45:08 +0000alexherbo2(~alexherbo@2a02-8440-3440-76b1-98e2-5a13-613b-b33b.rev.sfr.net)
2024-03-25 20:46:02 +0000 <glguy> I'm glad I don't live in the real world; it sounds like a bleak place
2024-03-25 20:47:34 +0000[Leary](~Leary]@user/Leary/x-0910699)
2024-03-25 20:53:15 +0000simendsjo(~user@31-209-40-186.cust.bredband2.com) (Ping timeout: 272 seconds)
2024-03-25 20:54:12 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-03-25 20:55:58 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-25 21:00:50 +0000mesaoptimizer2mesaoptimizer
2024-03-25 21:04:24 +0000renpose(~renpose@user/renpose) (Ping timeout: 250 seconds)
2024-03-25 21:05:36 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2024-03-25 21:14:27 +0000Guest52(~Guest52@185.57.29.142)
2024-03-25 21:21:29 +0000dorin(~dorin@user/dorin)
2024-03-25 21:24:04 +0000dorin(~dorin@user/dorin) (Client Quit)
2024-03-25 21:25:26 +0000dorin(~dorin@user/dorin)
2024-03-25 21:31:52 +0000imdoor(~imdoor@balticom-142-78-50.balticom.lv) (Remote host closed the connection)
2024-03-25 21:34:26 +0000 <EvanR> real world is deeply magical
2024-03-25 21:34:54 +0000 <tomsmeding> EvanR: you would say that haskell is not sufficiently `magic`al?
2024-03-25 21:35:15 +0000 <geekosaur> :t magic
2024-03-25 21:35:15 +0000 <lambdabot> error: Variable not in scope: magic
2024-03-25 21:35:18 +0000 <EvanR> I'll tell you yesterday, installs tardis
2024-03-25 21:35:21 +0000 <geekosaur> apparently not 😛
2024-03-25 21:45:23 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-03-25 21:45:41 +0000califax(~califax@user/califx)
2024-03-25 21:51:55 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-03-25 21:52:46 +0000Inst(~Inst@120.244.192.126) (Remote host closed the connection)
2024-03-25 21:53:11 +0000Inst(~Inst@120.244.192.126)
2024-03-25 21:53:46 +0000Square(~Square@user/square) (Ping timeout: 246 seconds)
2024-03-25 21:56:59 +0000lyxia(~lyxia@poisson.chat) (Quit: WeeChat 4.2.1)
2024-03-25 21:57:26 +0000lyxia(~lyxia@poisson.chat)
2024-03-25 22:01:31 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-03-25 22:01:51 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2024-03-25 22:09:17 +0000Sgeo(~Sgeo@user/sgeo)
2024-03-25 22:19:19 +0000alexherbo2(~alexherbo@2a02-8440-3440-76b1-98e2-5a13-613b-b33b.rev.sfr.net) (Remote host closed the connection)
2024-03-25 22:20:48 +0000michalz_(~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in)
2024-03-25 22:22:37 +0000tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-03-25 22:27:45 +0000 <shapr> @quote
2024-03-25 22:27:45 +0000 <lambdabot> xDie says: <xDie> > 1.1.1.1.1.1.1.1.1.1.1.1 + 2.3
2024-03-25 22:27:53 +0000shapris confused
2024-03-25 22:28:42 +0000 <Rembane> Now that's a cursed IP address.
2024-03-25 22:30:09 +0000 <ncf> > 1.1.1.1.1.1.1.1.1.1.1.1 + 2.3
2024-03-25 22:30:10 +0000 <lambdabot> error:
2024-03-25 22:30:10 +0000 <lambdabot> • Could not deduce (Fractional (b0 -> c))
2024-03-25 22:30:10 +0000 <lambdabot> (maybe you haven't applied a function to enough arguments?)
2024-03-25 22:33:44 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-03-25 22:36:34 +0000ph88(~ph88@ip5b403f30.dynamic.kabel-deutschland.de)
2024-03-25 22:37:35 +0000ph88(~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-03-25 22:38:16 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-03-25 22:39:15 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-03-25 22:40:37 +0000tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-03-25 22:42:11 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-25 22:42:36 +0000johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2024-03-25 22:47:51 +0000average(uid473595@user/average) (Quit: Connection closed for inactivity)
2024-03-25 22:53:25 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-25 22:55:34 +0000sadie_(~sadie@c-76-155-235-153.hsd1.co.comcast.net)
2024-03-25 22:59:08 +0000johnw(~johnw@69.62.242.138)
2024-03-25 23:00:34 +0000AlexNoo_(~AlexNoo@178.34.163.255)
2024-03-25 23:03:39 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-03-25 23:04:00 +0000AlexNoo(~AlexNoo@178.34.163.255) (Ping timeout: 252 seconds)
2024-03-25 23:06:08 +0000acidjnk_new(~acidjnk@p200300d6e733bd6460cb954dffdecc30.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-03-25 23:06:20 +0000EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2024-03-25 23:06:39 +0000EvanR(~EvanR@user/evanr)
2024-03-25 23:07:09 +0000tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2024-03-25 23:10:37 +0000emmanuelux(~emmanuelu@user/emmanuelux)
2024-03-25 23:14:35 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2024-03-25 23:19:16 +0000sadie_(~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection)
2024-03-25 23:25:30 +0000benjaminl(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2024-03-25 23:25:46 +0000benjaminl(~benjaminl@user/benjaminl)
2024-03-25 23:33:28 +0000dorin(~dorin@user/dorin) (Ping timeout: 250 seconds)
2024-03-25 23:35:47 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-03-25 23:45:10 +0000oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 256 seconds)