Logs on 2023-06-12 (liberachat/#haskell)
| 00:00:37 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 00:01:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 00:03:08 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 00:05:18 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:05:22 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 00:06:40 | → | califax joins (~califax@user/califx) |
| 00:08:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 00:09:45 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 00:11:33 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 00:12:33 | × | Tuplanolla quits (~Tuplanoll@91.159.68.236) (Quit: Leaving.) |
| 00:13:58 | × | bratwurst quits (~dfadsva@2604:3d09:207f:f650::38e4) (Quit: Leaving) |
| 00:15:04 | <probie> | c_wraith: I wasn't asking if there was a high level interface, I think my reference to `runST` was a mistake that confused the issue. Either `runRW#` is what I want and will work in my case, or what I want can't be done. |
| 00:16:07 | <probie> | My reference to `runST` was my promise that there isn't any leakage (so no returned functions that were created by control0#) |
| 00:16:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 00:16:09 | <c_wraith> | oh. Yeah, that's the low-level primitive that runs IO |
| 00:16:16 | <geekosaur> | I'd be wondering what those additional requirements are |
| 00:16:19 | <c_wraith> | Or rather, what IO is unpacked into |
| 00:18:53 | <probie> | It's really just copying the callstack from `control0#` down to the nearest `prompt#` with a matching tag right? So as long as there's nothing weird on the callstack I should be right, I think. I think I'll just play around more and see if it blows up |
| 00:23:09 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 00:27:46 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 00:30:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 00:31:42 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 00:34:04 | × | Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Ping timeout: 255 seconds) |
| 00:36:54 | → | nyc joins (~nyc@212.23.253.84) |
| 00:37:28 | × | nyc quits (~nyc@212.23.253.84) (Changing host) |
| 00:37:28 | → | nyc joins (~nyc@user/nyc) |
| 00:38:00 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 00:38:27 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 00:40:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 00:42:14 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 00:47:33 | × | kuribas quits (~user@2a02:1810:2825:6000:eb96:da46:1546:c690) (Ping timeout: 250 seconds) |
| 00:51:41 | × | lisq quits (~quassel@lis.moe) (Server closed connection) |
| 00:51:50 | → | lisq joins (~quassel@lis.moe) |
| 00:55:44 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 00:56:07 | × | hisa38 quits (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Quit: Ping timeout (120 seconds)) |
| 00:56:20 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 00:56:27 | → | hisa38 joins (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 01:01:11 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 01:01:29 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 01:01:52 | → | falafel joins (~falafel@206.255.91.231) |
| 01:03:18 | → | Taneb joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 01:04:25 | × | vandita quits (~vandit@178-164-188-79.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 01:06:20 | → | vandita joins (~vandit@78-131-74-10.pool.digikabel.hu) |
| 01:10:52 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:13:11 | → | hisa387 joins (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 01:13:37 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 01:15:03 | × | hisa38 quits (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 268 seconds) |
| 01:15:03 | hisa387 | is now known as hisa38 |
| 01:16:59 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:17:39 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) (Remote host closed the connection) |
| 01:18:15 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 01:19:13 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 01:23:31 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 01:24:21 | → | jargon joins (~jargon@184.101.75.235) |
| 01:24:23 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 01:24:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 01:24:53 | × | phma quits (phma@2001:5b0:211f:ccc8:f0ab:44b8:77b9:95cc) (Read error: Connection reset by peer) |
| 01:25:17 | → | phma joins (phma@2001:5b0:211f:ccc8:f0ab:44b8:77b9:95cc) |
| 01:26:14 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 01:26:16 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
| 01:28:58 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 01:29:59 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 01:31:26 | → | cheater joins (~Username@user/cheater) |
| 01:32:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 01:34:36 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 01:35:24 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 01:35:31 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 01:36:10 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 01:36:21 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 01:38:34 | × | jargon quits (~jargon@184.101.75.235) (Remote host closed the connection) |
| 01:39:41 | × | ggranberry quits (sid267884@id-267884.uxbridge.irccloud.com) (Server closed connection) |
| 01:40:13 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 01:40:15 | → | ggranberry joins (sid267884@2a03:5180:f:5::4:166c) |
| 01:41:04 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 01:45:01 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:45:25 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 01:45:32 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 01:46:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 01:48:19 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 01:50:20 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 01:55:04 | × | xff0x quits (~xff0x@2405:6580:b080:900:b757:1db4:e4be:d45e) (Ping timeout: 255 seconds) |
| 01:55:41 | × | farn__ quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Server closed connection) |
| 01:56:01 | → | farn__ joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 01:58:53 | → | notzmv joins (~zmv@user/notzmv) |
| 02:04:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 02:07:53 | → | ddellaco1 joins (~ddellacos@143.244.47.81) |
| 02:10:45 | × | ddellacosta quits (~ddellacos@143.244.47.100) (Ping timeout: 260 seconds) |
| 02:15:27 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:18:08 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) |
| 02:18:59 | × | reverse quits (~inversed@188.220.172.130) (Ping timeout: 250 seconds) |
| 02:19:23 | → | reverse joins (~inversed@188.220.172.130) |
| 02:20:02 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) (Remote host closed the connection) |
| 02:20:18 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) |
| 02:20:57 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:20:57 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:20:57 | finn_elija | is now known as FinnElija |
| 02:21:57 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 02:23:23 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 02:24:39 | → | raym joins (~ray@user/raym) |
| 02:26:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 02:28:08 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 02:28:15 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 02:29:02 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 02:33:36 | × | piele quits (~piele@tbonesteak.creativeserver.net) (Server closed connection) |
| 02:33:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 02:33:48 | → | piele joins (~piele@tbonesteak.creativeserver.net) |
| 02:35:04 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 02:37:41 | × | PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (Server closed connection) |
| 02:38:08 | → | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 02:40:42 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds) |
| 02:41:02 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:42:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 02:45:14 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 02:45:52 | × | td_ quits (~td@i53870933.versanet.de) (Ping timeout: 250 seconds) |
| 02:47:20 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 02:47:48 | → | td_ joins (~td@i5387093F.versanet.de) |
| 02:50:49 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 02:51:00 | × | falafel quits (~falafel@206.255.91.231) (Ping timeout: 260 seconds) |
| 02:51:56 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 02:52:05 | → | chromoblob joins (~user@37.113.180.121) |
| 02:53:41 | × | acertain quits (sid470584@2a03:5180:f:4::7:2e38) (Server closed connection) |
| 02:53:52 | → | acertain joins (sid470584@id-470584.hampstead.irccloud.com) |
| 02:55:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 02:56:50 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 260 seconds) |
| 02:57:28 | × | jero98772 quits (~jero98772@2800:484:1d7f:5d36::1) (Remote host closed the connection) |
| 02:59:02 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 03:00:00 | × | Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 03:01:13 | → | falafel joins (~falafel@206.255.91.231) |
| 03:03:44 | → | Taneb joins (~Taneb@runciman.hacksoc.org) |
| 03:06:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 03:08:54 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 03:16:21 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 03:19:00 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 03:20:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 03:21:20 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 03:21:35 | → | cheater_ joins (~Username@user/cheater) |
| 03:21:52 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 03:23:37 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 03:23:39 | cheater_ | is now known as cheater |
| 03:24:04 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 03:26:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 03:31:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 03:33:08 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 03:40:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 03:42:18 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 03:45:28 | × | phma quits (phma@2001:5b0:211f:ccc8:f0ab:44b8:77b9:95cc) (Read error: Connection reset by peer) |
| 03:45:54 | → | phma joins (~phma@host-67-44-208-203.hnremote.net) |
| 03:47:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 03:49:48 | × | Guest83 quits (~Guest83@198-48-156-47.cpe.pppoe.ca) (Ping timeout: 245 seconds) |
| 03:51:00 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 03:51:33 | × | falafel quits (~falafel@206.255.91.231) (Remote host closed the connection) |
| 03:58:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 03:59:08 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 04:00:45 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 04:04:02 | → | use-value1 joins (~Thunderbi@2a00:23c6:8a03:2f01:c52d:211a:dc73:3e4a) |
| 04:04:36 | × | marienz quits (~marienz@libera/staff/marienz) (Server closed connection) |
| 04:04:47 | → | marienz joins (~marienz@libera/staff/marienz) |
| 04:05:41 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 04:05:41 | × | Pent quits (sid313808@id-313808.lymington.irccloud.com) (Server closed connection) |
| 04:06:00 | → | Pent joins (sid313808@id-313808.lymington.irccloud.com) |
| 04:06:26 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 04:07:03 | → | sukil joins (~sukil@77.209.8.115) |
| 04:07:03 | × | sukil quits (~sukil@77.209.8.115) (Changing host) |
| 04:07:03 | → | sukil joins (~sukil@user/sukil) |
| 04:07:13 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Ping timeout: 265 seconds) |
| 04:07:13 | use-value1 | is now known as use-value |
| 04:08:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 04:09:36 | × | witcher quits (~witcher@wiredspace.de) (Server closed connection) |
| 04:09:51 | → | witcher joins (~witcher@wiredspace.de) |
| 04:10:17 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 04:10:28 | → | chromoblob joins (~user@37.113.180.121) |
| 04:14:30 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:15:07 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 04:22:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 04:26:36 | × | laman2 quits (~laman@rego.ai) (Server closed connection) |
| 04:27:01 | → | laman2 joins (~laman@rego.ai) |
| 04:27:44 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 04:34:30 | × | fun-safe-math quits (~fun-safe-@c-24-22-79-16.hsd1.wa.comcast.net) () |
| 04:38:18 | × | phma quits (~phma@host-67-44-208-203.hnremote.net) (Read error: Connection reset by peer) |
| 04:38:43 | → | phma joins (phma@2001:5b0:211f:ccc8:f0ab:44b8:77b9:95cc) |
| 04:40:30 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 04:47:55 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 04:48:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 04:49:16 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 04:49:59 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 04:55:56 | → | takuan joins (~takuan@178.116.218.225) |
| 04:58:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 05:00:00 | → | tbidne[m] joins (~tbidnemat@2001:470:69fc:105::3:6d42) |
| 05:01:01 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 05:01:30 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 05:02:36 | × | xelxebar quits (~xelxebar@wilsonb.com) (Server closed connection) |
| 05:03:18 | → | xelxebar joins (~xelxebar@104.199.203.42) |
| 05:07:36 | × | adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Server closed connection) |
| 05:08:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 05:08:21 | → | adamCS joins (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 05:09:03 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 05:09:08 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 05:09:25 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 05:11:18 | → | titibandit joins (~titibandi@user/titibandit) |
| 05:15:28 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 05:15:39 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 05:16:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 05:20:16 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 05:20:39 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 05:24:36 | × | hexeme quits (~hexeme@user/hexeme) (Server closed connection) |
| 05:25:29 | → | hexeme joins (~hexeme@user/hexeme) |
| 05:26:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 05:28:05 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 05:29:21 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 05:31:03 | × | elkcl quits (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 256 seconds) |
| 05:31:35 | → | cheater_ joins (~Username@user/cheater) |
| 05:31:48 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 265 seconds) |
| 05:33:10 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 05:33:20 | cheater_ | is now known as cheater |
| 05:33:58 | → | kuribas joins (~user@2a02:1808:4:8827:f7a5:d907:204e:4448) |
| 05:34:17 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 05:37:17 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:40:26 | × | kuribas quits (~user@2a02:1808:4:8827:f7a5:d907:204e:4448) (Remote host closed the connection) |
| 05:40:40 | → | kuribas joins (~user@2a02:1808:4:8827:5e3f:b22f:309d:4e08) |
| 05:41:27 | → | elkcl joins (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 05:41:38 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 05:42:44 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 05:43:41 | × | shapr quits (~user@2600:1700:c640:3100:c41:7bd3:e07a:a9fb) (Ping timeout: 260 seconds) |
| 05:52:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 05:52:46 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Read error: Connection reset by peer) |
| 05:53:13 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 05:55:15 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 05:55:38 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 05:58:32 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 06:00:33 | → | falafel joins (~falafel@206.255.91.231) |
| 06:00:59 | → | trev joins (~trev@user/trev) |
| 06:01:41 | × | cawfee quits (~root@2406:3003:2077:2758::babe) (Server closed connection) |
| 06:02:03 | → | cawfee joins (~root@2406:3003:2077:2758::babe) |
| 06:02:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 06:05:28 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 06:07:14 | → | gmg joins (~user@user/gehmehgeh) |
| 06:08:52 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 06:09:30 | × | kuribas quits (~user@2a02:1808:4:8827:5e3f:b22f:309d:4e08) (Ping timeout: 265 seconds) |
| 06:09:46 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 06:11:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 06:11:54 | → | michalz joins (~michalz@185.246.207.221) |
| 06:12:07 | → | chromoblob joins (~user@37.113.180.121) |
| 06:14:05 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 06:15:07 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 06:16:05 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 06:16:17 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 06:21:56 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 06:23:33 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 06:24:00 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 06:24:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 06:25:09 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 06:25:29 | → | vandita_ joins (~vandit@92.249.185.226) |
| 06:27:39 | → | cheater joins (~Username@user/cheater) |
| 06:28:01 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 06:28:07 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 06:28:13 | × | vandita quits (~vandit@78-131-74-10.pool.digikabel.hu) (Ping timeout: 255 seconds) |
| 06:28:36 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 06:32:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 06:33:38 | → | jmorris joins (uid604645@id-604645.hampstead.irccloud.com) |
| 06:33:40 | → | acidjnk joins (~acidjnk@p200300d6e7072f41c5ccd14e17cb324f.dip0.t-ipconnect.de) |
| 06:36:35 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 06:42:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 06:43:46 | → | polux joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 06:43:57 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 06:46:10 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 06:48:40 | <jade[m]> | what decides the 'reccomended' tag for ghcup? |
| 06:50:20 | <c_wraith> | the maintainer. |
| 06:52:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 06:52:27 | <jade[m]> | fair enough |
| 06:54:07 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 07:00:56 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:9e9e:47e1:5dfd:3f4e) |
| 07:01:30 | → | mncheck joins (~mncheck@193.224.205.254) |
| 07:03:35 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 07:04:09 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 07:09:00 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:09:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 07:09:10 | × | falafel quits (~falafel@206.255.91.231) (Ping timeout: 255 seconds) |
| 07:10:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 07:12:08 | → | chromoblob joins (~user@37.113.180.121) |
| 07:12:58 | → | gensyst joins (~gensyst@user/gensyst) |
| 07:14:07 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 07:14:34 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 07:15:07 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 07:15:16 | × | nyc quits (~nyc@user/nyc) (Ping timeout: 260 seconds) |
| 07:16:00 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 07:16:14 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 07:16:22 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 255 seconds) |
| 07:20:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 07:21:00 | → | dcoutts joins (~duncan@54.42.150.83.ftth.as8758.net) |
| 07:21:05 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 07:24:28 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 07:25:58 | → | taupiqueur joins (~taupiqueu@2a02-842a-8180-4601-ddef-9cc4-d489-d6d3.rev.sfr.net) |
| 07:28:51 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 07:29:42 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 07:30:16 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 07:31:34 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 07:31:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 07:34:42 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 07:37:46 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 07:39:02 | → | zeenk joins (~zeenk@2a02:2f04:a106:3c00::7fe) |
| 07:42:11 | → | titibandit joins (~titibandi@user/titibandit) |
| 07:42:37 | → | hisa380 joins (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 07:43:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 07:45:01 | × | hisa38 quits (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 260 seconds) |
| 07:45:01 | hisa380 | is now known as hisa38 |
| 07:45:26 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 07:47:35 | <kuribas> | How do you implement lazy loading of a big tree without lazy IO? |
| 07:48:02 | <kuribas> | Say I have a big tree that I load from an api or from the database, but I want to only download parts that I use. |
| 07:48:20 | × | dcoutts quits (~duncan@54.42.150.83.ftth.as8758.net) (Ping timeout: 250 seconds) |
| 07:49:12 | <jade[m]> | that depends on a lot of things |
| 07:49:22 | <jade[m]> | mainly the place you are getting the data from |
| 07:49:38 | <kuribas> | an API or a database. |
| 07:49:41 | <jade[m]> | and what format the data is in |
| 07:49:46 | <kuribas> | JSON |
| 07:49:53 | <kuribas> | well, from the API. |
| 07:50:01 | <jade[m]> | kuribas: yeah but those can both have very different structures |
| 07:50:18 | <kuribas> | Let's say the API matches the tree structure. |
| 07:50:20 | <jade[m]> | kuribas: what does the API return? |
| 07:50:22 | <kuribas> | But only one layer. |
| 07:50:27 | <kuribas> | at a time. |
| 07:50:43 | <jade[m]> | so you can get any layer on demand? |
| 07:50:50 | <kuribas> | yes |
| 07:51:11 | <kuribas> | LazyIO seems a good way to do this. |
| 07:52:15 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:52:25 | <davean> | I mean you can stick IO actions in your data structure to walk it, you can use recursion schemes, you can use streaming ... |
| 07:52:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 07:53:05 | <jade[m]> | davean: I was about to say, that depending on how you query the data, it might already be at the laziest it can be |
| 07:53:06 | → | merijn joins (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 07:53:55 | <davean> | yah what is appropriate depends on the operations you have available and how you want to consume it |
| 07:54:09 | <davean> | I can't answer either of those for kuribas but I can list the things they get to choose between |
| 07:56:07 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 07:59:41 | × | xsarnik quits (xsarnik@lounge.fi.muni.cz) (Server closed connection) |
| 07:59:54 | → | xsarnik joins (xsarnik@lounge.fi.muni.cz) |
| 08:01:17 | → | enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 08:01:45 | <kuribas> | well, this is actually Python :) But I wanted to know how to do it in haskell first... |
| 08:03:16 | <kuribas> | I find caching is overused in Python, but it may be appropriate here. |
| 08:03:52 | → | kn07___ joins (~kn07@2a02:2f0a:c70f:7300:8931:2cff:2fec:9419) |
| 08:03:56 | <kn07___> | hello |
| 08:04:01 | <kn07___> | what religion do you have? |
| 08:04:56 | <kuribas> | kn07___: the static typed religion |
| 08:05:38 | → | chele joins (~chele@user/chele) |
| 08:06:19 | → | gurkenglas joins (~user@dynamic-046-114-176-034.46.114.pool.telefonica.de) |
| 08:09:22 | <kuribas> | Credo in unum systema typorum |
| 08:09:36 | × | tomas quits (~thomas@user/oats) (Server closed connection) |
| 08:11:16 | <merijn> | I adhere to a strict separation between Church and state :p |
| 08:11:45 | <kn07___> | what about synagogue? |
| 08:12:07 | → | chromoblob joins (~user@37.113.180.121) |
| 08:14:28 | <kuribas> | is that a recursion scheme? |
| 08:16:05 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 08:18:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 08:18:41 | <kn07___> | I belive it is |
| 08:20:01 | → | oats_ joins (~thomas@user/oats) |
| 08:21:48 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 08:25:11 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:27:19 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
| 08:37:36 | × | ames quits (~amelia@offtopia/offtopian/amelia) (Server closed connection) |
| 08:37:54 | → | ames joins (~amelia@offtopia/offtopian/amelia) |
| 08:38:35 | × | vandita_ quits (~vandit@92.249.185.226) (Ping timeout: 250 seconds) |
| 08:38:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 08:39:58 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 08:40:19 | → | vandita joins (~vandit@78-131-74-26.pool.digikabel.hu) |
| 08:46:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 08:47:15 | <kuribas> | I am not that much fan of having a property that actually does call to the API (in python). |
| 08:47:19 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:48:04 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 08:48:12 | <[exa]> | kuribas: bUtThAtIsThEmAgIcOfProPeRtIeS |
| 08:48:14 | <kuribas> | Even though it is more safe than doing a file read, it is still rather implicit. |
| 08:48:53 | <kuribas> | I wonder if I should just make it a function, then do some caching to avoid doing unnecessary work. |
| 08:49:41 | <[exa]> | make the cache explicit, pass it to functions |
| 08:50:04 | <[exa]> | then you make the api object explicit and pass it to the cache as "base" info |
| 08:50:20 | <[exa]> | and that allows you to let the users mess it up themselves if they really want |
| 08:55:43 | × | zeenk quits (~zeenk@2a02:2f04:a106:3c00::7fe) (Quit: Konversation terminated!) |
| 08:55:45 | <kuribas> | [exa]: indeed |
| 08:55:57 | <kuribas> | I can make a "session" object |
| 08:56:23 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) (Remote host closed the connection) |
| 08:57:10 | × | merijn quits (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 09:00:39 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 09:01:03 | × | vaibhavsagar[m] quits (~vaibhavsa@2001:470:69fc:105::ffe) (Remote host closed the connection) |
| 09:02:11 | → | Pickchea joins (~private@user/pickchea) |
| 09:05:16 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 09:05:27 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 09:05:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 09:06:19 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 09:06:52 | → | dcoutts joins (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) |
| 09:07:55 | × | telser[m] quits (~telsermat@2001:470:69fc:105::3:5968) (Remote host closed the connection) |
| 09:08:25 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 09:08:35 | Lord_of_Life_ | is now known as Lord_of_Life |
| 09:10:30 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:10:40 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 09:11:22 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 09:12:08 | → | chromoblob joins (~user@37.113.180.121) |
| 09:16:57 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 09:17:17 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 09:17:25 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 09:21:50 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 09:21:50 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 09:22:35 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 09:27:09 | × | gensyst quits (~gensyst@user/gensyst) (Quit: Leaving) |
| 09:27:11 | → | kriity joins (~kriity@c-76-155-235-153.hsd1.co.comcast.net) |
| 09:27:38 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds) |
| 09:27:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 09:31:07 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 09:35:20 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 09:38:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 09:38:54 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 09:39:02 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 09:43:08 | → | __monty__ joins (~toonn@user/toonn) |
| 09:43:48 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 09:44:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 09:45:16 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 09:49:45 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 09:50:36 | × | sympt quits (~sympt@user/sympt) (Server closed connection) |
| 09:50:45 | × | phma quits (phma@2001:5b0:211f:ccc8:f0ab:44b8:77b9:95cc) (Read error: Connection reset by peer) |
| 09:51:32 | → | sympt joins (~sympt@user/sympt) |
| 09:51:45 | → | phma joins (phma@2001:5b0:2172:dde8:47f2:e98f:fb8c:320e) |
| 09:54:19 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 09:55:25 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 09:55:26 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 09:56:55 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) |
| 09:57:52 | × | Clint quits (~Clint@user/clint) (Quit: dsssl) |
| 10:00:30 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds) |
| 10:00:32 | → | Clint joins (~Clint@user/clint) |
| 10:00:56 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 10:01:31 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) (Ping timeout: 260 seconds) |
| 10:01:41 | → | chromoblob joins (~user@37.113.180.121) |
| 10:06:11 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 10:07:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 10:09:18 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 10:09:40 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 10:10:02 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 250 seconds) |
| 10:13:13 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 10:15:06 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 10:18:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 10:19:22 | → | CiaoSen joins (~Jura@145.224.73.17) |
| 10:19:22 | × | ft quits (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 10:21:08 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 10:28:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 10:28:37 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 10:32:54 | × | wns quits (~user@103.206.114.101) (Quit: WeeChat 3.8) |
| 10:33:28 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 10:38:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 10:40:59 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 10:41:44 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 10:45:33 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 10:46:24 | → | kleenestar[m] joins (~kleenesta@2001:470:69fc:105::3:6d78) |
| 10:46:26 | → | wns_ joins (~user@103.206.114.124) |
| 10:46:26 | wns_ | is now known as wns |
| 10:46:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 10:47:26 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 10:48:28 | → | notzmv joins (~zmv@user/notzmv) |
| 10:49:33 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 10:52:10 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 10:54:15 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 11:03:51 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:c52d:211a:dc73:3e4a) (Remote host closed the connection) |
| 11:04:10 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:c52d:211a:dc73:3e4a) |
| 11:04:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 11:05:33 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 11:05:57 | → | blueonyx joins (~blueonyx@user/blueonyx) |
| 11:09:51 | → | xff0x joins (~xff0x@ai098135.d.east.v6connect.net) |
| 11:11:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 11:14:17 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 11:14:44 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 11:14:52 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 11:15:15 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 11:17:43 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 11:21:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 11:22:42 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 11:23:25 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 11:28:39 | → | cheater joins (~Username@user/cheater) |
| 11:30:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 11:32:50 | → | merijn joins (~merijn@185.143.104.11) |
| 11:34:04 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 11:37:02 | × | kriity quits (~kriity@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Client closed) |
| 11:41:45 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 11:42:46 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:42:50 | × | wns quits (~user@103.206.114.124) (Quit: WeeChat 3.8) |
| 11:43:41 | × | xstill_ quits (xstill@fimu/xstill) (Server closed connection) |
| 11:44:00 | → | xstill_ joins (xstill@fimu/xstill) |
| 11:45:11 | → | anpad joins (~pandeyan@user/anpad) |
| 11:45:46 | → | chromoblob joins (~user@37.113.180.121) |
| 11:46:01 | → | wns_ joins (~user@103.206.114.101) |
| 11:46:01 | wns_ | is now known as wns |
| 11:46:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 11:49:37 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 11:50:04 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 11:50:30 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 11:56:03 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds) |
| 11:56:48 | → | taupiqueur1 joins (~taupiqueu@2a02:842a:8180:4601:ddef:9cc4:d489:d6d3) |
| 11:59:20 | × | taupiqueur quits (~taupiqueu@2a02-842a-8180-4601-ddef-9cc4-d489-d6d3.rev.sfr.net) (Ping timeout: 260 seconds) |
| 12:00:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 12:01:51 | × | blueonyx quits (~blueonyx@user/blueonyx) (Ping timeout: 265 seconds) |
| 12:02:11 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 12:02:49 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 12:04:51 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 12:07:01 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
| 12:07:36 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 12:10:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 12:11:15 | → | vandita_ joins (~vandit@178-164-208-245.pool.digikabel.hu) |
| 12:12:31 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 12:13:58 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:14:05 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 12:14:14 | × | euandreh quits (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 12:14:31 | × | vandita quits (~vandit@78-131-74-26.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 12:17:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 12:21:57 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 12:22:17 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 12:28:42 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 12:30:43 | → | nyc joins (~nyc@2001:620:130:6092:22a8:413d:ef74:c78a) |
| 12:32:25 | × | CiaoSen quits (~Jura@145.224.73.17) (Ping timeout: 240 seconds) |
| 12:32:50 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 12:35:16 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:37:22 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 12:38:49 | × | hsw quits (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
| 12:39:06 | → | hsw joins (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 12:43:54 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 12:47:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 12:48:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 12:48:29 | → | blueonyx joins (~blueonyx@user/blueonyx) |
| 12:49:22 | × | blueonyx quits (~blueonyx@user/blueonyx) (Client Quit) |
| 12:49:38 | → | blueonyx joins (~blueonyx@user/blueonyx) |
| 12:53:36 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 12:53:55 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 12:56:51 | <probie> | Given that the haskell reddit has gone dark, an op should probably remove the link to it |
| 12:57:23 | <mzg> | Why dark? |
| 12:57:28 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 255 seconds) |
| 12:58:29 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 12:58:48 | <yushyin> | mzg: "r/haskell has gone dark to protest Reddit's changes to API pricing. https://discourse.haskell.org/t/r-haskell-is-going-dark/6405 " from the reddit link |
| 12:59:21 | → | dagit joins (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 13:01:34 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 13:02:16 | × | kn07___ quits (~kn07@2a02:2f0a:c70f:7300:8931:2cff:2fec:9419) (Ping timeout: 265 seconds) |
| 13:05:57 | → | CiaoSen joins (~Jura@145.224.73.17) |
| 13:07:22 | × | acidjnk quits (~acidjnk@p200300d6e7072f41c5ccd14e17cb324f.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 13:09:39 | → | Co0kie joins (~Jura@145.224.73.17) |
| 13:10:30 | × | CiaoSen quits (~Jura@145.224.73.17) (Ping timeout: 260 seconds) |
| 13:12:22 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:13:31 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 13:13:58 | × | jinsl quits (~jinsl@123.120.169.188) (Quit: ZNC - https://znc.in) |
| 13:17:16 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:9e9e:47e1:5dfd:3f4e) (Ping timeout: 255 seconds) |
| 13:17:47 | → | jero98772 joins (~jero98772@2800:484:1d7f:5d36::1) |
| 13:19:20 | → | lortabac joins (~lortabac@37.166.151.233) |
| 13:20:33 | → | Pickchea joins (~private@user/pickchea) |
| 13:22:31 | × | dcoutts quits (~duncan@2001:620:130:6092:8b6f:ee09:26cb:f12f) (Ping timeout: 240 seconds) |
| 13:22:58 | → | vandita joins (~vandit@84-236-122-196.pool.digikabel.hu) |
| 13:26:16 | × | vandita_ quits (~vandit@178-164-208-245.pool.digikabel.hu) (Ping timeout: 255 seconds) |
| 13:26:43 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 13:27:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 13:27:22 | × | euandreh quits (~Thunderbi@189.6.18.7) (Read error: Connection reset by peer) |
| 13:27:38 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 13:28:14 | → | ripspin joins (~chatzilla@1.145.186.23) |
| 13:28:15 | → | chromoblob joins (~user@37.113.180.121) |
| 13:30:14 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 13:30:55 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 13:33:24 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 13:34:01 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Client Quit) |
| 13:36:26 | × | Axman6 quits (~Axman6@user/axman6) (Read error: Connection reset by peer) |
| 13:36:27 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:37:15 | → | Axman6 joins (~Axman6@user/axman6) |
| 13:37:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 13:37:44 | → | vandita_ joins (~vandit@94-21-33-65.pool.digikabel.hu) |
| 13:40:13 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 13:41:26 | × | vandita quits (~vandit@84-236-122-196.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 13:42:38 | → | P1RATEZ joins (piratez@user/p1ratez) |
| 13:42:57 | → | elain4 joins (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) |
| 13:45:08 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 13:45:08 | × | lortabac quits (~lortabac@37.166.151.233) (Read error: Connection reset by peer) |
| 13:45:09 | <jean-paul[m]> | If I'm not in MonadFail already and I have a value in MonadFail, can I get it out in some other form? As an Either String or a Maybe or something? |
| 13:47:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 13:47:23 | <ncf> | what's a "value in MonadFail"? |
| 13:47:58 | <Axman6> | seems to me it would very much depend on which monad you're talking about |
| 13:48:01 | <ncf> | a value of type (MonadFail m => m a), or m a for a specific m that implements MonadFail? |
| 13:48:38 | <jean-paul[m]> | a value of `MonadFail m => m a` |
| 13:49:09 | <ncf> | then you can instantiate it at Maybe or Either e or whatever |
| 13:49:18 | <jean-paul[m]> | well, `(MonadFail m, MonadIO m) => m a` |
| 13:49:37 | × | blueonyx quits (~blueonyx@user/blueonyx) (Ping timeout: 240 seconds) |
| 13:49:48 | <ncf> | or MaybeT IO |
| 13:50:13 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 13:50:25 | <jean-paul[m]> | dang, knew I should have learned about monad transformers last week. |
| 13:50:58 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:b0ef:80e3:428f:1f6a) |
| 13:51:04 | → | kn07___ joins (~kn07@2a02:2f0a:c70f:7300:8931:2cff:2fec:9419) |
| 13:53:07 | × | hpc quits (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 240 seconds) |
| 13:53:19 | → | hpc joins (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 13:54:09 | <merijn> | jean-paul[m]: Not really, because MonadFail isn't really something you're intended to work with. The purpose of it is that do-syntax allows for partial patterns, so Monad used to have "fail :: Monad m => String -> m a" to handle those partial cases. But that kinda sucked, because not all monads have a sensible fail and ideally you'd like to rule out "wrong" (i.e. partial) do blocks at compile time if |
| 13:54:15 | <merijn> | there is no sensible handling for them |
| 13:54:45 | <merijn> | jean-paul[m]: So fail was split off into MonadFail so that do blocks infer "Monad m => m a" ad do blocks with (potentially) partial patterns infer as "MonadFail m => m a" |
| 13:55:17 | <merijn> | jean-paul[m]: But MonadFail doesn't have any API for interacting with/detecting failures, because that's not really what it's for |
| 13:55:50 | <jean-paul[m]> | So a reasonable thing to do would be to rewrite this code so its result isn't in MonadFail but something else, like Either, instead? |
| 13:56:39 | <jean-paul[m]> | (that at least I know how to do) |
| 13:57:06 | <merijn> | jean-paul[m]: That's actually a (mostly?) orthogonal issue. MonadFail is just "any monad that has some sensible 'error' concept if we encounter partial patterns" |
| 13:57:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 13:58:40 | <merijn> | jean-paul[m]: So, for example, Maybe is an instance of MonadFail because it means a partial pattern can just be treated as Nothing. But if you have code that should return some sensible error, you want that to be some specific type (e.g. Either) |
| 13:59:19 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 14:00:15 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 14:02:16 | <Hecate> | yes, I believe you may be looking for ExceptT jean-paul[m] |
| 14:02:40 | <Hecate> | (and its MTL counterpart MonadError) |
| 14:11:15 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 14:14:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 14:14:39 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:17:02 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 14:17:12 | → | acidjnk joins (~acidjnk@p200300d6e7072f4135445992d9d2781f.dip0.t-ipconnect.de) |
| 14:17:33 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 14:18:05 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 14:22:25 | → | blueonyx joins (~blueonyx@user/blueonyx) |
| 14:23:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 14:25:45 | → | kupi_ joins (uid212005@id-212005.hampstead.irccloud.com) |
| 14:26:46 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 14:27:11 | → | vandita joins (~vandit@92-249-182-82.pool.digikabel.hu) |
| 14:29:05 | × | blueonyx quits (~blueonyx@user/blueonyx) (Ping timeout: 240 seconds) |
| 14:30:37 | × | vandita_ quits (~vandit@94-21-33-65.pool.digikabel.hu) (Ping timeout: 255 seconds) |
| 14:30:39 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:b0ef:80e3:428f:1f6a) (Quit: WeeChat 2.8) |
| 14:32:30 | → | shapr joins (~user@2600:1700:c640:3100:b9fd:fedb:2561:e04e) |
| 14:33:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 14:34:16 | × | ddellaco1 quits (~ddellacos@143.244.47.81) (Quit: WeeChat 3.8) |
| 14:35:33 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 265 seconds) |
| 14:36:23 | × | dsrt^ quits (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 14:36:24 | → | ddellacosta joins (~ddellacos@146.70.165.139) |
| 14:37:10 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 14:47:33 | × | bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection) |
| 14:48:51 | × | CalculusCats quits (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 14:49:05 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 14:50:23 | → | CalculusCats joins (NyaaTheKit@user/calculuscat) |
| 14:54:45 | × | merijn quits (~merijn@185.143.104.11) (Ping timeout: 240 seconds) |
| 14:55:01 | × | nyc quits (~nyc@2001:620:130:6092:22a8:413d:ef74:c78a) (Ping timeout: 240 seconds) |
| 14:55:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 14:57:13 | × | ripspin quits (~chatzilla@1.145.186.23) (Remote host closed the connection) |
| 14:58:49 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 15:05:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 15:06:19 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:06:56 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 15:10:08 | → | santiagopim joins (~user@90.167.66.131) |
| 15:13:36 | × | ncf quits (~n@monade.li) (Server closed connection) |
| 15:13:55 | → | ncf joins (~n@monade.li) |
| 15:19:13 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 15:20:07 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 15:20:49 | × | bionade24 quits (~bionade24@2a03:4000:33:45b::1) (Remote host closed the connection) |
| 15:24:05 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 15:24:38 | → | vandita_ joins (~vandit@193-226-233-29.pool.digikabel.hu) |
| 15:28:08 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 15:28:10 | × | vandita quits (~vandit@92-249-182-82.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 15:32:15 | → | Pickchea joins (~private@user/pickchea) |
| 15:32:44 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 15:35:33 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 15:38:08 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 15:38:42 | → | dcoutts joins (~duncan@46-253-189-44.dynamic.monzoon.net) |
| 15:39:19 | → | AlexNoo_ joins (~AlexNoo@178.34.163.11) |
| 15:39:29 | × | enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 15:41:46 | × | Alex_test quits (~al_test@178.34.160.87) (Ping timeout: 265 seconds) |
| 15:42:15 | × | AlexZenon quits (~alzenon@178.34.160.87) (Ping timeout: 265 seconds) |
| 15:42:53 | → | rando25892 joins (~andor2985@user/rando25892) |
| 15:43:03 | × | AlexNoo quits (~AlexNoo@178.34.160.87) (Ping timeout: 256 seconds) |
| 15:45:31 | × | gurkenglas quits (~user@dynamic-046-114-176-034.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 15:45:47 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 15:46:04 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 15:46:51 | → | Alex_test joins (~al_test@178.34.163.11) |
| 15:48:26 | → | econo joins (uid147250@user/econo) |
| 15:48:33 | → | AlexZenon joins (~alzenon@178.34.163.11) |
| 15:51:08 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) |
| 15:51:31 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 15:51:33 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 15:51:33 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 15:51:33 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:54:51 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 15:55:25 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 16:01:08 | × | nor6u[m] quits (~nor6umatr@2001:470:69fc:105::3:5825) (Remote host closed the connection) |
| 16:05:06 | × | euandreh quits (~Thunderbi@189.6.18.7) (Quit: euandreh) |
| 16:05:21 | → | euandreh1 joins (~Thunderbi@189.6.18.7) |
| 16:05:21 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 16:05:40 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 16:05:40 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 16:05:40 | → | wroathe joins (~wroathe@user/wroathe) |
| 16:07:36 | euandreh1 | is now known as euandreh |
| 16:12:59 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:14:07 | × | dcoutts quits (~duncan@46-253-189-44.dynamic.monzoon.net) (Ping timeout: 240 seconds) |
| 16:15:30 | → | vandita joins (~vandit@178.164.235.233) |
| 16:15:30 | → | oac joins (~oac@72-50-214-210.fttp.usinternet.com) |
| 16:16:13 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 16:18:20 | × | vandita_ quits (~vandit@193-226-233-29.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 16:18:35 | → | gurkenglas joins (~user@dynamic-046-114-176-034.46.114.pool.telefonica.de) |
| 16:21:45 | × | Co0kie quits (~Jura@145.224.73.17) (Ping timeout: 240 seconds) |
| 16:29:41 | × | AndreasK quits (sid320732@id-320732.uxbridge.irccloud.com) (Server closed connection) |
| 16:29:49 | → | AndreasK joins (sid320732@id-320732.uxbridge.irccloud.com) |
| 16:30:19 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 16:31:24 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 16:32:25 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 16:32:55 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 16:33:32 | × | kn07___ quits (~kn07@2a02:2f0a:c70f:7300:8931:2cff:2fec:9419) (Ping timeout: 246 seconds) |
| 16:34:04 | × | euandreh quits (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 16:34:31 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 16:34:45 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 16:36:26 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 16:36:54 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 16:41:54 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 16:42:23 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:42:24 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 16:45:46 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 260 seconds) |
| 16:46:58 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 16:47:54 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 16:52:02 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 16:52:22 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 16:52:59 | <sm> | morning all. I see https://www.reddit.com/r/haskell/ has gone dark at least for today, but where is the official announcement from the mods ? |
| 16:53:25 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 16:56:25 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 16:58:13 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 16:58:24 | <EvanR> | they must have put it on reddit before going dark |
| 16:58:40 | <EvanR> | like locking your keys in your car |
| 16:58:46 | → | kn07___ joins (~kn07@2a02:2f0a:c70f:7300:8931:2cff:2fec:9419) |
| 16:58:56 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 16:59:47 | <ncf> | there's a link to a discourse post right there |
| 17:00:46 | <L29Ah> | who needs reddit anyway |
| 17:02:44 | → | zaidhaan joins (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) |
| 17:03:37 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 17:04:21 | × | NinjaTrappeur quits (~ninja@user/ninjatrappeur) (Quit: WeeChat 3.8) |
| 17:04:26 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 17:04:31 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 17:04:37 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 17:06:21 | → | NinjaTrappeur joins (~ninja@user/ninjatrappeur) |
| 17:06:22 | AlexNoo_ | is now known as AlexNoo |
| 17:07:19 | × | kn07___ quits (~kn07@2a02:2f0a:c70f:7300:8931:2cff:2fec:9419) (Ping timeout: 250 seconds) |
| 17:07:41 | × | tnks quits (sid412124@id-412124.helmsley.irccloud.com) (Server closed connection) |
| 17:07:52 | → | tnks joins (sid412124@id-412124.helmsley.irccloud.com) |
| 17:08:24 | <sm> | here's one: https://discourse.haskell.org/t/r-haskell-is-going-dark/6405 |
| 17:08:45 | <nitrix> | As someone out of the loop, how is this protest going to help the end users? Reddit has to keep operating and if it's not through pricing agreements, wont it mean monetization through more ads and other bullshits? |
| 17:08:56 | <sm> | they should have announced it on reddit (for feed readers) and given some advance warning |
| 17:09:07 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 17:09:13 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds) |
| 17:09:23 | <nitrix> | Reading the discourse post. Hopefully it gets clarified. |
| 17:09:56 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 17:10:21 | <sm> | reddit's time as a useful community resource seems to have ended |
| 17:10:25 | <Hecate> | nitrix: the end users have given their personal data to Reddit via the use of advertisement for years, and planning to make application developers spit out $20M/year is really mugging them |
| 17:10:51 | <sm> | but there's good and bad ways to transition off it |
| 17:11:33 | → | mei joins (~mei@user/mei) |
| 17:11:39 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 17:12:33 | → | gmg joins (~user@user/gehmehgeh) |
| 17:12:37 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) (Remote host closed the connection) |
| 17:14:26 | <nitrix> | Hecate, On desktop perhaps but with third-party apps they don't. The money has to come from somewhere. |
| 17:14:55 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 17:15:11 | <Hecate> | nitrix: you'd be surprised how many users use the desktop site |
| 17:15:26 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 17:15:48 | <nitrix> | Hecate, 25.7% on desktop vs. 74.3% on mobile. |
| 17:16:07 | <nitrix> | And it keeps growing (especially the third-party portion). |
| 17:16:14 | <Rembane> | mobile = Reddit app? |
| 17:16:59 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 17:17:41 | × | hongminhee quits (sid295@id-295.tinside.irccloud.com) (Server closed connection) |
| 17:17:51 | → | hongminhee joins (sid295@id-295.tinside.irccloud.com) |
| 17:19:11 | × | oac quits (~oac@72-50-214-210.fttp.usinternet.com) (Quit: oac) |
| 17:19:35 | → | oac_ joins (~oac@72-50-214-210.fttp.usinternet.com) |
| 17:19:57 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 17:20:10 | <nitrix> | Strikes can be good, though I fell it's just going to force Reddit's hands to turn on the few users that somehow still display ads and attempt to squeeze even more from them while making everyone's experience as a whole worse. |
| 17:20:20 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds) |
| 17:20:24 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:20:52 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 17:21:18 | <nitrix> | Feels like a lot of people involved aren't thinking it through very much. It's also weird for Haskell communities to take a side in drama crap. |
| 17:21:23 | <Hecate> | many companies have a reasonably good financial health without doing that kind of stuff, I don't understand why we should take pity on Reddit and fear that strike actions are "forcing their hands" |
| 17:21:41 | <Hecate> | nitrix: weren't you around during the Freenode migration to Libera? |
| 17:21:47 | <Hecate> | this is not our first rodeo |
| 17:22:05 | <nitrix> | What about it? |
| 17:24:46 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 17:26:31 | <Hecate> | nitrix: well that's when we protested against the corporate takeover of Freenode and made our opinions known by taking direct action |
| 17:26:42 | <Hecate> | we're not just consumers of social platforms |
| 17:26:58 | <Hecate> | and certainly not sheep that follow whatever some corporate overlords tell us |
| 17:27:41 | × | lightandlight quits (sid135476@id-135476.helmsley.irccloud.com) (Server closed connection) |
| 17:27:51 | → | lightandlight joins (sid135476@id-135476.helmsley.irccloud.com) |
| 17:29:19 | <jade[m]> | fuck corporations :D |
| 17:29:28 | <nitrix> | You seem confused. Libera is a nonprofit, has sponsors and sustainable. |
| 17:30:13 | <Hecate> | nitrix: and is not spying on its users to make money |
| 17:30:17 | × | vandita quits (~vandit@178.164.235.233) (Ping timeout: 250 seconds) |
| 17:30:57 | <nitrix> | That's the only thing is _can_ do to monetize the users. The users don't want to pay anything and the developers goes on strikes. |
| 17:31:17 | <nitrix> | I don't think you understand the dichotomy created. |
| 17:32:01 | <nitrix> | Anyhow, it's pretty sad that Haskell wants to associate themselves to movements like this. Such unnecessary drama to put your name on. |
| 17:32:06 | → | vandita joins (~vandit@178-164-208-245.pool.digikabel.hu) |
| 17:32:29 | <nitrix> | Woke culture getting out of control. |
| 17:32:50 | <Hecate> | yeah, sad story, anyway, how are you doing jade[m] ? |
| 17:33:10 | <nitrix> | Rust is having similar problems currently internally. |
| 17:36:14 | <__monty__> | nitrix: Question, (let's continue in #haskell-offtopic please). How is making moderators' jobs harder a good thing for anyone, including end users and Reddit the company? |
| 17:39:32 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 17:43:13 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) |
| 17:44:03 | <nitrix> | I have no idea but consider that the new situation for a wanna-be Haskell beginner of the community is a blocked medium, who now has to navigate this drama and hopefully arrive at the same conclusion as others if they want to be able to take part and engage with the community even though the matters should be completely external. |
| 17:44:39 | × | zaidhaan quits (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) (Quit: WeeChat 3.8) |
| 17:45:37 | <nitrix> | Other than that, I think I said what I had to say. It's your problem now. |
| 17:46:36 | × | cyphase quits (~cyphase@user/cyphase) (Server closed connection) |
| 17:46:57 | → | cyphase joins (~cyphase@user/cyphase) |
| 17:48:26 | <EvanR> | lol wow nitrix chill out |
| 17:48:55 | → | GhostOfVesper joins (~vesper@pkts-ggsn-52.167.econet.co.zw) |
| 17:49:56 | <pyrex> | i think i will not have opinions on this but i will go full popcorn mode |
| 17:50:47 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 17:52:10 | <pyrex> | (actually, this is the first i've become aware of discourse.haskell.org and i will opine: i really really like that this exists) |
| 17:54:30 | <nitrix> | EvanR, I'm mostly playing devil's advocate. The entire point of a strike is to pesker people so you can raise awareness and force conversations. So if it's also not welcome to have it discussed, people have failed on two fronts. |
| 17:55:06 | × | kupi_ quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:55:21 | × | GhostOfVesper quits (~vesper@pkts-ggsn-52.167.econet.co.zw) (Quit: -a- IRC for Android 2.1.59) |
| 17:55:26 | <pyrex> | it kind of looks more to me like you disapprove of the strike but have realized that's a controversial stance and are now walking it back! |
| 17:57:17 | <EvanR> | I'm protesting protesting, thereby causing a logical paradox |
| 17:58:08 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 17:59:20 | <nitrix> | pyrex, I don't know what improvements could've been made to the verbiage but my stance is still very much against it. |
| 17:59:33 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 17:59:52 | <EvanR> | "The API pricing is too damn high" ? |
| 18:00:29 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 18:00:51 | <pyrex> | nitrix: oh ok, i feel you then and won't snark! |
| 18:01:04 | <pyrex> | (it's a valid stance imho and i didn't want to imply that you were actually wrong to be annoyed by it) |
| 18:01:36 | × | taupiqueur1 quits (~taupiqueu@2a02:842a:8180:4601:ddef:9cc4:d489:d6d3) (Ping timeout: 260 seconds) |
| 18:01:42 | <jade[m]> | <Hecate> "yeah, sad story, anyway, how are..." <- pretty good, getting my head bashed in at a local show right now 🤟 |
| 18:02:08 | <nitrix> | pyrex, Where I don't care very much is the harm that results from it to the community. If the community chooses this then they reap the outcome. |
| 18:02:45 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 18:02:51 | <nitrix> | pyrex, I don't use Haskell that often anymore, though the community is usually very level-headed and stays clear from this sort of stuff. Usually. |
| 18:02:55 | → | mei joins (~mei@user/mei) |
| 18:03:04 | <pyrex> | yeah, i get you!! |
| 18:04:02 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 18:08:37 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 18:09:00 | → | Errdonald joins (~Errdonald@2a01:540:536:a500:7f5d:bc02:46ea:a9e8) |
| 18:12:25 | → | leungbk joins (~user@2603-8000-1201-2dd2-d97b-9387-c7cb-2fed.res6.spectrum.com) |
| 18:13:01 | → | Errdonald30 joins (~Errdonald@178.46.90.65) |
| 18:16:29 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 18:16:55 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 18:18:15 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) (Remote host closed the connection) |
| 18:19:28 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) |
| 18:20:38 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 18:20:50 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 18:21:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 18:23:50 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 18:25:31 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 18:25:40 | <ddellacosta> | nitrix: "Reddit has to keep operating and if it's not through pricing agreements..." --I don't think most people are disagreeing with this, but I and many others feel that the pricing Reddit proposed was outrageous. It was basically an attempt by Reddit to shut down third-party apps while attempting to look as though they were not. And since the main app I used to access Reddit--Apollo--is |
| 18:25:43 | <ddellacosta> | shutting down as a result, and because a lot of 3rd-party apps shutting down also means that people with disabilities as well as moderators are immediately disadvantaged, I no longer want to support Reddit and I don't intend to use it again unless things change dramatically (which I'm skeptical of). I'm disappointed--I spent a _lot_ of time on r/haskell--but there are plenty of other places out |
| 18:25:45 | <ddellacosta> | there online for us to congregate, including ones that may not yet exist, and which may treat their users better. All of that being the case, please don't characterize people with a position opposed to yours so carelessly using the phrase "Woke culture getting out of control," it's disparaging and dismissive of the actual positions people are taking on this (which is how it is always used); it is |
| 18:25:47 | <ddellacosta> | a deeply tiresome political trope. Please don't bring the conversation down to that level. I think we are capable of discussing our positions with nuance in #haskell. |
| 18:26:42 | <ddellacosta> | ugh sorry for wack formatting |
| 18:26:53 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 18:28:36 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) (Remote host closed the connection) |
| 18:30:31 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 18:31:23 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 18:32:02 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 18:32:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 18:32:20 | <sm> | it's a reasonable conversation, happening across all communities right now. Some have had all background and time to discuss and reflect, some are just learning "their" forum and history has gone away without warning or consultation |
| 18:35:29 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 18:36:09 | <EvanR> | on one hand, that crass characterization seems to place the whole issue somewhere in America (instead of the internet). On the other, begin strongly opinionated and poorly informed is truly American |
| 18:36:35 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 18:37:04 | <EvanR> | oops I meant passionate |
| 18:37:27 | <dolio> | I would be surprised if there wasn't around a week of notice on the Haskell reddit. |
| 18:37:34 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 18:38:28 | <nitrix> | ddellacosta, I don't mind people protesting stuff -- some of the points I agree with and some I don't, like anything it's always nuanced. I don't like when it "infects" things that I believed were drama-free safe-harbours. |
| 18:39:24 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 18:39:24 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 18:39:24 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:39:38 | × | vandita quits (~vandit@178-164-208-245.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 18:39:50 | <nitrix> | ddellacosta, Just like in a workplace where you're there to focus on the work, do engineering and whatnot. It's not a place to digest the divisive religious/political/whatever news of the day. I just never liked engineering communities taking any stance, whatsoever. I want them to be neutral. |
| 18:39:52 | <ddellacosta> | Reddit is a company with a lot of investment that it has to show it can make a return on to people other than the users, it was never a safe harbor |
| 18:41:32 | → | vandita joins (~vandit@84-236-122-96.pool.digikabel.hu) |
| 18:41:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 18:42:10 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 18:43:07 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 18:45:06 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 18:48:01 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 18:48:20 | <nitrix> | I was referring to Haskellers and Haskell communities. |
| 18:48:39 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 18:50:19 | <nitrix> | I don't want to walk into one group of Haskellers that are strongly pushing some religious agenda, then walk into another group of Haskellers that are strongly pushing some political agenda, then some other group that goes on strikes for Reddit's pricing, and then another for gender/age/sexuality, like, this stuff is irrelevant. When I engage with a Haskell community, I expect to be talking about Haskell. |
| 18:50:48 | <nitrix> | The concept of professional neutrality shouldn't be something that needs to be explained. |
| 18:50:58 | <juri_> | hi. i'm from the free software community. |
| 18:51:03 | → | kriity joins (~kriity@c-76-155-235-153.hsd1.co.comcast.net) |
| 18:51:04 | <juri_> | i have a religious agenda. |
| 18:51:09 | <ddellacosta> | lol |
| 18:51:20 | <kriity> | rad as hell |
| 18:51:34 | <nitrix> | Wow. You're idiots. |
| 18:51:36 | ← | nitrix parts (~nitrix@user/nitrix) (Leaving) |
| 18:51:40 | <dolio> | Hahaha. |
| 18:51:41 | <kriity> | LOL |
| 18:51:43 | <juri_> | win! |
| 18:51:44 | <EvanR> | what in the world |
| 18:52:04 | <yushyin> | well, finally this episode is over |
| 18:52:14 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 18:53:02 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 18:53:25 | → | taupiqueur joins (~taupiqueu@2a02-842a-8180-4601-0906-7ddd-44ff-a642.rev.sfr.net) |
| 18:53:36 | <pyrex> | i am i think a little bit sad that i missed the flounce! |
| 18:53:55 | <pyrex> | i was kind of content to say "hey you are entitled to your _dubious_ opinion" but i guess there was some doubling down |
| 18:53:57 | <juri_> | I really am a free software zealot, and i find the general BSD nature of the haskell community troublesome. but, they do their thing, i do my thing, and hopefully haskell gets better / more used. |
| 18:54:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 18:54:16 | <pyrex> | i am trying to figure out what pissed them off so much! |
| 18:54:32 | <pyrex> | juri_: i don't think your comment was weird! |
| 18:54:33 | <kriity> | oh is there actual context here |
| 18:54:39 | <ddellacosta> | whoops and I was just going to apologize for misunderstanding |
| 18:55:07 | <pyrex> | kriity: i dunno! they were upset about the reddit blackout. (i personally support the reddit blackout) |
| 18:55:21 | <kriity> | ah |
| 18:55:21 | <Rembane> | pyrex: I think there's more to this than meets the eye, like a stomach bug. |
| 18:55:25 | <pyrex> | they described it as woke culture gone mad and complained about how they hate it when they go into software communities and it's suddenly a discussion of gender/age/sexuality |
| 18:55:25 | <ddellacosta> | I just don't understand why anyone needs to be so aggressive, and they didn't really respond to any points or explain what was wrong with it, as far as I can tell |
| 18:55:40 | <ddellacosta> | oh I guess that was it |
| 18:56:09 | <pyrex> | i think my approximate feeling is that like, i have been in very dumb social justice arguments in software communities and i also think that "this is a social justice argument and ipso facto i will treat it as dumb" is a really common derailing strategy |
| 18:56:25 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 18:56:26 | <ddellacosta> | yeah, that is definitely the case |
| 18:56:30 | <pyrex> | because like, i dunno, some communities do just have a latent level of racism and sexual harassment or w/e and you can't just not talk about it |
| 18:56:36 | <pyrex> | (because then it continues to happen) |
| 18:56:52 | <kriity> | software communities are 90% tgirls femboys and furries |
| 18:57:03 | <ddellacosta> | hahahaha |
| 18:57:25 | <pyrex> | yeaaaah, it's really common for half a room to silently be lgbtq because like, it really doesn't come up until someone is notably shitty about it and then it totaly does |
| 18:57:27 | <pyrex> | totally* |
| 18:58:06 | <EvanR> | I still kind of don't see the connection between all that and haskell reddit |
| 18:58:07 | <Rembane> | kriity: Hard agree in a good way. |
| 18:58:21 | <pyrex> | i agree that the reddit strike seems based on a different thing |
| 18:58:23 | <kriity> | hell yeah |
| 18:58:31 | <pyrex> | it seems more related to the perpetual war between platforms and their users |
| 18:58:40 | kriity | is now known as kritty |
| 18:58:44 | <EvanR> | nitrix is a long time community member, I'm sad |
| 18:58:48 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 18:58:50 | <pyrex> | i guess it's vaguely related in that usually the users who get the shaft first are in some minority group |
| 18:58:55 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 18:59:06 | <pyrex> | EvanR: i vaguely remember them from when i was active years ago? so i am guessing you are right |
| 18:59:18 | <EvanR> | yeah |
| 19:00:01 | <pyrex> | i guess i remember the notably idiotic run of "get brigaded by krainboltgreene's entire twitter friendcircle if you don't add a CoC" incidents from like five years ago |
| 19:00:11 | <pyrex> | or maybe it was longer? i saw that as blatant harassment with like, a figleaf of social justice concern |
| 19:00:20 | <kritty> | what exactly is being protested with the reddit thing? i heard about the api no longer being free, but i'd be kinda surprised to see this many people care about that |
| 19:00:39 | <EvanR> | sure, reddit seems to be a powder keg |
| 19:01:00 | <pyrex> | kritty: people are especially upset because Christian Selig and a few other 3pa devs are put in a very untenable situation by this, since they have subscription-powered apps that now can't provide service |
| 19:01:15 | <EvanR> | ddellacosta posted a pretty good summary of one issue earlier, it's probably in the logs? |
| 19:01:19 | <yushyin> | ironically, they did not stop discussing this topic here instead of -offtopic, even though __monty__ had offered to do so. |
| 19:01:25 | <kritty> | ah |
| 19:01:29 | <yushyin> | :) |
| 19:01:40 | <pyrex> | oh yes i'm sure there's something i'm missing. i don't remember seeing ddellacosta's post, but it's probably here somewhere |
| 19:01:41 | × | snek quits (sid280155@id-280155.lymington.irccloud.com) (Server closed connection) |
| 19:01:46 | <kritty> | oh he made Apollo cool |
| 19:01:50 | → | snek joins (sid280155@id-280155.lymington.irccloud.com) |
| 19:02:25 | <pyrex> | (EvanR: to be clear, i was bringing that up not because it's relevant to the reddit thing but because i think it was a radicalizing incident for several people who used to be cool where like, i literally agree with the side that was nominally aligned against social justice _in that specific incident_) |
| 19:02:37 | <EvanR> | kritty, https://ircbrowse.tomsmeding.com/browse/lchaskell?id=987279#trid987279 |
| 19:02:50 | <kritty> | ta |
| 19:03:06 | <pyrex> | (i'm mostly bringing it up rhetorically because re nitrix's culture war-adjacent opinions, i feel like if i didn't, there's probably silent observers who imagine i would literally never criticize people who are theoretically on my side) |
| 19:03:24 | <EvanR> | yeah |
| 19:04:17 | <pyrex> | i will admit i'm not really a fan of the "we're software developers, shouldn't we just do our jobs?" thing because sometimes our job might imply doing something actually bad |
| 19:05:12 | <pyrex> | i think i would feel weird throwing my developerhours into improving C++ because it seems like it would empower people who i do not think i should have power |
| 19:05:22 | <pyrex> | who i do not think should have power* |
| 19:05:24 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 19:05:30 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 19:05:36 | <jade[m]> | <kriity> "software communities are 90..." <- :3 |
| 19:06:01 | <pyrex> | (<- trans, otherkin) |
| 19:06:09 | × | leungbk quits (~user@2603-8000-1201-2dd2-d97b-9387-c7cb-2fed.res6.spectrum.com) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 19:06:19 | → | kritty_ joins (~crumb@c-76-155-235-153.hsd1.co.comcast.net) |
| 19:06:25 | <kritty_> | whoops |
| 19:06:28 | × | kritty quits (~kriity@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Client closed) |
| 19:06:29 | <pyrex> | welcome back! |
| 19:07:32 | <kritty_> | i decided to use an actual irc client now i'm so cool |
| 19:07:40 | <pyrex> | nice!! which did you pick? |
| 19:08:21 | <kritty_> | hexchat simply by virtue of it being at the top of the list |
| 19:08:31 | <pyrex> | valid choice! |
| 19:08:33 | <jade[m]> | pyrex: very cool :3 |
| 19:08:51 | <pyrex> | while you're here, you may want to get a cloak from libera: https://libera.chat/guides/cloaks |
| 19:09:08 | <pyrex> | it is not at all obligatory but it can hide some of your personal information in the future |
| 19:09:12 | <pyrex> | (ignore me if you already know this information!) |
| 19:09:14 | <kritty_> | ooo thanks |
| 19:09:20 | <EvanR> | is this channel going to get a boost from reddit refugees |
| 19:09:31 | <pyrex> | i'll have you know i'm here because it was my birthday yesterday |
| 19:09:35 | <pyrex> | i was nostalgic!!! |
| 19:09:38 | <kritty_> | that could be nice |
| 19:09:39 | <EvanR> | we've been leaking members to matrix and discord |
| 19:10:05 | <jade[m]> | pyrex: happy birthday! |
| 19:10:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 19:10:12 | <pyrex> | thank you!! |
| 19:10:12 | <ddellacosta> | I just find discord overwhelming |
| 19:10:23 | <kritty_> | i've been really annoyed with discord replacing forums lately |
| 19:10:30 | <kritty_> | irc has been pleasant |
| 19:10:36 | <jade[m]> | ddellacosta: I just like to avoid proprietary software :P |
| 19:10:44 | <Rembane> | Discord isn't a very good replacement for forums, so it's incredibly unfortunate that it's used that way. |
| 19:10:53 | <kritty_> | very true |
| 19:10:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 19:11:15 | <pyrex> | i like some features of discord but i do not think they will be responsible with their users in the future |
| 19:11:34 | <Rembane> | They'll probably derp out like all the others... |
| 19:11:40 | <ddellacosta> | jade[m]: I respect that! |
| 19:11:42 | <pyrex> | proprietary platforms very often realize "you're stuck" and then go for your wallet, or they try to target a segment of the users you're not in |
| 19:11:44 | <kritty_> | i fall under at least two stereotypes that are known to repeat this but, discord has gotten quite bloated |
| 19:11:49 | <kritty_> | painful to run |
| 19:12:28 | <pyrex> | i do think it is strange that people are moving from reddit to for-profit platforms |
| 19:13:06 | <dolio> | It would be strange if people actually learned their lesson this time. |
| 19:13:50 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 19:14:08 | <wns> | pyrex: reddit was a non-provit? |
| 19:14:14 | <kritty_> | ^ |
| 19:14:15 | <Rembane> | dolio: You know one of the more active volcanoes in Europe that has killed thousands in several eruptions? People still live on its foothills. |
| 19:14:20 | <pyrex> | i'm not saying reddit was a non-profit |
| 19:14:30 | <wns> | just that it wasn't making any? lol |
| 19:14:36 | <pyrex> | well, yes! |
| 19:15:00 | <pyrex> | i mean, you get screwed by one for-profit company using the flytrap model, i don't know why you immediately dive on a different one |
| 19:15:18 | <juri_> | irrational optimism? |
| 19:15:20 | <jade[m]> | climate change is also creeping up to kill every last one of us and everyone just shrugs and says "I guess it's an issue, but what can we do" |
| 19:15:20 | <pyrex> | of course for-profit companies provide great service initially at no price to you -- they're trying to acquire your data and they're trying to make you decide it would be psychologically hard to leave |
| 19:15:22 | <kritty_> | ah yeah |
| 19:15:42 | <EvanR> | I judge each new platform on the comfort of their off-boarding experience |
| 19:16:21 | × | kritty_ quits (~crumb@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Leaving) |
| 19:16:58 | <pyrex> | (i don't know yet if i think climate change is going to kill literally everyone) |
| 19:17:24 | <pyrex> | (that is not a defense of climate change! i am just expressing skepticism of one of your premises here) |
| 19:17:40 | <jade[m]> | pyrex: if things continue the way they are... yes |
| 19:17:54 | → | kritty joins (~crumb@c-76-155-235-153.hsd1.co.comcast.net) |
| 19:19:29 | <kritty> | open source string & cup telephones |
| 19:20:41 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 19:21:23 | <Rembane> | The best TCP/IP carrier. |
| 19:21:29 | <Rembane> | Mesh networks ftw! |
| 19:21:42 | <EvanR> | raven scrolls |
| 19:22:05 | <darkling> | Mechanical line-of-sight telegraph. |
| 19:22:29 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 19:22:52 | <jade[m]> | https://de.m.wikipedia.org/wiki/Internet_Protocol_over_Avian_Carriers |
| 19:23:44 | <jade[m]> | s/de\.m/en |
| 19:24:24 | → | __monty__ joins (~toonn@user/toonn) |
| 19:24:57 | <kritty> | jade[m]: ideal career tbh |
| 19:25:15 | <kritty> | ip over telegram |
| 19:25:33 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 19:25:46 | <Rembane> | I'm incredibly fond of USB-stick on courier via train. |
| 19:26:20 | → | dcoutts joins (~duncan@81.145.206.41) |
| 19:27:20 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 19:27:46 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 19:29:05 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) |
| 19:32:11 | → | titibandit joins (~titibandi@user/titibandit) |
| 19:32:43 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 19:33:45 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4470:5eab:eb0a:5ff1) (Ping timeout: 260 seconds) |
| 19:35:31 | × | reverse quits (~inversed@188.220.172.130) (Ping timeout: 250 seconds) |
| 19:36:05 | × | dcoutts quits (~duncan@81.145.206.41) (Ping timeout: 260 seconds) |
| 19:38:41 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 19:39:01 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 19:39:36 | × | Yumemi quits (~Yumemi@chamoin.net) (Server closed connection) |
| 19:41:57 | → | Yumemi joins (~Yumemi@chamoin.net) |
| 19:43:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 19:43:29 | → | reverse joins (~inversed@188.220.172.130) |
| 19:44:22 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 19:44:43 | × | acidjnk quits (~acidjnk@p200300d6e7072f4135445992d9d2781f.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 19:46:06 | → | kupi_ joins (uid212005@id-212005.hampstead.irccloud.com) |
| 19:47:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 19:47:44 | <chromoblob> | jade[m]: what's most funny, though, is the edit war over whether to add a dead pigeon's photo as an illustration of packet loss https://en.wikipedia.org/wiki/Talk:IP_over_Avian_Carriers#RfC_on_image_of_a_dead_pigeon |
| 19:48:37 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 19:48:52 | <chromoblob> | and now the page is edit protected |
| 19:49:04 | <chromoblob> | temporarily |
| 19:49:04 | <EvanR> | lol |
| 19:49:06 | <wns> | lol |
| 19:49:07 | <kritty> | lmfao |
| 19:49:19 | <EvanR> | those are the kind of debates we need more of |
| 19:50:07 | → | vandita_ joins (~vandit@94-21-157-160.pool.digikabel.hu) |
| 19:50:54 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 19:50:55 | <kritty> | EvanR: school of athens dot png |
| 19:51:20 | → | Pickchea joins (~private@user/pickchea) |
| 19:53:35 | × | vandita quits (~vandit@84-236-122-96.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 20:00:47 | → | ft joins (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 20:06:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 20:07:53 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 20:08:02 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 20:08:49 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 20:09:47 | → | kn07___ joins (~kn07@5.12.24.174) |
| 20:10:39 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 20:11:55 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:12:20 | × | P1RATEZ quits (piratez@user/p1ratez) (Remote host closed the connection) |
| 20:13:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 20:14:07 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 20:14:45 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 20:15:24 | <segfaultfizzbuzz> | hmm haskell-offtopic was a bit slow to respond to this so i am trying here,... please do feel free to tell me to go away on this question: what is the relationship, if any, between functional programming and analog integrated circuits? |
| 20:15:54 | <segfaultfizzbuzz> | by that i mean, can it be useful to describe analog integrated circuits with functional programming? is there an established method for doing this? |
| 20:16:43 | <zero> | segfaultfizzbuzz: does that question stem from something you have read? |
| 20:17:13 | <segfaultfizzbuzz> | no i just myself have a lot of trouble looking at circuit diagrams for anything which is not rather trivial |
| 20:17:19 | <EvanR> | maybe you object that this video seems to deal with digital circuits, but I don't know if that matters here https://www.youtube.com/watch?v=SVRYcrhRCes |
| 20:17:31 | <EvanR> | conal starts with functional programming and ends up with circuits |
| 20:17:42 | <EvanR> | by changing the underlying category |
| 20:18:01 | <segfaultfizzbuzz> | and i started thinking that it's kinda strange that circuits are basically always coded and represented in "assembly" but programs use abstraction to improve readability |
| 20:18:52 | <segfaultfizzbuzz> | yeah i know there is such a thing as clash and that haskell and bluespec are cousins and soforth,... i don't quite know the language constraints there but for digital circuits it isn't too difficult to imagine the interrelationship there... analog layouts are much more difficult however |
| 20:18:58 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 20:19:04 | <EvanR> | are they? |
| 20:19:10 | <EvanR> | a circuit is a circuit |
| 20:19:25 | <chromoblob> | segfaultfizzbuzz: Very Large Integral Circuits use abstraction |
| 20:19:40 | <segfaultfizzbuzz> | well,... a circuit may be a mapping from input to output... perhaps? or maybe only certain analog circuits? |
| 20:19:46 | <geekosaur> | verilog and its libraries |
| 20:19:55 | <EvanR> | a circuit is a bunch of devices connected with wires |
| 20:20:08 | → | vandita joins (~vandit@85-238-93-40.pool.digikabel.hu) |
| 20:20:10 | <EvanR> | input and output is subjective |
| 20:20:22 | <chromoblob> | nooooo |
| 20:20:24 | <chromoblob> | totally objective.... |
| 20:20:49 | <segfaultfizzbuzz> | ...wel then what would the representation be |
| 20:20:51 | <geekosaur> | until you have feedback/feedforward |
| 20:21:13 | <segfaultfizzbuzz> | feedback ~ recursion...? |
| 20:21:35 | <geekosaur> | fixpoint combinator 🙂 |
| 20:21:37 | <chromoblob> | feedback is like fix |
| 20:22:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 20:23:21 | × | vandita_ quits (~vandit@94-21-157-160.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 20:24:08 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 20:24:53 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 20:24:55 | → | shriekingnoise_ joins (~shrieking@186.137.175.87) |
| 20:25:01 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 20:25:04 | <segfaultfizzbuzz> | well we have some leads on an analog circuit which are exposed to the outside world,... |
| 20:25:52 | <EvanR> | real world is deeply magical |
| 20:26:21 | <segfaultfizzbuzz> | if we don't have inputs and outputs then perhaps what we have is some kind of constraint or energy function of the currents and voltages...? |
| 20:27:28 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 255 seconds) |
| 20:27:29 | <geekosaur> | and reactances |
| 20:28:15 | <segfaultfizzbuzz> | i also struggle with how causality is represented in language around circuits |
| 20:29:01 | <geekosaur> | the analog world is rather more complex than most computer languages can represent (verilog/vhdl being a partial exception, but even it prefers to represent digital circuits) |
| 20:29:25 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 20:29:39 | <segfaultfizzbuzz> | i mean if it exists it can be represented |
| 20:29:47 | <EvanR> | when you said circuit I thought you were talking about the connectivity and physical parameters of the pieces parts. But now I see you're talking about the dynamics of current and voltage |
| 20:29:57 | <segfaultfizzbuzz> | it's not like this stuff transcends the standard model of physics or something ;-) |
| 20:30:04 | <EvanR> | like, a car vs simulation of a running car |
| 20:30:15 | <geekosaur> | "it can be represented" is a much lower bar than you imagine |
| 20:30:26 | <geekosaur> | we can't even model a hydrogen atom… |
| 20:30:37 | <segfaultfizzbuzz> | but the car exists only because there are specifications on the components |
| 20:30:43 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 20:30:47 | <geekosaur> | we know how to represent it, but we can't _solve_ it |
| 20:30:53 | <segfaultfizzbuzz> | you aren't studying a unique alien artifact from space |
| 20:30:58 | <EvanR> | car exists but you wouldn't download one |
| 20:31:04 | <chromoblob> | lol |
| 20:31:40 | <geekosaur> | most analog circuits can only be numerically approximated |
| 20:31:47 | <segfaultfizzbuzz> | what, no, i completely disagree, the hydrogen atom can be modeled to an absolutely phenomenal degree of precision |
| 20:31:59 | <geekosaur> | uh |
| 20:32:06 | <geekosaur> | tell that to physicists |
| 20:32:20 | <geekosaur> | go solve the schrödinger equation for one |
| 20:32:27 | <segfaultfizzbuzz> | so if analog circuits can only be numerically approximated, are you saying that analog design is intrinstically empirical? |
| 20:32:37 | <segfaultfizzbuzz> | more like chemistry? |
| 20:32:54 | <chromoblob> | segfaultfizzbuzz: it works if models hold |
| 20:33:00 | <EvanR> | people get by with their subject-matter appropriate models |
| 20:33:25 | → | jlwoodwa joins (~jlwoodwa@172.58.84.226) |
| 20:33:27 | <chromoblob> | when models are good, you can design "theoretically" |
| 20:33:28 | <geekosaur> | there are laws which work fairly well in practice (and indeed we wouldn't have reliable digital circuits if we didn';t, because digital circuits are ultimately built on analog circuitry) |
| 20:33:45 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:69fa:5598:10e8:8066) |
| 20:33:46 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 255 seconds) |
| 20:34:10 | <geekosaur> | but, for example, you may have noticed that we no longer see CPU speedups but things like more cores. the approximations _break down_ |
| 20:34:29 | → | titiband1t joins (~titibandi@user/titibandit) |
| 20:34:32 | <geekosaur> | and then you get things like signal leakage |
| 20:35:04 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 20:35:09 | × | driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 20:35:12 | <segfaultfizzbuzz> | geekosaur: https://en.wikipedia.org/wiki/Fine_structure we even know relativistic corrections, corrections imposed by the effect of the nucleus, etc |
| 20:35:23 | <segfaultfizzbuzz> | geekosaur: not to mention qed https://en.wikipedia.org/wiki/Lamb_shift |
| 20:35:31 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 20:35:35 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 20:35:58 | <segfaultfizzbuzz> | geekosaur: i think the spectrum can be calculated from first principles to something like 14 significant digits (??) if i remember correctly |
| 20:36:04 | <geekosaur> | anyway precisely modeling any but the simplest analog circuit means solving integrals we mostly can't do except numerically |
| 20:36:16 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 20:36:38 | <segfaultfizzbuzz> | geekosaur: well that's interesting, |
| 20:36:57 | <geekosaur> | you can stop pinging me for every single message any time now |
| 20:37:24 | <segfaultfizzbuzz> | ...but if a company makes analog circuitry, they cannot manufacture circuits unless the components have specifications |
| 20:37:37 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 20:37:47 | <segfaultfizzbuzz> | and there are no specifications unless there is an abstract representation,... unless you are saying that they say |
| 20:38:01 | <segfaultfizzbuzz> | "gosh we don't know why this japanese capacitor makes this circuit work, but it sure as hell does" |
| 20:38:12 | <geekosaur> | excuse me? you can have specifications witout an abstract representation |
| 20:38:27 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 20:38:30 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:69fa:5598:10e8:8066) (Ping timeout: 260 seconds) |
| 20:38:41 | <geekosaur> | most of engineering (not just EE) is built on practical specifications, not first principles |
| 20:38:49 | <segfaultfizzbuzz> | so the specification says to use specific physical components from specific suppliers...? that seems to be a bit odd |
| 20:39:13 | <geekosaur> | where did you get that from? |
| 20:39:32 | <segfaultfizzbuzz> | well either you can abstract the circuit or you can't, i don't see a middle ground |
| 20:39:44 | <geekosaur> | maybe your definition of abstract differs |
| 20:39:52 | <segfaultfizzbuzz> | abstract means that i can write down on paper how to make the circuit, hand it to somebody, and then that person could rebuild the circuit on mars from scratch |
| 20:40:17 | <geekosaur> | that's one possible definitiion of "abstract" |
| 20:40:30 | <segfaultfizzbuzz> | cannot abstract means "use this special mineral from this particular mine to make this particular component" |
| 20:40:45 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 20:41:05 | <geekosaur> | okay, we're using very different definitions of "abstract" |
| 20:41:16 | <pyrex> | i feel like there's a lot of middle ground between your version of can abstract and cannot abstract |
| 20:41:24 | <pyrex> | presumably "can abstract" means one thing and "cannot abstract" is just the negation of that |
| 20:41:30 | <pyrex> | they're not two separate claims |
| 20:41:35 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 20:42:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 20:42:59 | <EvanR> | segfaultfizzbuzz, you started with functional programming, which is pretty abstract. Now we are dwelling heavily on the most concrete possible physics we can tolerate? |
| 20:43:01 | <geekosaur> | "abstract" to me means we can describe in terms of interactions between not components but (in this case) forces (voltage, amperage, resistance, capacitance, etc.) |
| 20:43:19 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 20:43:20 | <geekosaur> | I should have known this when you ignored the Schrödinger's equation thing |
| 20:43:32 | <geekosaur> | _that_ is abstraction |
| 20:43:57 | <EvanR> | measurements of material properties and number of decimals is getting a bit concrete don't you think |
| 20:44:12 | <akadude[m]> | Can anyone give advice on thread-local in Haskell? I've found two libraries on Hackage, thread-utils-context doesn't have docs (and repo link is broken) and thread-local-storage have little downloads and doesn't promise garbage collection |
| 20:47:34 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 20:48:09 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:48:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 20:48:57 | <jade[m]> | what behavior do you expect from the package? |
| 20:49:00 | <jade[m]> | like what do you need |
| 20:49:55 | × | driib quits (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 20:50:37 | → | driib joins (~driib@176.57.184.141) |
| 20:51:31 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 20:52:13 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 20:53:27 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 20:54:33 | × | kritty quits (~crumb@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Leaving) |
| 20:57:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 20:57:51 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 20:58:51 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 20:59:41 | × | megaTherion quits (~therion@unix.io) (Server closed connection) |
| 20:59:52 | → | megaTherion joins (~therion@unix.io) |
| 21:01:44 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 21:02:52 | akadude[m] | sent a code block: https://libera.ems.host/_matrix/media/v3/download/libera.chat/2ba710f9f00523afe75c0e8cfc8208d00b2d0738 |
| 21:03:40 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds) |
| 21:05:18 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 21:08:30 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 21:10:05 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 21:10:42 | → | ubert joins (~Thunderbi@p200300ecdf1a757d901d7e7125d06c12.dip0.t-ipconnect.de) |
| 21:14:37 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 21:15:25 | <geekosaur> | there is no way currently to promise garbage collection, which has been annoying someone else recently |
| 21:15:34 | <geekosaur> | also this only makes sense on a bound thread |
| 21:15:34 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 21:16:49 | <akadude[m]> | "Bound thread" means a greenthread pinned to a "real" thread? |
| 21:17:44 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 21:18:34 | <yushyin> | https://hackage.haskell.org/package/base-4.18.0.0/docs/Control-Concurrent.html#g:8 |
| 21:20:07 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 21:20:49 | <akadude[m]> | Well I don't need to do any FFI |
| 21:21:07 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 21:21:20 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 21:21:53 | × | titiband1t quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 21:22:39 | <geekosaur> | that isn;t the important part |
| 21:22:51 | <geekosaur> | you will not run on the same OS thread unless you use a bound thread |
| 21:23:08 | <geekosaur> | (`forkOS`) |
| 21:25:37 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 21:25:46 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 21:29:47 | <akadude[m]> | Doc says "we need `forkOS` because if a foreign library is called from a thread created using forkIO, it won't have access to any thread-local state" |
| 21:29:47 | <akadude[m]> | I don't understand - I am not going to mix thread local memory in my program and FFI |
| 21:30:39 | <glguy> | If the foreign library is using thread-local-state, you need to ensure that each function you invoke in the library is run in the same thread as the previous function you invoked |
| 21:30:50 | <geekosaur> | no, you're using it directly in Haskell instead of via FFI. You still need to be on the same OS thread for it to be there |
| 21:30:53 | <glguy> | doesn't matter if you're using local state in your haskell code |
| 21:32:14 | × | fbytez quits (~uid@2001:bc8:2117:100::) (Quit: byte byte) |
| 21:32:25 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 21:32:35 | → | fbytez joins (~uid@2001:bc8:2117:100::) |
| 21:32:46 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 21:33:44 | <akadude[m]> | geekosaur: That is true only if I use pthread's implementation of thread-local storage? |
| 21:34:36 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 21:34:57 | <akadude[m]> | (Or any other implementation that depends on "real" threads like Window's implementation probably) |
| 21:35:06 | <akadude[m]> | s/Window/Windows/, s/s// |
| 21:37:13 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 21:37:45 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 21:38:31 | <geekosaur> | if you were looking for a Haskell one, it'd have to be built into the RTS, not provided as an add-on package |
| 21:39:10 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 21:39:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 21:39:29 | <akadude[m]> | Why? |
| 21:39:58 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 21:40:44 | × | ubert quits (~Thunderbi@p200300ecdf1a757d901d7e7125d06c12.dip0.t-ipconnect.de) (Quit: ubert) |
| 21:41:11 | × | shailangsa quits (~shailangs@86.186.133.102) (Ping timeout: 250 seconds) |
| 21:42:40 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 21:43:17 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 21:43:41 | × | Errdonald30 quits (~Errdonald@178.46.90.65) (Quit: Client closed) |
| 21:45:08 | × | foul_owl quits (~kerry@71.212.137.212) (Quit: WeeChat 2.3) |
| 21:46:49 | <geekosaur> | providing it as e.g. a key-value store based on a ThreadId (if that's even possible, as it's neither Ord nor Hashable) would prevent garbage-collecting the thread. see https://hackage.haskell.org/package/thread-local-storage-0.2/docs/Data-TLS-GHC.html for example, and https://downloads.haskell.org/ghc/9.2.5/docs/html/libraries/base-4.16.4.0/Control-Concurrent.html#t:ThreadId for why |
| 21:47:12 | <geekosaur> | and note that the other implementation uses pthreads and therefore requires forkOS |
| 21:47:44 | <geekosaur> | otherwise this needs to be managed as part of the RTS's thread data |
| 21:47:55 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 21:48:23 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 268 seconds) |
| 21:50:08 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 21:51:15 | × | fbytez quits (~uid@2001:bc8:2117:100::) (Quit: byte byte) |
| 21:52:29 | × | mei quits (~mei@user/mei) (Ping timeout: 265 seconds) |
| 21:52:31 | <akadude[m]> | ThreadId is Ord :\ |
| 21:52:31 | <akadude[m]> | But `Weak ThreadId` is not, unfortunately |
| 21:52:40 | → | fbytez joins (~uid@2001:bc8:2117:100::) |
| 21:55:06 | × | kupi_ quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:56:15 | → | mei joins (~mei@user/mei) |
| 21:57:10 | × | lbseale quits (~quassel@user/ep1ctetus) (Server closed connection) |
| 21:57:26 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 21:57:41 | × | kn07___ quits (~kn07@5.12.24.174) (Quit: Leaving) |
| 21:58:12 | → | pavonia joins (~user@user/siracusa) |
| 21:59:16 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 22:00:13 | → | segfaultfizzbuzz joins (~segfaultf@23.93.74.212) |
| 22:03:43 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 22:04:40 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 22:05:02 | × | hrberg quits (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 268 seconds) |
| 22:07:52 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 22:09:10 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 22:10:13 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 22:14:07 | × | segfaultfizzbuzz quits (~segfaultf@23.93.74.212) (Ping timeout: 250 seconds) |
| 22:14:45 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:15:20 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 22:15:46 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 22:17:59 | × | oac_ quits (~oac@72-50-214-210.fttp.usinternet.com) (Ping timeout: 268 seconds) |
| 22:20:25 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 22:21:17 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 22:25:49 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 22:26:50 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 22:27:01 | × | santiagopim quits (~user@90.167.66.131) (Ping timeout: 260 seconds) |
| 22:29:37 | × | fiddlerwoaroof_ quits (~fiddlerwo@user/fiddlerwoaroof) (Server closed connection) |
| 22:30:09 | → | fiddlerwoaroof_ joins (~fiddlerwo@user/fiddlerwoaroof) |
| 22:31:05 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 240 seconds) |
| 22:31:40 | × | mei quits (~mei@user/mei) (Ping timeout: 255 seconds) |
| 22:34:30 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:35:31 | → | mei joins (~mei@user/mei) |
| 22:37:25 | → | img joins (~img@user/img) |
| 22:37:54 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 22:37:56 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:37:57 | × | elain4 quits (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:38:10 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:782b:e4a2:bdc6:e185) |
| 22:39:21 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 22:39:24 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 22:39:48 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 22:42:45 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:782b:e4a2:bdc6:e185) (Ping timeout: 260 seconds) |
| 22:42:45 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 260 seconds) |
| 22:43:49 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 22:45:38 | × | APic quits (apic@apic.name) (Server closed connection) |
| 22:45:47 | × | gurkenglas quits (~user@dynamic-046-114-176-034.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 22:45:50 | → | APic joins (apic@apic.name) |
| 22:46:58 | × | jlwoodwa quits (~jlwoodwa@172.58.84.226) (Ping timeout: 255 seconds) |
| 22:48:21 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 22:48:59 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 22:49:31 | → | kupi_ joins (uid212005@2a03:5180:f:4::3:3c25) |
| 22:49:50 | × | myme quits (~myme@2a01:799:d60:e400:aea4:e4cc:8331:e0cb) (Server closed connection) |
| 22:50:36 | → | myme joins (~myme@2a01:799:d60:e400:8cc9:2abe:579d:d46f) |
| 22:52:22 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 22:53:43 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 255 seconds) |
| 22:54:33 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 22:59:40 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds) |
| 22:59:49 | → | cheater joins (~Username@user/cheater) |
| 23:00:17 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 23:02:47 | → | mauke_ joins (~mauke@user/mauke) |
| 23:04:59 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 265 seconds) |
| 23:06:05 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 260 seconds) |
| 23:06:06 | mauke_ | is now known as mauke |
| 23:10:18 | × | xff0x quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 265 seconds) |
| 23:10:50 | × | hackyhacker quits (~hackyhack@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Server closed connection) |
| 23:11:05 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 23:11:10 | → | hackyhacker joins (~hackyhack@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) |
| 23:11:11 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 23:11:31 | → | dhruvasagar joins (~dhruvasag@49.207.218.223) |
| 23:12:08 | → | xff0x joins (~xff0x@178.255.149.135) |
| 23:14:32 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 23:15:42 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 23:16:06 | × | dhruvasagar quits (~dhruvasag@49.207.218.223) (Ping timeout: 250 seconds) |
| 23:17:30 | × | m5zs7k quits (aquares@web10.mydevil.net) (Server closed connection) |
| 23:17:49 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 23:21:10 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Server closed connection) |
| 23:21:18 | × | xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 250 seconds) |
| 23:21:29 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 23:22:11 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 23:22:58 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 255 seconds) |
| 23:23:29 | → | xff0x joins (~xff0x@178.255.149.135) |
| 23:24:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 23:26:17 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 23:26:53 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 23:27:16 | → | dcoutts joins (~duncan@212.187.244.86) |
| 23:28:30 | × | haritz quits (~hrtz@user/haritz) (Server closed connection) |
| 23:28:48 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 23:28:48 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 23:28:48 | → | haritz joins (~hrtz@user/haritz) |
| 23:29:10 | × | mrmr quits (~mrmr@user/mrmr) (Server closed connection) |
| 23:29:29 | → | mrmr joins (~mrmr@user/mrmr) |
| 23:30:18 | → | smalltalkman joins (uid545680@2a03:5180:f:4::8:5390) |
| 23:32:52 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:32:52 | × | xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 255 seconds) |
| 23:33:14 | × | dcoutts quits (~duncan@212.187.244.86) (Remote host closed the connection) |
| 23:33:33 | → | dcoutts joins (~duncan@212.187.244.86) |
| 23:34:48 | → | xff0x joins (~xff0x@2405:6580:b080:900:3687:e69a:4c02:e9f) |
| 23:35:38 | → | dcoutts_ joins (~duncan@185.201.60.219) |
| 23:35:39 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 23:36:50 | × | incertia quits (~incertia@209.122.71.127) (Server closed connection) |
| 23:38:10 | × | dcoutts quits (~duncan@212.187.244.86) (Ping timeout: 260 seconds) |
| 23:38:32 | → | incertia joins (~incertia@209.122.71.127) |
| 23:43:20 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 23:45:06 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 23:46:57 | × | takuan quits (~takuan@178.116.218.225) (Remote host closed the connection) |
| 23:49:38 | × | Techcable quits (~Techcable@user/Techcable) (Server closed connection) |
| 23:49:45 | → | Techcable joins (~Techcable@user/Techcable) |
| 23:54:48 | × | dcoutts_ quits (~duncan@185.201.60.219) (Ping timeout: 268 seconds) |
| 23:54:56 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 23:55:30 | → | dcoutts_ joins (~duncan@185.201.60.13) |
| 23:55:43 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 23:55:50 | × | sllk_ quits (~sllk@vps-73d553ae.vps.ovh.net) (Server closed connection) |
| 23:55:59 | → | sllk joins (~sllk@vps-73d553ae.vps.ovh.net) |
| 23:59:11 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
All times are in UTC on 2023-06-12.