Home liberachat/#haskell: Logs Calendar

Logs on 2022-07-09 (liberachat/#haskell)

00:01:26 × mrmr quits (~mrmr@user/mrmr) (Quit: The Lounge - https://thelounge.chat)
00:02:25 × califax quits (~califax@user/califx) (Remote host closed the connection)
00:03:10 → sympt joins (~sympt@user/sympt)
00:03:27 → califax joins (~califax@user/califx)
00:04:13 → nuc13u5 joins (~nuc13u5@2601:203:400:af50:89cc:9642:c954:860)
00:05:28 × shriekingnoise quits (~shrieking@201.212.175.181) (Quit: Quit)
00:05:38 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds)
00:05:38 × dextaa quits (~DV@user/dextaa) (Read error: Connection reset by peer)
00:07:10 → noteness_ joins (~noteness@user/noteness)
00:07:16 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
00:07:19 → shriekingnoise joins (~shrieking@201.212.175.181)
00:07:54 → dextaa joins (~DV@user/dextaa)
00:08:06 × noteness quits (~noteness@user/noteness) (Ping timeout: 268 seconds)
00:18:11 × dsrt^ quits (~dsrt@128-092-191-146.biz.spectrum.com) (Remote host closed the connection)
00:23:30 → chaoxu joins (~chaoxu@218.255.178.199)
00:26:40 × gurkenglas quits (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 244 seconds)
00:26:56 × dfg quits (dfg@user/dfg) (Quit: I hate quit messages.)
00:28:05 → dfg joins (~dfg@dfg.rocks)
00:28:05 × dfg quits (~dfg@dfg.rocks) (Changing host)
00:28:05 → dfg joins (~dfg@user/dfg)
00:29:59 → frost joins (~frost@user/frost)
00:33:52 → Haskelytic joins (~Haskelyti@37.111.211.82)
00:34:28 × dfg quits (~dfg@user/dfg) (Quit: I hate quit messages.)
00:35:16 → Dean joins (~Dean@user/De4n-Whit3/x-9385125)
00:35:19 ← Dean parts (~Dean@user/De4n-Whit3/x-9385125) ()
00:35:36 → dfg joins (dfg@dfg.rocks)
00:35:36 × dfg quits (dfg@dfg.rocks) (Changing host)
00:35:36 → dfg joins (dfg@user/dfg)
00:37:09 → merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
00:37:10 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
00:37:57 × nuc13u5 quits (~nuc13u5@2601:203:400:af50:89cc:9642:c954:860) (Remote host closed the connection)
00:41:14 × phma quits (phma@2001:5b0:215d:f9b8:8b32:f15e:1903:26cf) (Read error: Connection reset by peer)
00:42:07 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
00:48:15 × mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz))
00:48:37 × chaoxu quits (~chaoxu@218.255.178.199) (Quit: Client closed)
00:49:26 × fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
00:49:26 × Haskelytic quits (~Haskelyti@37.111.211.82) (Quit: Client closed)
00:53:25 → phma joins (~phma@2001:5b0:211c:8d18:b329:d048:5e84:e097)
00:53:27 → Haskelytic joins (~Haskelyti@118.179.211.17)
00:54:56 × phma quits (~phma@2001:5b0:211c:8d18:b329:d048:5e84:e097) (Read error: Connection reset by peer)
00:55:21 → phma joins (~phma@host-67-44-209-46.hnremote.net)
00:55:37 × quarkyalice quits (~alice@user/quarkyalice) (Remote host closed the connection)
00:55:41 → quarkyalice_ joins (~alice@172.79.210.234)
00:55:41 × quarkyalice_ quits (~alice@172.79.210.234) (Changing host)
00:55:41 → quarkyalice_ joins (~alice@user/quarkyalice/x-8092822)
00:57:42 → qhong joins (~qhong@DN200ouju.stanford.edu)
00:58:32 → jmdaemon joins (~jmdaemon@user/jmdaemon)
01:04:23 × jelewis2 quits (~lewisje@2001:470:1f11:14e:50c5:a481:bb91:9810) (Ping timeout: 244 seconds)
01:06:40 → lewisje joins (~lewisje@2001:470:1f11:14e:fc04:1a83:61b4:de2c)
01:08:15 → matthewmosior joins (~matthewmo@173.170.253.91)
01:08:49 × zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection)
01:10:35 × merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
01:11:36 → zaquest joins (~notzaques@5.130.79.72)
01:14:45 × waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
01:21:05 → jargon joins (~jargon@184.101.188.251)
01:31:05 → nate4 joins (~nate@98.45.169.16)
01:32:35 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
01:36:45 → DeCentN2Madness joins (~alice@ip68-3-91-223.ph.ph.cox.net)
01:43:43 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
01:43:57 × frost quits (~frost@user/frost) (Quit: Client closed)
01:52:10 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds)
01:54:15 × alp quits (~alp@user/alp) (Ping timeout: 276 seconds)
01:59:40 × matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
01:59:47 → matthewmosior joins (~matthewmo@173.170.253.91)
02:05:34 × DeCentN2Madness quits (~alice@ip68-3-91-223.ph.ph.cox.net) (Quit: leaving)
02:06:46 → telser joins (~quassel@user/telser)
02:10:45 → zxx7529 joins (~Thunderbi@user/zxx7529)
02:12:41 × zxx7529 quits (~Thunderbi@user/zxx7529) (Remote host closed the connection)
02:12:48 × Haskelytic quits (~Haskelyti@118.179.211.17) (Quit: Client closed)
02:12:56 → zxx7529 joins (~Thunderbi@user/zxx7529)
02:15:34 → chaoxu joins (~chaoxu@218.255.178.199)
02:16:58 <chaoxu> I want to develop a Typora https://typora.io/ like program. So a WYSIWYG editor for markdown that runs in the web browser. Haskell is the backend, where any interaction gets directed to the haskell backend, and haskell renders it, and returns it to the browser. What would be a reasonable tech stack to do this in Haskell?
02:20:31 × matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
02:27:50 → matthewmosior joins (~matthewmo@173.170.253.91)
02:28:03 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds)
02:32:17 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
02:32:36 × td_ quits (~td@94.134.91.254) (Ping timeout: 276 seconds)
02:34:04 → td_ joins (~td@muedsl-82-207-238-037.citykom.de)
02:34:19 → harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
02:34:50 × motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 272 seconds)
02:35:46 → nate4 joins (~nate@98.45.169.16)
02:37:39 → yauhsien joins (~yauhsien@61-231-36-12.dynamic-ip.hinet.net)
02:39:17 × chaoxu quits (~chaoxu@218.255.178.199) (Quit: Client closed)
02:42:58 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds)
02:43:35 <arahael> chreekat: Why wouldn't you want to do that rendering on the browser side?
02:43:51 <arahael> chreekat: I'm not sure I'd be keen to experience a 300ms lag with my typing.
02:45:24 → zebrag joins (~chris@user/zebrag)
02:48:30 × yauhsien quits (~yauhsien@61-231-36-12.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
02:49:16 → matthewmosior joins (~matthewmo@173.170.253.91)
02:55:51 → nate4 joins (~nate@98.45.169.16)
02:57:27 × matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
02:58:09 → matthewmosior joins (~matthewmo@173.170.253.91)
03:01:50 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds)
03:02:26 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
03:06:18 × arahael quits (~arahael@123-243-106-34.tpgi.com.au) (Ping timeout: 240 seconds)
03:06:52 → merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
03:09:27 × kjak quits (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
03:10:39 → kjak joins (~kjak@pool-108-31-68-111.washdc.fios.verizon.net)
03:10:44 → matthewmosior joins (~matthewmo@173.170.253.91)
03:12:20 × harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
03:15:06 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
03:21:24 → matthewmosior joins (~matthewmo@173.170.253.91)
03:21:51 → arahael joins (~arahael@60-242-42-246.tpgi.com.au)
03:21:55 × machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 256 seconds)
03:23:57 × zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
03:27:06 × xff0x quits (~xff0x@2405:6580:b080:900:1528:dad7:5cec:e124) (Ping timeout: 264 seconds)
03:27:12 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds)
03:28:29 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
03:30:15 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
03:32:05 <sm> congrats @slack1256:libera.chat
03:34:44 <jackdk> My two main haskelly tech stack thoughts are 1. GHCJS (possibly reflex if you like big brain time, because it's really cool when it eventually clicks) or 2. HTMX on the frontend and servant on the backend, and exchange chunks of HTML
03:35:19 <jackdk> I haven't played seriously with either ( http://jackkelly.name/blog/archives/2021/11/09/a_static_haskell_reflex_frontend_app/casaaaaa/ is the largest reflex thing I've written ) but those would be where I'd start experimenting
03:35:20 × `2jt quits (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Remote host closed the connection)
03:36:53 → `2jt joins (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net)
03:37:10 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
03:37:20 × `2jt quits (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Remote host closed the connection)
03:38:32 → `2jt joins (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net)
03:38:50 × `2jt quits (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Remote host closed the connection)
03:39:33 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds)
03:40:50 × merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
03:40:53 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
03:45:47 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
03:48:26 → xff0x joins (~xff0x@2405:6580:b080:900:a92c:e315:1bd7:bee4)
03:54:22 → bilegeek joins (~bilegeek@2600:1008:b06c:9340:a61:2f68:1774:91bd)
03:56:37 → mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net)
03:59:03 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
04:02:49 × jargon quits (~jargon@184.101.188.251) (Remote host closed the connection)
04:10:46 → frost joins (~frost@user/frost)
04:19:43 × yax__ quits (~yax__@user/yax/x-9576643) (Ping timeout: 256 seconds)
04:24:49 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
04:26:31 → matthewmosior joins (~matthewmo@173.170.253.91)
04:29:52 × mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz))
04:31:03 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
04:33:05 → mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net)
04:40:05 → mrmr joins (~mrmr@user/mrmr)
04:40:30 × codaraxis__ quits (~codaraxis@user/codaraxis) (Ping timeout: 240 seconds)
04:47:52 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
04:47:56 × mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz))
04:59:43 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
04:59:59 × zxx7529 quits (~Thunderbi@user/zxx7529) (Ping timeout: 244 seconds)
05:00:26 → matthewmosior joins (~matthewmo@173.170.253.91)
05:05:30 → zxx7529 joins (~Thunderbi@user/zxx7529)
05:13:18 × Vajb quits (~Vajb@2001:999:58c:b683:1e3e:e86f:8cdc:e10) (Read error: Connection reset by peer)
05:14:02 → Vajb joins (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
05:15:08 → nate4 joins (~nate@98.45.169.16)
05:19:50 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds)
05:29:30 × vglfr quits (~vglfr@coupling.penchant.volia.net) (Ping timeout: 264 seconds)
05:37:18 → merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
05:44:10 × zxx7529 quits (~Thunderbi@user/zxx7529) (Ping timeout: 240 seconds)
05:47:38 → fockerize joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
06:03:40 × sagax quits (~sagax_nb@user/sagax) (Remote host closed the connection)
06:04:25 → johnw_ joins (~johnw@2600:1700:cf00:db0:643e:99a6:aa43:f921)
06:05:41 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
06:05:44 × johnw quits (~johnw@2600:1700:cf00:db0:4f4:3cd5:b24f:2542) (Ping timeout: 272 seconds)
06:10:49 → Kaladin joins (~Kaladin@157-131-200-16.fiber.dynamic.sonic.net)
06:11:30 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
06:11:55 × merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
06:12:33 → mbuf joins (~Shakthi@122.164.13.123)
06:15:38 × Techcable quits (~Techcable@user/Techcable) (Remote host closed the connection)
06:16:07 → gmg joins (~user@user/gehmehgeh)
06:16:39 → sagax joins (~sagax_nb@user/sagax)
06:16:50 → vglfr joins (~vglfr@88.155.11.120)
06:17:55 → Techcable joins (~Techcable@user/Techcable)
06:18:22 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
06:21:01 → zxx7529 joins (~Thunderbi@user/zxx7529)
06:25:07 → matthewmosior joins (~matthewmo@173.170.253.91)
06:26:09 × Kaladin quits (~Kaladin@157-131-200-16.fiber.dynamic.sonic.net) (Quit: Leaving)
06:28:34 → paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
06:28:36 → Kaladin joins (~Kaladin@157-131-200-16.fiber.dynamic.sonic.net)
06:29:29 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
06:30:28 ← jakalx parts (~jakalx@base.jakalx.net) ()
06:31:26 × beka quits (~beka@104-244-24-117.PUBLIC.monkeybrains.net) (Ping timeout: 244 seconds)
06:31:27 → jakalx joins (~jakalx@base.jakalx.net)
06:32:44 → Midjak joins (~Midjak@82.66.147.146)
06:36:11 → abuffery joins (~abuffery@15.48.23.95.dynamic.jazztel.es)
06:38:09 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
06:38:15 → dostoevsky7 joins (~5c42c5384@user/dostoevsky)
06:40:15 × dostoevsky quits (~5c42c5384@user/dostoevsky) (Ping timeout: 256 seconds)
06:41:11 dostoevsky7 is now known as dostoevsky
06:42:31 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
06:42:32 → qrpnxz joins (~qrpnxz@fsf/member/qrpnxz)
06:45:21 → john joins (~john@115.98.234.40)
06:45:54 → matthewmosior joins (~matthewmo@173.170.253.91)
06:50:15 × abuffery quits (~abuffery@15.48.23.95.dynamic.jazztel.es) (Quit: Leaving...)
06:59:07 → alp joins (~alp@user/alp)
07:00:25 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) (Remote host closed the connection)
07:02:47 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 255 seconds)
07:04:10 × quarkyalice_ quits (~alice@user/quarkyalice/x-8092822) (Ping timeout: 240 seconds)
07:04:58 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:12:30 × phma quits (~phma@host-67-44-209-46.hnremote.net) (Read error: Connection reset by peer)
07:13:15 → phma joins (~phma@host-67-44-208-154.hnremote.net)
07:14:18 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
07:14:30 × mbuf quits (~Shakthi@122.164.13.123) (Ping timeout: 240 seconds)
07:15:13 → mbuf joins (~Shakthi@122.165.55.71)
07:20:10 × mbuf quits (~Shakthi@122.165.55.71) (Ping timeout: 240 seconds)
07:20:44 → mbuf joins (~Shakthi@122.165.55.71)
07:24:45 × dknite quits (~dknite@49.37.45.188) (Read error: Connection reset by peer)
07:25:46 → dknite joins (~dknite@116.206.203.200)
07:25:49 × Kaladin quits (~Kaladin@157-131-200-16.fiber.dynamic.sonic.net) (Quit: Leaving)
07:27:16 → Tuplanolla joins (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi)
07:29:00 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
07:38:50 × phma quits (~phma@host-67-44-208-154.hnremote.net) (Read error: Connection reset by peer)
07:39:18 → phma joins (~phma@2001:5b0:210d:9bd8:8a05:253a:5ea2:fc2a)
07:46:23 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
07:48:30 × Vajb quits (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
07:48:42 → Vajb joins (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
07:52:11 → nuh^ joins (~nuh@128-092-191-146.biz.spectrum.com)
07:52:33 × dknite quits (~dknite@116.206.203.200) (Ping timeout: 244 seconds)
07:53:25 → dknite joins (~dknite@49.37.45.188)
07:53:44 → kuribas joins (~user@ptr-17d51eo9ziftsfmurdv.18120a2.ip6.access.telenet.be)
07:56:54 → BusConscious joins (~martin@ip5f5bdf31.dynamic.kabel-deutschland.de)
07:58:40 → matthewmosior joins (~matthewmo@173.170.253.91)
08:00:33 × Vajb quits (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
08:00:49 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1)
08:01:03 → merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
08:01:32 → Vajb joins (~Vajb@2001:999:58c:b683:1e3e:e86f:8cdc:e10)
08:02:59 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
08:04:16 → fweht joins (uid404746@id-404746.lymington.irccloud.com)
08:04:57 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) (Ping timeout: 244 seconds)
08:09:24 → ubert1 joins (~Thunderbi@p200300ecdf0da5dc3e82a8e7110c1ba3.dip0.t-ipconnect.de)
08:10:13 × ubert1 quits (~Thunderbi@p200300ecdf0da5dc3e82a8e7110c1ba3.dip0.t-ipconnect.de) (Client Quit)
08:12:33 → ubert1 joins (~Thunderbi@p200300ecdf0da5dc3e82a8e7110c1ba3.dip0.t-ipconnect.de)
08:15:48 × sympt quits (~sympt@user/sympt) (Ping timeout: 244 seconds)
08:17:15 × ubert1 quits (~Thunderbi@p200300ecdf0da5dc3e82a8e7110c1ba3.dip0.t-ipconnect.de) (Client Quit)
08:17:40 → matthewmosior joins (~matthewmo@173.170.253.91)
08:19:40 ← jakalx parts (~jakalx@base.jakalx.net) ()
08:19:54 → chomwitt joins (~chomwitt@2a02:587:dc0d:4a00:c5c0:a118:2df4:ea86)
08:20:07 → jakalx joins (~jakalx@base.jakalx.net)
08:24:42 × lewisje quits (~lewisje@2001:470:1f11:14e:fc04:1a83:61b4:de2c) (Ping timeout: 264 seconds)
08:28:54 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
08:29:00 → gurkenglas joins (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de)
08:31:48 <dibblego> ♥
08:33:31 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:40:20 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
08:40:38 → kenran joins (~kenran@200116b82b5f2c00a741ddc71b79ba8b.dip.versatel-1u1.de)
08:45:30 × nuh^ quits (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds)
08:48:10 × dcoutts quits (~duncan@host-92-23-41-52.as13285.net) (Ping timeout: 240 seconds)
08:52:41 → `2jt joins (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net)
08:53:13 × vglfr quits (~vglfr@88.155.11.120) (Remote host closed the connection)
08:54:16 → vglfr joins (~vglfr@88.155.11.120)
08:56:34 → irfan joins (~irfan@user/irfan)
08:59:03 × zxx7529 quits (~Thunderbi@user/zxx7529) (Quit: zxx7529)
09:01:27 × kenran quits (~kenran@200116b82b5f2c00a741ddc71b79ba8b.dip.versatel-1u1.de) (Quit: WeeChat info:version)
09:01:33 → zxx7529 joins (~Thunderbi@user/zxx7529)
09:04:12 × merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
09:06:20 → nomagno joins (~nomagno@2001:470:69fc:105::c1f0)
09:16:40 → nate4 joins (~nate@98.45.169.16)
09:19:52 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
09:20:09 × vglfr quits (~vglfr@88.155.11.120) (Ping timeout: 276 seconds)
09:20:34 → liz joins (~liz@host86-159-158-175.range86-159.btcentralplus.com)
09:21:50 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 255 seconds)
09:33:17 → nuh^ joins (~nuh@128-092-191-146.biz.spectrum.com)
09:34:20 → vglfr joins (~vglfr@88.155.11.120)
09:34:57 → spacenautx joins (~spacenaut@user/spacenautx)
09:37:24 × bilegeek quits (~bilegeek@2600:1008:b06c:9340:a61:2f68:1774:91bd) (Quit: Leaving)
09:38:45 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds)
09:42:57 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
09:43:10 × vglfr quits (~vglfr@88.155.11.120) (Ping timeout: 240 seconds)
09:43:44 → vglfr joins (~vglfr@88.155.11.120)
09:44:30 → merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
09:44:35 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
09:47:21 → malte joins (~malte@mal.tc)
09:49:03 → matthewmosior joins (~matthewmo@173.170.253.91)
09:53:29 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
09:53:50 × nuh^ quits (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds)
09:55:11 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
09:57:57 × califax quits (~califax@user/califx) (Remote host closed the connection)
09:58:13 → califax joins (~califax@user/califx)
09:58:18 × raym quits (~raym@user/raym) (Ping timeout: 264 seconds)
09:58:18 × hpc quits (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 264 seconds)
09:59:15 → nuh^ joins (~nuh@128-092-191-146.biz.spectrum.com)
09:59:54 → hpc joins (~juzz@ip98-169-32-242.dc.dc.cox.net)
10:00:22 → raym joins (~raym@user/raym)
10:02:24 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds)
10:02:46 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
10:03:30 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
10:07:05 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
10:08:11 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 255 seconds)
10:09:03 × mima quits (~mmh@aftr-62-216-210-245.dynamic.mnet-online.de) (Remote host closed the connection)
10:09:06 <tdammers> re heterogenous lists: IMO this is one of those things that you think you want, but most of the time you really don't.
10:09:28 × merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
10:09:36 → matthewmosior joins (~matthewmo@173.170.253.91)
10:09:51 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
10:10:50 <tdammers> in almost all cases, there are constraints on that list - either the order of elements is fixed, and each position always has the same type (i.e., you want a record or a tuple), or it's not, but the elements are all from the same relatively small set of possible types, in which case you can just wrap them in a sum type and make that the element type
10:11:45 <tdammers> and of course the case where your list elements are legit polymorphic, but you only apply a fixed set of operations to them, in which case, put that set of operations in the list instead of the values themselves
10:13:33 × john quits (~john@115.98.234.40) (Quit: Leaving)
10:14:03 <maerwald> tdammers: String is sufficiently polymorphic xD just serialize everything
10:14:34 <tdammers> maerwald: import Acme.PHP
10:15:31 <maerwald> https://hackage.haskell.org/package/acme-php-0.0.3/docs/Prelude-PHP.html
10:15:33 <maerwald> wtf
10:15:43 <maerwald> Bool = True | False | File_not_found
10:15:45 <maerwald> xD
10:15:55 <tdammers> Yep. That's a tribute to dailywtf
10:20:18 × megaTherion quits (~therion@unix.io) (Read error: Connection reset by peer)
10:20:35 → megaTherion joins (~therion@unix.io)
10:21:49 × nuh^ quits (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 256 seconds)
10:27:47 × fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
10:29:20 → nuh^ joins (~nuh@128-092-191-146.biz.spectrum.com)
10:32:30 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
10:36:13 → merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
10:36:30 × gurkenglas quits (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
10:42:06 → mvk joins (~mvk@2607:fea8:5ce3:8500::909a)
10:42:57 → mima joins (~mmh@aftr-62-216-210-116.dynamic.mnet-online.de)
10:46:29 → coot joins (~coot@213.134.190.95)
10:50:09 × nuh^ quits (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 276 seconds)
10:54:04 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
10:55:03 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds)
10:56:39 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
10:58:58 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
11:02:41 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds)
11:05:06 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
11:06:31 × zxx7529 quits (~Thunderbi@user/zxx7529) (Quit: zxx7529)
11:06:51 → zxx7529 joins (~Thunderbi@user/zxx7529)
11:10:13 × mima quits (~mmh@aftr-62-216-210-116.dynamic.mnet-online.de) (Remote host closed the connection)
11:10:54 × merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds)
11:14:33 × vglfr quits (~vglfr@88.155.11.120) (Ping timeout: 276 seconds)
11:15:36 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
11:24:19 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
11:28:04 → vglfr joins (~vglfr@88.155.11.120)
11:29:39 → matthewmosior joins (~matthewmo@173.170.253.91)
11:30:10 × califax quits (~califax@user/califx) (Remote host closed the connection)
11:32:59 → nuh^ joins (~nuh@128-092-191-146.biz.spectrum.com)
11:33:41 → califax joins (~califax@user/califx)
11:38:24 → unit73e joins (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36)
11:38:41 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:42:03 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
11:42:24 → Infinite joins (~Infinite@45.112.145.27)
11:53:30 × nuh^ quits (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds)
12:00:44 → waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
12:01:08 × Infinite quits (~Infinite@45.112.145.27) (Ping timeout: 252 seconds)
12:04:17 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1)
12:08:49 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) (Ping timeout: 244 seconds)
12:09:26 × rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
12:10:21 → rembo10 joins (~rembo10@main.remulis.com)
12:10:40 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
12:12:31 <BusConscious> say I have action of type StateT SType (EitherT ErrType IO) and I want to do action >>= exitHandler where ExitHandler is from type EitherT ErrType IO
12:13:02 <BusConscious> ah forget
12:13:27 <BusConscious> action is of type StateT Stype (EitherT ErrType (IO ExitCode))
12:14:11 <BusConscious> and exitHandler of type EitherT ErrType (IO ExitCode) -> StateT SType (EitherT ErrType (IO ExitCode))
12:14:45 <BusConscious> right now it binds to ExitCode but not EitherT ErrType (IO ExitCode)
12:15:18 × m1dnight quits (~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.5)
12:15:32 <[exa]> wait, what's the semantics of `EitherT ErrType (IO ExitCode)` ?
12:16:00 <[exa]> other than that I guess you just need a `lift`
12:16:09 <tomsmeding> Shouldn't the type be `StateT SType (EitherT ErrType IO) ExitCode`
12:16:39 → m1dnight joins (~christoph@78-22-0-121.access.telenet.be)
12:16:54 <[exa]> (whew, EitherT disappeared from hoogle even?)
12:17:10 <[exa]> (ah no it's on full stackage)
12:17:33 <tomsmeding> [exa]: Assumjng it's an instance of MonadTrans it should have the wrapped monad as penultimate argument :)
12:18:11 <[exa]> yeah I'd expect that, that's why I was asking
12:18:53 <tomsmeding> But in any case, assuming the fixed types, that exitHandler will not be usable with that action
12:19:07 <BusConscious> I have a lot of little computations with IO and access to the state. These computations can fail, but that should not cause the outer Stateful monad to fail
12:19:12 <BusConscious> if that makes any sense?
12:19:21 <tomsmeding> You can lift into a larger monad, but you can't stuff a larger monad into a smaller one in general
12:19:30 × coot quits (~coot@213.134.190.95) (Quit: coot)
12:19:57 <[exa]> BusConscious: btw it's kinda recommended nowadays to replace EitherT with things that specify how the Either should really behave, eg ExceptT and ValidationT
12:20:18 <tomsmeding> I guess ExceptT is the same as old EitherT
12:20:44 <tomsmeding> @unmtl StateT SType (ExceptT ErrType IO) ExitCode
12:20:45 <lambdabot> SType -> IO (Either ErrType (ExitCode, SType))
12:21:39 <tomsmeding> @unmtl ExceptT ErrType (StateT SType IO) ExitCode
12:21:39 <lambdabot> SType -> IO (Either ErrType ExitCode, SType)
12:21:50 <tomsmeding> BusConscious: maybe that's what you want? Not sure
12:22:09 <tomsmeding> Order of composition matters with monad transformers
12:22:20 <BusConscious> *the failure of the EitherT actions should not stop evaluation of the outer state monad to be more precise
12:22:45 <tomsmeding> Usually you want StateT on the outside because with it on the inside, you have to produce an output state even if the computation fails
12:23:06 <tomsmeding> But maybe you want them the other way round
12:23:19 <BusConscious> so I was right to have StateT on the outside?
12:23:26 <tomsmeding> Well that's the usual order
12:23:36 <tomsmeding> But there is no right/wrong here
12:23:57 <tomsmeding> Depends on what you need, and it sorta sounds like you want ExceptT on the outside - but not sure
12:25:31 <BusConscious> This is so confusing
12:25:33 <tomsmeding> BusConscious: look at the @unmtl stuff above, gives intuition about what the monad transformer stacks mean
12:25:50 × fluxit quits (~fluxit@techsmix.net) (Quit: Bye!)
12:25:56 <tomsmeding> (@unmtl just unwraps the newtypes)
12:27:27 <tomsmeding> BusConscious: As you can see, with ExceptT on the outside, you (have to) produce an output state even if the computation "failed" with a Left
12:27:55 <tomsmeding> Whereas with StateT on the outside, if the computation fails, no output state is produced
12:28:50 <tomsmeding> The version with StateT on the outside is generally easier to implement, because upon failure you don't necessarily have anything sensible to put in the state
12:29:02 <tomsmeding> But it depends on what is in your state, and why you fail
12:29:44 <BusConscious> but I don't think this is really, that I still have to produce a state if the computation fails. Becasue my state in this case is a very global kind of structure, to be precise the so called Shell Execution Environment.
12:31:08 <BusConscious> Even if the shell fails to execute a particular command it might be required to process further commands and thus access the Shell Execution Environment (for example in interactive mode)
12:31:09 <tomsmeding> Keeping the state unchanged = returning the input state
12:31:33 <tomsmeding> So it "keeping the state unchanged" is sensible, then you do have a "new state" to return :)
12:31:38 <tomsmeding> *So if
12:32:07 → nate4 joins (~nate@98.45.169.16)
12:32:14 <BusConscious> yeah so really the ExcepT should be on the outside
12:32:23 <tomsmeding> I think so, with this usage
12:32:50 → merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
12:33:22 <BusConscious> Ok then, even though intuitively I first thought it had to be the other way around
12:33:51 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
12:34:12 <tomsmeding> Monad transformer composition order is highly unintuitive
12:34:22 <tomsmeding> Usually it only makes sense to me when I look at @unmtl output
12:34:29 → matthewmosior joins (~matthewmo@173.170.253.91)
12:34:40 <tomsmeding> (either in lambdabot or deduced mentally by looking at the definitions of the monads)
12:35:35 <tomsmeding> BusConscious: in particular, monad transformer stacks have a tendency to invert (flip order) when you evaluate them
12:35:39 <geekosaur> I always get it backwards and have to use @unmtl to straighten myself out
12:35:55 <tomsmeding> For example, IO is surely the most constant outer structure, but it's innermost in the stack
12:36:24 <tomsmeding> geekosaur: yay I'm not the only one :p
12:36:37 <BusConscious> the worst thing is: I originally started to do it the right way and now I have to reimpliment it inverted again
12:36:50 <tomsmeding> Hehe oops
12:36:59 BusConscious top-down :)
12:37:24 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 276 seconds)
12:38:53 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
12:48:50 × fockerize quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
12:49:34 → maroloccio joins (~marolocci@62.98.89.32)
12:51:21 → matthewmosior joins (~matthewmo@173.170.253.91)
12:52:54 × unit73e quits (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 264 seconds)
12:59:49 <hololeap> @unmtl ReaderT s (WriterT s m) a
12:59:49 <lambdabot> s -> m (a, s)
13:00:19 <hololeap> @unmtl WriterT s (ReaderT s m) a
13:00:19 <lambdabot> s -> m (a, s)
13:00:27 <hololeap> whoa dood
13:01:04 <geekosaur> yeh, I think those two commute
13:01:47 <hololeap> I've noticed that it usually doesn't matter where ReaderT is in the transformer stack
13:02:45 → ytret joins (~yuritrety@2a00:1fa0:8223:5323:5e15:37ac:e5ca:ce7a)
13:07:16 → azimut joins (~azimut@gateway/tor-sasl/azimut)
13:07:57 × merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
13:08:25 <hololeap> somebody is asking for us to add ghcup to the haskell repo in gentoo. not sure if that makes any sense
13:08:53 <hololeap> https://github.com/gentoo-haskell/gentoo-haskell/issues/1292
13:09:29 → azimut_ joins (~azimut@gateway/tor-sasl/azimut)
13:09:30 <hololeap> does ghcup keep everything in $HOME?
13:09:54 <maerwald[m]> hololeap: yes, but it can be changed
13:09:55 <maerwald[m]> Why
13:10:49 <maerwald[m]> https://www.haskell.org/ghcup/guide/#env-variables
13:11:03 → acidjnk joins (~acidjnk@p200300d6e71a5f0314c092f4495f33c9.dip0.t-ipconnect.de)
13:11:57 <maerwald[m]> hololeap: why would it not make sense?
13:12:06 <maerwald[m]> Your PM installs firefox too, no?
13:12:18 <maerwald[m]> Firefox keeps everything in HOME
13:12:30 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
13:12:41 <hololeap> firefox gets installed to /usr
13:12:54 <hololeap> and it is compiled from source
13:13:19 <maerwald[m]> hololeap: https://packages.gentoo.org/packages/dev-util/rustup
13:13:30 <maerwald[m]> Then remove rustup too
13:13:41 <hololeap> hm, that could be a good reference
13:13:41 <maerwald[m]> hololeap: you can install ghcup to /usr too
13:13:49 <maerwald[m]> And you can compile it from source too
13:13:57 <hololeap> where is the source code?
13:14:13 <maerwald[m]> hololeap: hackage?
13:14:41 <hololeap> oh, I didn't realize it was on there
13:14:49 <hololeap> I thought it was a shell script or something
13:15:09 <hololeap> ok, thanks maerwald[m]
13:15:15 → pleo joins (~pleo@user/pleo)
13:16:31 × raym quits (~raym@user/raym) (Quit: something's wrong, reboot...)
13:18:29 → raym joins (~raym@user/raym)
13:19:51 → merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
13:20:35 <hololeap> anyway, I never said that adding ghcup doesn't make sense. I said that I wasn't sure if it made sense or not
13:22:01 <tomsmeding> hololeap: old ghcup in forgotten times was a shell script
13:22:47 <hololeap> having another route to install ghc/libs is fine, but I want to make sure it doesn't fight with the stuff installed through the normal PM, otherwise there's no point in adding it to the repo if it is just going to cause damage
13:23:24 <geekosaur> ghcup installed stuff should be completely independent of other stuff installed via the package manager. $PATH issues are the only question
13:24:31 <hololeap> ok, that's encouraging. I can go ahead and try it
13:24:45 <irfan> /msg alis list elm
13:25:04 <hololeap> irfan: elm is on discord
13:25:06 <irfan> sorry! didn't see the space.
13:25:20 <hololeap> they don't have a trafficked irc channel, afaik
13:25:48 <irfan> i see. yes, i wondered why nobody was responding. thanks hololeap!
13:26:06 <maerwald[m]> hololeap: well, since gentoo compiles GHC from source it already conflicts with other methods and even with itself.
13:26:55 <maerwald[m]> Cabal has no concept of GHC ABI, so recompiling GHC with different use flags can give you miscompilations.
13:27:05 <maerwald[m]> Due to old artifacts in the store
13:27:40 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
13:28:02 <maerwald[m]> So even package manager installed libraries on gentoo can be broken
13:28:26 <maerwald[m]> But last time I told them they didn't seem to understand that GHC has no stable ABI whatsoever
13:29:43 <maerwald[m]> That means your version subslots are not enough
13:29:55 <hololeap> the portage-installed libs are broken all the time and sadly there isn't a good solution so far, except for the haskell-updater shim. we are very much aware of this :)
13:30:55 × alexhandy quits (~trace@user/trace) (Read error: Connection reset by peer)
13:31:09 → alexhandy joins (~trace@user/trace)
13:31:21 <maerwald[m]> So worst case that can happen is the user mixes gentoo GHC with ghcup GHC of the same version. But that's not really a problem caused by Ghcup, rather by cabal
13:32:42 × irfan quits (~irfan@user/irfan) (Quit: leaving)
13:32:42 <maerwald[m]> https://github.com/haskell/cabal/issues/8114
13:32:52 × ddb quits (~ddb@ipv6two.tilde.club) (Ping timeout: 272 seconds)
13:33:30 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
13:35:50 <hololeap> ok, so we need to make sure cabal can only see its "parent" ghc binary and package.conf.d
13:37:27 <maerwald[m]> hololeap: what?
13:37:43 <maerwald[m]> There's nothing you can or should do
13:38:10 → fockerize joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
13:38:34 → coot joins (~coot@213.134.190.95)
13:39:38 <maerwald[m]> Don't try to be smart. Cabal can use any GHC binary it pleases. The fact that it doesn't check ABI is a bug.
13:40:17 <hololeap> so don't try to work around said bug
13:40:30 <geekosaur> you can't work around it properly
13:40:53 <maerwald[m]> Yeah
13:41:17 <tomsmeding> maerwald[m]: "any GHC binary it pleases" as in the -w flag?
13:42:03 <maerwald[m]> tomsmeding: or whatever is in PATH
13:42:17 <tomsmeding> Right
13:42:46 <maerwald[m]> The user csn work around it by using different store paths
13:43:00 <maerwald[m]> But that's not particularly ergonomic
13:45:46 × vgtw quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
13:51:20 → n0den1te joins (~n0den1te@122.174.34.26)
13:52:40 × waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds)
13:52:50 × merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
13:53:49 → nuh^ joins (~nuh@128-092-191-146.biz.spectrum.com)
13:53:55 <hololeap> can one of the bots on here save a message for an offline user?
13:54:09 <tomsmeding> Use @tell username message...
13:54:27 <hololeap> @tell irfan elm is on slack, not discord. sorry for the mixup: https://elmlang.herokuapp.com/
13:54:27 <lambdabot> Consider it noted.
13:54:53 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
13:55:47 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
13:58:21 × fockerize quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 244 seconds)
13:59:51 → matthewmosior joins (~matthewmo@173.170.253.91)
14:01:17 <hololeap> maerwald[m]: does ghcup specifically depend on Cabal-3.6's API? if so we will have to get that in the tree first. we're still on Cabal-3.4 :p
14:05:55 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1)
14:06:12 × ytret quits (~yuritrety@2a00:1fa0:8223:5323:5e15:37ac:e5ca:ce7a) (Quit: Konversation terminated!)
14:06:44 → wootehfoot joins (~wootehfoo@user/wootehfoot)
14:07:45 × matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
14:07:52 → matthewmosior joins (~matthewmo@173.170.253.91)
14:09:02 → merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
14:10:14 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) (Ping timeout: 244 seconds)
14:11:09 <maerwald[m]> hololeap: there's probably a way to patch it for multiple Cabal versions, but I never bothered
14:11:44 × zxx7529 quits (~Thunderbi@user/zxx7529) (Remote host closed the connection)
14:14:29 <maerwald[m]> hololeap: just package the static binary
14:15:26 <maerwald[m]> https://packages.gentoo.org/packages/app-text/pandoc-bin
14:15:29 <maerwald[m]> Not uncommon
14:18:00 × pleo quits (~pleo@user/pleo) (Quit: quit)
14:18:11 <hololeap> yeah, but at that point, why even include it when the user can just download and run it themselves
14:18:46 <hololeap> (I know that gentoo distributes binary packages on occasion)
14:19:14 <Logio> pandoc specifically is a dependency for a bunch of packages, so it needs to be known by portage
14:19:56 <Logio> and portage knows it can be fulfilled by either the binary or the source-built package
14:21:01 <Logio> I actually uninstalled the pandoc package a while back because I got tired of the forced rebuilds, good to know there's now a binary package
14:22:39 <hololeap> an option to build things statically may help with all the forced rebuilds
14:27:41 <Logio> I think those were triggered by a pandoc dependency updating, I doubt there's a way to skip those rebuilds (when updating using --build-deps)
14:28:43 <hololeap> currently, there is not
14:29:41 <Logio> trouble was that pandoc has quite a large dependency tree, one of which would be updated each time
14:29:55 × acidjnk quits (~acidjnk@p200300d6e71a5f0314c092f4495f33c9.dip0.t-ipconnect.de) (Remote host closed the connection)
14:29:57 <Logio> but I run gentoo to stay warm in the winter, so it's not an actual problem
14:30:18 → acidjnk joins (~acidjnk@p200300d6e71a5f0314c092f4495f33c9.dip0.t-ipconnect.de)
14:30:35 <hololeap> I have a list of things to try to make gentoo-haskell less of a headache for users, and a "static" USE flag for binaries is on there. my hope is that the extra size of the binaries is worth not needing to recompile a ton of packages whenever one of the deps gets an update.
14:31:04 <hololeap> or at least the binary will still work in the meantime
14:31:50 × aeka quits (~aeka@2606:6080:1001:13:a777:ff73:dfdc:3ab0) (Ping timeout: 240 seconds)
14:32:38 → ddb joins (~ddb@ipv6two.tilde.club)
14:36:04 → aeka joins (~aeka@2606:6080:2001:8:df6a:e365:26ff:7f06)
14:38:20 <[itchyjunk]> Wait, you can't use haskell for leetcode? :'(
14:38:54 <hololeap> haskell isn't leet enough
14:39:07 <tomsmeding> Claim
14:39:24 <hololeap> haskell 4 teh nubs
14:39:42 <tomsmeding> Just put hugs in there for C and embed your haskell code
14:39:44 <hpc> they don't want to encourage laziness
14:40:29 <[itchyjunk]> Since I hear about leetcode quite often, i would have figured it covered popular languages @_@
14:40:34 <[itchyjunk]> Aren't they the ones being lazy?
14:41:22 × matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
14:41:52 <hololeap> hackerrank has haskell
14:42:45 <hpc> [itchyjunk]: how many of those times you have heard about it were complaints? :P
14:42:51 × merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
14:43:18 <hpc> i only ever hear about it in posts like "how often is a web dev ever going to need to know how to balance a binary tree"
14:43:56 <BusConscious> the king of stupid arguments
14:44:29 <[itchyjunk]> hpc, well, yes almost everytime that was true lol
14:47:09 × n0den1te quits (~n0den1te@122.174.34.26) (Quit: leaving)
14:49:10 × elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 240 seconds)
14:50:15 → matthewmosior joins (~matthewmo@173.170.253.91)
14:51:48 → nate4 joins (~nate@98.45.169.16)
14:54:40 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
14:55:31 × nuh^ quits (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 256 seconds)
14:56:39 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 256 seconds)
14:59:42 <carbolymer> how can I specify multiple rtsopts at once in package.yaml? \"-with-rtsopts=-N -I10 -Iw60\" pass backslashes to cabal file, which does not work
15:02:06 <carbolymer> ok I've found a solution: https://github.com/sol/hpack/issues/237
15:07:33 → matthewmosior joins (~matthewmo@173.170.253.91)
15:09:35 → pleo joins (~pleo@user/pleo)
15:16:30 × alp quits (~alp@user/alp) (Ping timeout: 260 seconds)
15:16:31 → machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net)
15:19:47 → nuh^ joins (~nuh@128-092-191-146.biz.spectrum.com)
15:20:24 → fockerize joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
15:21:54 → alp joins (~alp@user/alp)
15:23:19 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:30:39 × ix quits (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 276 seconds)
15:34:57 → alexhandy2 joins (~trace@user/trace)
15:36:08 → aeka` joins (~aeka@2606:6080:1002:3:1da3:d12a:3e5:ae70)
15:37:00 × aeka quits (~aeka@2606:6080:2001:8:df6a:e365:26ff:7f06) (Ping timeout: 272 seconds)
15:37:00 aeka` is now known as aeka
15:37:30 × alexhandy quits (~trace@user/trace) (Ping timeout: 240 seconds)
15:37:48 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
15:38:31 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
15:41:15 → gurkenglas joins (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de)
15:46:10 × kronicmage quits (user90095@neotame.csclub.uwaterloo.ca) (Ping timeout: 240 seconds)
15:47:04 → kronicmage joins (user92236@neotame.csclub.uwaterloo.ca)
15:48:05 × alexhandy2 quits (~trace@user/trace) (Read error: Connection reset by peer)
15:48:26 → alexhandy joins (~trace@user/trace)
15:48:30 × fockerize quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
15:49:02 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
15:49:51 → beka joins (~beka@104.193.170.240)
15:50:27 × pleo quits (~pleo@user/pleo) (Quit: quit)
15:52:45 × Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
15:54:16 <maerwald> carbolymer: ditch hpack
15:54:23 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
15:55:38 <carbolymer> maerwald: I already heard that from you. ;) and just just cabal files?
15:55:43 → gdown joins (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net)
15:55:47 <carbolymer> s/just just/use just
15:56:00 × alp quits (~alp@user/alp) (Ping timeout: 276 seconds)
15:56:33 <maerwald> yes
15:57:40 <carbolymer> adding each module manually is cumbersome
15:57:59 <maerwald> oh dear... adding one line of code to my program is cumbersome too
15:59:39 <carbolymer> I like the fact that I can pull some stuff and have common list of extensions and dependencies for test, libs, execs
16:00:08 <carbolymer> idk why, but from my point it makes maintaining cabal file (in my case package.yml) much much easier
16:00:13 × Nate[m] quits (~m52957mat@2001:470:69fc:105::1:591a) (Quit: You have been kicked for being idle)
16:00:28 → Nate[m] joins (~m52957mat@2001:470:69fc:105::1:591a)
16:00:35 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:00:44 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
16:00:50 <maerwald> you can do that with cabal too
16:00:56 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1)
16:01:05 ← Nate[m] parts (~m52957mat@2001:470:69fc:105::1:591a) ()
16:01:09 <maerwald> https://cabal.readthedocs.io/en/3.6/cabal-package.html?highlight=common%20stanza#common-stanzas
16:01:25 shapr yawns
16:01:32 <shapr> it's already afternoon
16:01:55 <carbolymer> maerwald: good to know, thanks
16:02:03 <monochrom> Yes, hpack fills in a lot of chore fields. But what it refuses to do, and is damaging to hackage, is refusing to fill in version bounds.
16:02:54 <carbolymer> monochrom: wdym, version bounds in dependencies?
16:02:59 <monochrom> Right.
16:03:30 → yauhsien joins (~yauhsien@61-231-36-12.dynamic-ip.hinet.net)
16:03:32 carbolymer is looking at his generated cabal file and sees `base` with version bounds
16:03:42 <monochrom> hpack is still designed with stackage LTS resolvers, not hackage or cabal, in mind.
16:04:18 → Feuermagier joins (~Feuermagi@user/feuermagier)
16:06:41 <maerwald> monochrom: https://github.com/NorfairKing/fuzzy-time/pull/4#issuecomment-1171650210
16:06:43 <maerwald> xD
16:08:30 × yauhsien quits (~yauhsien@61-231-36-12.dynamic-ip.hinet.net) (Ping timeout: 264 seconds)
16:10:50 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
16:16:09 × arahael quits (~arahael@60-242-42-246.tpgi.com.au) (Ping timeout: 276 seconds)
16:16:30 <tomsmeding> carbolymer: note that monochrom said that hpack refuses to refuse to fill in version bounds
16:16:36 <tomsmeding> The doubke negation was intentional
16:17:29 → matthewmosior joins (~matthewmo@173.170.253.91)
16:17:55 ← jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
16:18:12 <tomsmeding> maerwald: while snark was well-placed, I do kinda agree that if there is a package.yaml, that one should be fixed and the cabal file regenerated instead of modifying just the cabal file (assuming you'd done that before) :p
16:18:55 <monochrom> Err no, sorry, this time the repetition is for emphasis, like "ain't got no bounds"
16:19:38 <shapr> Is there a way to automatically detect/calculate sensible version bounds?
16:20:08 <hpc> that would be a nice trick
16:20:12 <monochrom> But I guess hpack is just translating package.yaml.
16:20:25 <geekosaur> afaik the only way to do it is bisecting build plans
16:20:38 <sclv> stack has a pvp bounds flag
16:20:47 <sclv> and cabal has gen-boubds
16:20:56 <sclv> they’re both conservative
16:20:58 → econo joins (uid147250@user/econo)
16:21:15 <hpc> i think the best way would be to have version bounds follow the semantics of version numbers
16:21:34 <hpc> and then automatically detect different levels of change
16:21:42 <shapr> huh, I didn't know about cabal gen-bounds
16:21:59 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
16:22:43 → ix joins (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
16:23:50 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:24:07 <tomsmeding> Now if only `cabal gen-bounds` could modify the cabal file in-place
16:24:18 <tomsmeding> But bidirectional parsing hard
16:25:20 <monochrom> A long time ago I saw people writing self-modifying makefiles so as to incorporate the most up-to-date `gcc -MM` output :)
16:25:39 <shapr> tomsmeding: yeah, I'd like that
16:26:38 × mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds)
16:26:41 <shapr> If we could modify the file in-place, we could run the test-suite with different bounds to see what works
16:28:23 → mima joins (~mmh@aftr-62-216-210-233.dynamic.mnet-online.de)
16:29:41 → matthewmosior joins (~matthewmo@173.170.253.91)
16:30:05 → arahael joins (~arahael@114.198.31.146)
16:30:27 × azimut_ quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
16:31:16 → jinsun__ joins (~jinsun@user/jinsun)
16:31:16 × jinsun quits (~jinsun@user/jinsun) (Killed (erbium.libera.chat (Nickname regained by services)))
16:31:16 jinsun__ is now known as jinsun
16:32:49 × jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer)
16:33:04 → jinsun joins (~jinsun@user/jinsun)
16:34:49 → jakalx joins (~jakalx@base.jakalx.net)
16:39:06 → merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
16:43:10 × vglfr quits (~vglfr@88.155.11.120) (Ping timeout: 244 seconds)
16:44:09 <tomsmeding> monochrom: luckily there is some .include trick or something that works these days (or maybe it worked before too, but people didn't know about it -- I dunno)
16:45:40 × coot quits (~coot@213.134.190.95) (Quit: coot)
16:45:49 <geekosaur> "include" is an extension over original make
16:45:58 <maerwald> tomsmeding: https://github.com/kowainik/autopack
16:46:04 <geekosaur> then again, so is "gcc -MM" an extension over cc
16:46:08 <maerwald> but it's a hack
16:48:24 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:50:01 <tomsmeding> ew Custom setup
16:50:38 → mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net)
16:50:39 <maerwald> yeah, custom setup can even serve as a replacement for TH
16:50:42 → alp joins (~alp@user/alp)
16:51:21 <tomsmeding> I don't want to make my build even slower :p
16:55:05 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
16:55:58 <monochrom> Yeah I now teach the include trick to students.
17:01:39 × mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 276 seconds)
17:04:26 → mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net)
17:04:37 × matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
17:04:44 → matthewmosior joins (~matthewmo@173.170.253.91)
17:05:33 × kjak quits (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Ping timeout: 276 seconds)
17:09:48 × mbuf quits (~Shakthi@122.165.55.71) (Quit: Leaving)
17:10:46 → kjak joins (~kjak@pool-108-31-68-111.washdc.fios.verizon.net)
17:13:08 × merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
17:13:21 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:16:09 → __monty__ joins (~toonn@user/toonn)
17:22:17 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
17:25:57 × jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds)
17:26:34 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 268 seconds)
17:27:09 × matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
17:27:38 → jpds1 joins (~jpds@gateway/tor-sasl/jpds)
17:27:48 × winny quits (~weechat@user/winny) (Ping timeout: 268 seconds)
17:28:19 → gmg joins (~user@user/gehmehgeh)
17:29:27 → winny joins (~weechat@user/winny)
17:32:26 → quarkyalice joins (~alice@user/quarkyalice)
17:35:29 → matthewmosior joins (~matthewmo@173.170.253.91)
17:36:52 × dolio quits (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in)
17:38:30 × mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 240 seconds)
17:39:47 → dolio joins (~dolio@130.44.130.54)
17:40:24 × dolio quits (~dolio@130.44.130.54) (Client Quit)
17:41:28 → dolio joins (~dolio@130.44.130.54)
17:42:50 → mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net)
17:43:49 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
17:58:43 → GoldsteinQ joins (~goldstein@broadband-46-242-8-53.ip.moscow.rt.ru)
18:00:33 → matthewmosior joins (~matthewmo@173.170.253.91)
18:01:32 × GoldsteinQ quits (~goldstein@broadband-46-242-8-53.ip.moscow.rt.ru) (Quit: Leaving)
18:04:48 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
18:05:29 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
18:05:29 × noteness_ quits (~noteness@user/noteness) (Remote host closed the connection)
18:05:29 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
18:05:56 → noteness joins (~noteness@user/noteness)
18:06:11 → gmg joins (~user@user/gehmehgeh)
18:06:30 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
18:10:04 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:11:51 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 276 seconds)
18:18:17 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
18:24:50 × nuh^ quits (~nuh@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds)
18:26:30 × machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 240 seconds)
18:26:44 × mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 272 seconds)
18:28:05 → mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net)
18:28:40 × gdown quits (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
18:28:45 × alp quits (~alp@user/alp) (Ping timeout: 276 seconds)
18:29:12 → elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
18:29:28 × noteness quits (~noteness@user/noteness) (Ping timeout: 268 seconds)
18:31:05 → dudek joins (~dudek@185.150.236.103)
18:31:52 → pleo joins (~pleo@user/pleo)
18:33:20 × Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
18:33:41 → noteness joins (~noteness@user/noteness)
18:34:14 → Sgeo joins (~Sgeo@user/sgeo)
18:34:34 → notzmv joins (~zmv@user/notzmv)
18:35:11 → matthewmosior joins (~matthewmo@173.170.253.91)
18:36:09 → sndr joins (~sander@user/sander)
18:37:21 × sander quits (~sander@user/sander) (Ping timeout: 244 seconds)
18:37:24 sndr is now known as sander
18:39:55 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
18:40:03 → nuh^ joins (~nuh@128-092-191-146.biz.spectrum.com)
18:41:04 → Guest6 joins (~Guest6@host-95-234-175-160.retail.telecomitalia.it)
18:41:30 <Guest6> @help
18:41:30 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
18:41:38 <Guest6> @help list
18:41:38 <lambdabot> list [module|command]. Show commands for [module] or the module providing [command].
18:41:58 <Guest6> @list
18:41:58 <lambdabot> What module? Try @listmodules for some ideas.
18:42:07 → GoldsteinQ joins (~goldstein@goldstein.rs)
18:42:13 → alp joins (~alp@user/alp)
18:42:45 <Guest6> @pl f xs i = take i xs : f (drop i xs) (i+1)
18:42:45 <lambdabot> f = fix (ap (ap . ((:) .) . flip take) . flip flip (1 +) . (ap .) . (. flip drop) . (.))
18:43:15 <Guest6> @pl \f xs i -> take i xs : f (drop i xs) (i+1)
18:43:15 <lambdabot> ap (ap . ((:) .) . flip take) . flip flip (1 +) . (ap .) . (. flip drop) . (.)
18:43:35 <Guest6> @pl \a b c d -> a b (c d)
18:43:35 <lambdabot> ((.) .)
18:43:54 → zer0bitz joins (~zer0bitz@2001:2003:f748:2000:a9fb:fc4a:9560:a9be)
18:44:03 <Guest6> @unpl ((.).(.))
18:44:03 <lambdabot> (\ x g x0 x1 -> x (g x0 x1))
18:44:16 <Guest6> @unpl ((.)$(.))
18:44:16 <lambdabot> (\ g x g0 x0 -> g x (g0 x0))
18:44:29 <Guest6> @unpl ((.)$($))
18:44:30 <lambdabot> (\ g -> g)
18:44:36 <Guest6> @unpl (($)$($))
18:44:37 <lambdabot> (\ f -> f)
18:44:54 <Guest6> @unpl id
18:44:55 <lambdabot> (\ x -> x)
18:45:17 × quarkyalice quits (~alice@user/quarkyalice) (Remote host closed the connection)
18:45:40 × Guest6 quits (~Guest6@host-95-234-175-160.retail.telecomitalia.it) (Client Quit)
18:46:20 → Guest6 joins (~Guest6@host-95-234-175-160.retail.telecomitalia.it)
18:46:59 × Guest6 quits (~Guest6@host-95-234-175-160.retail.telecomitalia.it) (Client Quit)
18:50:09 → ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
18:51:28 × sander quits (~sander@user/sander) (Read error: Connection reset by peer)
18:52:29 → sander joins (~sander@user/sander)
18:54:24 × fjmorazan quits (~quassel@user/fjmorazan) (Quit: fjmorazan)
18:54:37 → nate4 joins (~nate@98.45.169.16)
18:55:06 → fjmorazan joins (~quassel@user/fjmorazan)
18:59:38 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 255 seconds)
19:01:56 × fserucas quits (~fserucas@12.64.114.89.rev.vodafone.pt) (Quit: Leaving)
19:02:25 → coot joins (~coot@213.134.190.95)
19:04:19 → matthewmosior joins (~matthewmo@173.170.253.91)
19:09:56 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
19:10:38 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:11:59 → azimut joins (~azimut@gateway/tor-sasl/azimut)
19:12:00 → vgtw joins (~vgtw@user/vgtw)
19:14:40 → merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
19:17:19 × vgtw quits (~vgtw@user/vgtw) (Ping timeout: 256 seconds)
19:19:52 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:20:59 × mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz))
19:26:39 → mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net)
19:28:39 → vgtw joins (~vgtw@user/vgtw)
19:31:57 → matthewmosior joins (~matthewmo@173.170.253.91)
19:35:14 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:36:35 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
19:43:57 × merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
19:47:39 → pavonia joins (~user@user/siracusa)
19:47:55 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:51:02 × vgtw quits (~vgtw@user/vgtw) (Ping timeout: 260 seconds)
19:51:09 → vglfr joins (~vglfr@88.155.11.120)
19:53:00 → mvk joins (~mvk@2607:fea8:5ce3:8500::909a)
19:53:15 → Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net)
19:53:54 → vgtw joins (~vgtw@user/vgtw)
19:54:03 → waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
19:55:51 × jludwig quits (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in)
19:56:47 → jludwig joins (~justin@li657-110.members.linode.com)
19:57:38 → jgeerds joins (~jgeerds@55d437cf.access.ecotel.net)
20:05:04 → matthewmosior joins (~matthewmo@173.170.253.91)
20:07:00 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds)
20:10:33 × jludwig quits (~justin@li657-110.members.linode.com) (Read error: Connection reset by peer)
20:10:36 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:13:30 → jludwig joins (~justin@li657-110.members.linode.com)
20:20:43 × jludwig quits (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in)
20:21:41 → jludwig joins (~justin@li657-110.members.linode.com)
20:23:54 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:28:11 × coot quits (~coot@213.134.190.95) (Quit: coot)
20:31:08 × vulpine quits (xfnw@tilde.team) (Quit: Connection reset by purr)
20:31:47 → vulpine joins (xfnw@tilde.team)
20:34:44 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:39:40 × pleo quits (~pleo@user/pleo) (Ping timeout: 260 seconds)
20:43:18 × maroloccio quits (~marolocci@62.98.89.32) (Ping timeout: 240 seconds)
20:44:25 → fockerize joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
20:44:29 → maroloccio joins (~marolocci@62.98.71.133)
20:44:39 × cosimone quits (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection)
20:46:44 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:47:24 → dcoutts joins (~duncan@host86-176-29-6.range86-176.btcentralplus.com)
20:49:06 × vglfr quits (~vglfr@88.155.11.120) (Ping timeout: 244 seconds)
20:50:34 → cosimone joins (~user@93-44-186-171.ip98.fastwebnet.it)
20:52:46 → pleo joins (~pleo@user/pleo)
20:53:42 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
20:54:15 → unit73e joins (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36)
20:56:50 × ubert quits (~Thunderbi@p548c90fa.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
20:57:53 × maroloccio quits (~marolocci@62.98.71.133) (Ping timeout: 244 seconds)
20:59:52 → maroloccio joins (~marolocci@62.98.76.98)
21:00:38 × mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz))
21:01:27 → ubert joins (~Thunderbi@p200300ecdf0da5dce12392c79554e02e.dip0.t-ipconnect.de)
21:01:51 × ubert quits (~Thunderbi@p200300ecdf0da5dce12392c79554e02e.dip0.t-ipconnect.de) (Client Quit)
21:04:37 × causal quits (~user@50.35.83.177) (Quit: WeeChat 3.5)
21:05:05 → machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net)
21:08:44 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:09:31 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
21:12:40 × _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
21:15:21 × cosimone quits (~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection)
21:22:16 → matthewmosior joins (~matthewmo@173.170.253.91)
21:22:18 × chomwitt quits (~chomwitt@2a02:587:dc0d:4a00:c5c0:a118:2df4:ea86) (Ping timeout: 240 seconds)
21:26:44 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
21:27:15 → cosimone joins (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81)
21:36:07 × cosimone quits (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection)
21:36:32 ← jakalx parts (~jakalx@base.jakalx.net) ()
21:37:36 → cosimone joins (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81)
21:38:55 × Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection)
21:40:17 → merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl)
21:41:37 → jakalx joins (~jakalx@base.jakalx.net)
21:43:24 × alp quits (~alp@user/alp) (Remote host closed the connection)
21:43:43 → alp joins (~alp@user/alp)
21:44:06 → matthewmosior joins (~matthewmo@173.170.253.91)
21:46:54 → lainon joins (~lainon@2601:7c0:c500:4d20:d0f1:5dd3:c36e:2b31)
21:48:37 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
21:48:41 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
21:49:56 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
21:52:08 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
21:55:30 × fockerize quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
21:57:48 × lainon quits (~lainon@2601:7c0:c500:4d20:d0f1:5dd3:c36e:2b31) (Quit: My MacBook has gone to sleep. ZZZzzz…)
21:58:27 → lainon joins (~lainon@2601:7c0:c500:4d20:d0f1:5dd3:c36e:2b31)
21:58:37 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:02:43 → matthewmosior joins (~matthewmo@173.170.253.91)
22:02:47 × lainon quits (~lainon@2601:7c0:c500:4d20:d0f1:5dd3:c36e:2b31) (Ping timeout: 255 seconds)
22:06:47 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:07:13 → chomwitt joins (~chomwitt@2a02:587:dc0d:4a00:eb52:69a9:fa15:908e)
22:14:30 × merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
22:15:23 × mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds)
22:16:00 × acidjnk quits (~acidjnk@p200300d6e71a5f0314c092f4495f33c9.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
22:17:12 → notzmv joins (~zmv@user/notzmv)
22:18:27 × raym quits (~raym@user/raym) (Remote host closed the connection)
22:21:56 × TonyStone quits (~TonyStone@2603-7080-8607-c36a-4c93-2912-ff7c-8bcd.res6.spectrum.com) (Ping timeout: 268 seconds)
22:31:36 → jargon joins (~jargon@184.101.188.251)
22:34:34 → TonyStone joins (~TonyStone@2603-7080-8607-c36a-81b9-1e80-00bb-4a85.res6.spectrum.com)
22:41:43 × califax quits (~califax@user/califx) (Remote host closed the connection)
22:41:59 → califax joins (~califax@user/califx)
22:43:30 × renzhi quits (~xp@2607:fa49:6500:b100::c32e) (Ping timeout: 240 seconds)
22:44:06 → mvk joins (~mvk@2607:fea8:5ce3:8500::909a)
22:47:51 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
22:50:25 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
22:56:30 → renzhi joins (~xp@2607:fa49:6500:b100::b399)
22:57:03 → nate4 joins (~nate@98.45.169.16)
22:59:48 × chomwitt quits (~chomwitt@2a02:587:dc0d:4a00:eb52:69a9:fa15:908e) (Ping timeout: 276 seconds)
23:01:06 × `2jt quits (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 276 seconds)
23:01:23 × pleo quits (~pleo@user/pleo) (Quit: quit)
23:05:30 × nate4 quits (~nate@98.45.169.16) (Ping timeout: 264 seconds)
23:09:31 → segfaultfizzbuzz joins (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
23:10:07 <segfaultfizzbuzz> as a bad programmer, why do people make such a big deal out of nixos/dhall,... why does "configuring" a server have anything to do with a programming language
23:10:32 <segfaultfizzbuzz> that is to say, as a bad programmer i do not understand this
23:12:20 → jmdaemon joins (~jmdaemon@user/jmdaemon)
23:13:30 <hpc> basically, you have to be able to run your code
23:13:33 <geekosaur[m]> configuration can be seen as programming a service to do particular things
23:13:46 <hpc> think of how annoying it is to get all your dependencies right for building your code
23:13:49 <dsal> segfaultfizzbuzz: Much of programming is kind of automating ideas and stuff. nix allows you to express what an environment looks like that your program should be able to be built or run in, as opposed to a big list of things you have to do before you can get started that will vary per platform and you just have to know things.
23:13:52 <hpc> and now imagine all your users trying to do that too
23:14:07 <segfaultfizzbuzz> hpc: i think the rust folk say just roll it up into one executable, and i like this philosophy
23:14:08 <geekosaur[m]> most services have idiosyncratic configuration languages, and it's beneficial when you can use something consistent to configure them all
23:14:20 <hpc> or imagine you've written something like a video decoder, and now youtube's running it on more servers than you've seen in your whole life
23:14:35 <dsal> segfaultfizzbuzz: How do I roll all the things up into one executable? If I download your .rs file, can I run it now?
23:14:40 <hpc> nobody's setting all of those up individually
23:14:55 <segfaultfizzbuzz> if i was running servers at scale i think all i would want to say is, run these binaries with these configuration files, and if the binary dies restart it, or something to that effect
23:15:19 <segfaultfizzbuzz> dsal: well you need to download the entire rust folder but yeah you can basically just say cargo run and it works
23:15:23 <dsal> I process a lot of video. A rust executable wouldn't include all the video codecs I might be working with.
23:15:31 <dsal> segfaultfizzbuzz: -bash: cargo: command not found
23:16:03 <hpc> nix can handle both of those use cases
23:16:06 <segfaultfizzbuzz> i think i am trying to ask here, what kind of configuration is so complex that it needs a programming language
23:16:21 × nuh^ quits (~nuh@128-092-191-146.biz.spectrum.com) (Remote host closed the connection)
23:16:34 <geekosaur[m]> that's the wrong question, kinda
23:16:45 <hpc> computers are already that complex, no matter what you put on them
23:17:11 <geekosaur[m]> you are not wrapping up a web server, networking stack, etc. in a single binary (for one, the networking stack belongs to the OS, not you)
23:17:39 × machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 276 seconds)
23:17:42 <dsal> Even the video processing I'm doing that needs ffmpeg -- it wouldn't be sensible to try to stuff that into one executable.
23:17:53 <hpc> even beyond that you have firewall, logging, sso
23:17:57 <geekosaur[m]> the configuration language is capable of doing configuration for all of these things instead of requiring you to deal with each individual service's config files yourself
23:18:23 <hpc> there's a huge amount of stuff to tweak once you get beyond one or two pet boxes
23:18:55 <hpc> or maybe you do just have one or two pet boxes, but you want to be able to get back to where you are if the hard drive crashes or something
23:19:08 <hpc> so you write up a nix config and stick that in git
23:19:50 <dsal> nix and dhall are very different. nix is "how do I remember all the junk I need to work on / use this project?" dhall might be the language to express that, but it's also just a general config thing. I've used it when I had a program whose config did benefit from having parameterized duplicate sections, for example. (I need an X for every Y)
23:20:30 → Polo joins (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net)
23:20:42 × Polo quits (~Gambino@pool-100-34-212-74.phlapa.fios.verizon.net) (Changing host)
23:20:42 → Polo joins (~Gambino@user/polo)
23:22:01 Polo is now known as Guest7241
23:22:23 Guest7241 is now known as money
23:22:28 money is now known as polo
23:22:33 <hpc> segfaultfizzbuzz: at an even higher level, the thing turing doesn't get enough credit for is that he tried to put everything in a computational context
23:22:39 <hpc> see also, https://en.wikipedia.org/wiki/Alan_Turing#Pattern_formation_and_mathematical_biology
23:22:47 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
23:22:53 <hpc> so you don't so much ask "why does this have anything to do with programming"
23:23:13 <segfaultfizzbuzz> i guess maybe the real root of this has to do with the "granularity of a vm"?
23:23:16 <hpc> everything is programming, the language just hasn't necessarily been discovered or formalized yet
23:23:36 <hpc> why should you be creating the vm by hand and then running configuring code
23:23:44 <hpc> just bump a number in a config file and let code create the vm for you
23:23:53 × polo quits (~Gambino@user/polo) (Max SendQ exceeded)
23:24:14 <hpc> or write something else that uses metrics to automatically create and destroy them
23:24:22 <edwardk> i took my weekend to actually write some haskell. now i've made the mistake of actually trying to compile it.
23:24:36 <edwardk> is hashable just.. broken on an m1 mac right now?
23:24:39 → sammelweis_ joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
23:24:54 → Polo joins (~Gambino@user/polo)
23:24:56 <hpc> or, another one i have a lot of fun explaining to people
23:24:59 <geekosaur[m]> an actual haskell question!
23:25:07 <edwardk> https://www.irccloud.com/pastebin/Clbc9Kt2/hashable-wat.log
23:25:09 <segfaultfizzbuzz> yeah sorry :-) i will fade to the background
23:25:10 <hpc> all those goofy "agile" practices are just queuing theory
23:25:30 <hpc> segfaultfizzbuzz: it was a good question
23:25:42 → zebrag joins (~chris@user/zebrag)
23:25:44 <edwardk> error: warning: passing 'char *' to parameter of type 'const unsigned char *' converts between pointers to integer types with different sign [-Wpointer-sign]
23:25:54 Polo is now known as MONEY
23:25:57 MONEY is now known as polo
23:26:00 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer)
23:26:22 <edwardk> i confess i wasn't expecting something so basic to stymie me
23:26:53 <edwardk> air:~/hell $ ghc --version => The Glorious Glasgow Haskell Compilation System, version 9.2.2
23:26:58 <geekosaur[m]> afaik that's not the real error
23:27:13 <edwardk> i'd like to know what is, because i'm stuck before i even get to my code
23:28:05 <geekosaur[m]> the real error follows and is a known issue, if you get your llvm from homebrew then ghc finds ld.lld instead of the correct linker and the link fails
23:28:22 <edwardk> ok, then what do i do to get back into a valid configuration?
23:28:28 <geekosaur[m]> the other, despite saying "error", is the continuation of a warning message
23:29:30 × Alex_test quits (~al_test@178.34.160.206) (Ping timeout: 240 seconds)
23:29:37 × kjak quits (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Remote host closed the connection)
23:29:42 <edwardk> and is this still going to be the case in future versions / is documented somewhere? because i confess this caught me way out left field
23:29:50 → kjak joins (~kjak@pool-108-31-68-111.washdc.fios.verizon.net)
23:30:10 × AlexZenon quits (~alzenon@178.34.160.206) (Ping timeout: 240 seconds)
23:30:50 <edwardk> geekosaur[m]: thanks for giving me a direction to start googling
23:31:27 <geekosaur[m]> yeh, I';m still looking but it looks like you need to tweak the settings file to use ld64 or ld instead of ld.lld
23:31:43 <segfaultfizzbuzz> m1 chips have a hard time with endofunctors
23:33:06 <geekosaur[m]> iirc the bindist configure finds the wrong ld, so you either have to rerun that pointing to the right ld witth LD=... or you edit the settings file afterward
23:33:16 <hpc> just use liftM1
23:33:51 <segfaultfizzbuzz> haha ok somebody thought my joke was funny ;-)
23:34:21 × Tuplanolla quits (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.)
23:34:30 <segfaultfizzbuzz> it's actually liftM1 $$ SteveJobs $$
23:34:30 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
23:34:49 × polo quits (~Gambino@user/polo) (Killed (lithium.libera.chat (Nickname regained by services)))
23:35:05 <hpc> :D
23:35:12 × spacenautx quits (~spacenaut@user/spacenautx) (Quit: WeeChat 3.0)
23:35:21 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
23:35:35 → AlexZenon joins (~alzenon@178.34.160.206)
23:35:39 → Alex_test joins (~al_test@178.34.160.206)
23:43:00 → azimut_ joins (~azimut@gateway/tor-sasl/azimut)
23:43:21 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
23:46:54 × maroloccio quits (~marolocci@62.98.76.98) (Ping timeout: 276 seconds)
23:47:07 <edwardk> segfaultfizzbuzz: =P
23:47:18 <edwardk> where is the settings file in question?
23:47:28 <edwardk> and for that matter, where is the right LD? =)
23:47:40 → maroloccio joins (~marolocci@151.70.128.107)
23:49:30 × jgeerds quits (~jgeerds@55d437cf.access.ecotel.net) (Ping timeout: 240 seconds)
23:50:14 <edwardk> found https://www.reddit.com/r/haskell/comments/snveep/m1pro_woes/ and will try the comments there i guess
23:50:36 <geekosaur[m]> it's ghc's settings file, try `ghc --print-libdir`
23:50:56 <geekosaur[m]> not sure where they hide ld64 but if you're lucky it's in /usr/bin
23:53:21 × dudek quits (~dudek@185.150.236.103) (Quit: Leaving)
23:53:45 × segfaultfizzbuzz quits (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 276 seconds)
23:54:56 × cosimone quits (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection)
23:55:51 → cosimone joins (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81)
23:58:09 → cdan joins (~user@122-58-88-198-vdsl.sparkbb.co.nz)
23:58:31 <cdan> hello
23:59:11 <edwardk> https://www.irccloud.com/pastebin/DFnItvaM/

All times are in UTC on 2022-07-09.