| 2024-05-15 00:01:12 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-15 00:04:21 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-15 00:04:47 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-15 00:07:13 +0200 | mei | (~mei@user/mei) |
| 2024-05-15 00:09:55 +0200 | immae | (~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 3.3) |
| 2024-05-15 00:10:52 +0200 | AlexNoo_ | (~AlexNoo@178.34.162.221) |
| 2024-05-15 00:11:04 +0200 | immae | (~immae@2a01:4f8:141:53e7::) |
| 2024-05-15 00:13:47 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2024-05-15 00:14:11 +0200 | AlexZenon | (~alzenon@178.34.162.125) (Ping timeout: 272 seconds) |
| 2024-05-15 00:14:15 +0200 | AlexNoo | (~AlexNoo@178.34.162.125) (Ping timeout: 255 seconds) |
| 2024-05-15 00:19:50 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-05-15 00:26:12 +0200 | AlexZenon | (~alzenon@178.34.162.221) |
| 2024-05-15 00:28:45 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc51e96b24be77fae744.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-05-15 00:32:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-15 00:38:24 +0200 | michalz | (~michalz@185.246.207.200) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-15 00:43:19 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 2024-05-15 00:44:43 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-15 00:50:44 +0200 | yin | zero |
| 2024-05-15 00:50:57 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2024-05-15 00:54:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-05-15 01:05:39 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-15 01:07:13 +0200 | talukara | (~talukara@user/talukara) |
| 2024-05-15 01:09:54 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-05-15 01:10:14 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-05-15 01:10:39 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-15 01:11:14 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-15 01:13:38 +0200 | mei | (~mei@user/mei) |
| 2024-05-15 01:20:04 +0200 | talukara | (~talukara@user/talukara) (Quit: I closed IRC) |
| 2024-05-15 01:21:01 +0200 | pavonia | (~user@user/siracusa) |
| 2024-05-15 01:26:13 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-15 01:28:39 +0200 | talukara | (~talukara@user/talukara) |
| 2024-05-15 01:35:24 +0200 | sadome | (~sadome@182.69.182.31) |
| 2024-05-15 01:35:24 +0200 | sadome | (~sadome@182.69.182.31) (Changing host) |
| 2024-05-15 01:35:24 +0200 | sadome | (~sadome@user/sadome) |
| 2024-05-15 01:35:24 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
| 2024-05-15 01:36:07 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-15 01:48:06 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 2024-05-15 01:59:14 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2024-05-15 02:01:02 +0200 | talukara_ | (~talukara@user/talukara) |
| 2024-05-15 02:02:26 +0200 | talukara_ | (~talukara@user/talukara) () |
| 2024-05-15 02:05:49 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-05-15 02:15:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-15 02:23:11 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 256 seconds) |
| 2024-05-15 02:31:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-05-15 02:34:41 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-15 02:40:05 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-05-15 02:41:11 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-05-15 02:42:22 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-05-15 02:44:28 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-15 02:59:07 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-15 03:03:52 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 260 seconds) |
| 2024-05-15 03:04:12 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-05-15 03:05:23 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2024-05-15 03:10:47 +0200 | otto_s | (~user@p5de2fc4f.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-05-15 03:12:14 +0200 | otto_s | (~user@p5de2fa8d.dip0.t-ipconnect.de) |
| 2024-05-15 03:17:59 +0200 | xff0x | (~xff0x@ai113088.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 2024-05-15 03:18:52 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-05-15 03:19:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-15 03:19:44 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-05-15 03:23:46 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-15 03:24:30 +0200 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-15 03:25:45 +0200 | koz | (~koz@121.99.240.58) |
| 2024-05-15 03:26:10 +0200 | mei | (~mei@user/mei) |
| 2024-05-15 03:27:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-05-15 03:29:03 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2024-05-15 03:29:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-15 03:40:11 +0200 | talukara | (~talukara@user/talukara) (Remote host closed the connection) |
| 2024-05-15 03:53:25 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-05-15 03:54:38 +0200 | talukara | (~talukara@user/talukara) |
| 2024-05-15 03:54:38 +0200 | talukara | (~talukara@user/talukara) (Client Quit) |
| 2024-05-15 03:54:58 +0200 | talukara | (~talukara@user/talukara) |
| 2024-05-15 04:00:42 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-05-15 04:00:42 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-05-15 04:02:45 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-15 04:04:05 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-05-15 04:04:12 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-15 04:06:10 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-15 04:12:35 +0200 | td_ | (~td@i53870907.versanet.de) (Ping timeout: 252 seconds) |
| 2024-05-15 04:14:19 +0200 | td_ | (~td@i53870936.versanet.de) |
| 2024-05-15 04:18:39 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-05-15 04:20:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-15 04:23:25 +0200 | thaliaa | (uid486183@id-486183.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-15 04:26:04 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-05-15 04:28:57 +0200 | Square | (~Square@user/square) |
| 2024-05-15 04:31:37 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-15 04:35:07 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 272 seconds) |
| 2024-05-15 04:39:28 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-05-15 04:39:45 +0200 | gorignak | (~gorignak@user/gorignak) |
| 2024-05-15 05:03:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-15 05:16:12 +0200 | zero | (~yin@user/zero) (Ping timeout: 255 seconds) |
| 2024-05-15 05:20:26 +0200 | zero | (~yin@user/zero) |
| 2024-05-15 05:27:12 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-15 05:29:36 +0200 | mei | (~mei@user/mei) |
| 2024-05-15 05:36:27 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-15 05:44:52 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-05-15 05:55:06 +0200 | aforemny | (~aforemny@2001:9e8:6ced:bf00:55ed:d004:4aaa:1f0a) |
| 2024-05-15 05:55:41 +0200 | aforemny_ | (~aforemny@i59F516F1.versanet.de) (Ping timeout: 256 seconds) |
| 2024-05-15 06:15:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-05-15 06:16:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-15 06:20:59 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-15 06:27:52 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-15 06:31:18 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2024-05-15 06:32:20 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-15 06:34:45 +0200 | mei | (~mei@user/mei) |
| 2024-05-15 06:35:44 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-05-15 06:44:10 +0200 | biberu | (~biberu@user/biberu) |
| 2024-05-15 06:49:59 +0200 | gorignak | (~gorignak@user/gorignak) (Remote host closed the connection) |
| 2024-05-15 06:59:19 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-05-15 07:00:18 +0200 | talukara | (~talukara@user/talukara) (Quit: I closed IRC (probably gonna sleep)) |
| 2024-05-15 07:01:01 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-15 07:05:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-15 07:06:37 +0200 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-05-15 07:27:34 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-15 07:30:05 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-15 07:31:03 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-05-15 07:33:23 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-05-15 07:33:35 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc38450b2d9b476c9077.dip0.t-ipconnect.de) |
| 2024-05-15 07:36:46 +0200 | michalz | (~michalz@185.246.207.205) |
| 2024-05-15 07:37:43 +0200 | michalz | (~michalz@185.246.207.205) (Client Quit) |
| 2024-05-15 07:40:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-05-15 07:40:39 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-15 07:41:40 +0200 | euleritian | (~euleritia@dynamic-176-006-195-027.176.6.pool.telefonica.de) |
| 2024-05-15 07:42:50 +0200 | michalz | (~michalz@185.246.207.193) |
| 2024-05-15 07:43:20 +0200 | zero | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-05-15 07:48:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-15 07:57:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-15 08:01:48 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-05-15 08:03:35 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-05-15 08:06:32 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-15 08:08:52 +0200 | monochrom | (trebla@216.138.220.146) |
| 2024-05-15 08:11:18 +0200 | laker | (~laker78@user/laker78) (Quit: Ping timeout (120 seconds)) |
| 2024-05-15 08:11:30 +0200 | laker | (~laker78@user/laker78) |
| 2024-05-15 08:12:34 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-05-15 08:15:42 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-15 08:18:06 +0200 | mei | (~mei@user/mei) |
| 2024-05-15 08:37:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-15 08:38:48 +0200 | gorignak | (~gorignak@user/gorignak) |
| 2024-05-15 08:40:11 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection) |
| 2024-05-15 08:42:09 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) |
| 2024-05-15 08:43:44 +0200 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 252 seconds) |
| 2024-05-15 08:44:58 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:232d:2352:35f8:f282) |
| 2024-05-15 08:45:39 +0200 | <ph88> | Does someone know a function similar to this https://hackage.haskell.org/package/base-4.19.1.0/docs/Data-List.html#v:-92--92- but it deletes all elements from the first list that are find in the second list? Instead of deleting only the first occurrence? |
| 2024-05-15 08:47:12 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2024-05-15 08:48:31 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2024-05-15 08:50:09 +0200 | <probie> | :t foldr (filter . (/=)) |
| 2024-05-15 08:50:10 +0200 | <lambdabot> | (Foldable t, Eq a) => [a] -> t a -> [a] |
| 2024-05-15 08:50:30 +0200 | <probie> | > foldr (filter . (/=)) [1,2,3,4,5,4,3,2,1] [1,3] |
| 2024-05-15 08:50:31 +0200 | <lambdabot> | [2,4,5,4,2] |
| 2024-05-15 08:51:29 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-15 08:56:27 +0200 | d34df00d | (~d34df00d@2600:1702:4f1b:7c10::43) (Ping timeout: 260 seconds) |
| 2024-05-15 08:58:37 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 2024-05-15 09:01:41 +0200 | <tomsmeding> | \a b -> let bs = Set.fromList b in filter (`Set.notMember` bs) a |
| 2024-05-15 09:02:59 +0200 | JamesMowery | (~JamesMowe@ip98-171-80-211.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 2024-05-15 09:03:04 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-15 09:03:13 +0200 | philopsos1 | (~caecilius@user/philopsos) (Client Quit) |
| 2024-05-15 09:03:29 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-15 09:04:21 +0200 | philopsos1 | (~caecilius@user/philopsos) (Client Quit) |
| 2024-05-15 09:04:37 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-15 09:05:23 +0200 | euleritian | (~euleritia@dynamic-176-006-195-027.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-15 09:05:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-15 09:07:30 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-05-15 09:23:24 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-15 09:23:43 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds) |
| 2024-05-15 09:24:15 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-15 09:27:33 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:232d:2352:35f8:f282) (Ping timeout: 268 seconds) |
| 2024-05-15 09:27:37 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) |
| 2024-05-15 09:31:03 +0200 | JamesMowery | (~JamesMowe@ip174-74-159-82.ph.ph.cox.net) |
| 2024-05-15 09:32:17 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
| 2024-05-15 09:35:18 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-05-15 09:39:31 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:10df:b906:15db:a9b1) |
| 2024-05-15 09:40:23 +0200 | <ph88> | tomsmeding, is the implementation with Set faster ? |
| 2024-05-15 09:40:50 +0200 | <ncf> | O(n log m) instead of O(nm) |
| 2024-05-15 09:42:13 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-15 09:44:53 +0200 | gorignak | (~gorignak@user/gorignak) |
| 2024-05-15 09:48:55 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-15 09:51:16 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Quit: leaving) |
| 2024-05-15 09:52:31 +0200 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 255 seconds) |
| 2024-05-15 09:55:50 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-05-15 09:58:49 +0200 | <lortabac> | interestingly in most of my real use cases lists have proved to be faster because of the constant factors |
| 2024-05-15 09:59:15 +0200 | <lortabac> | I end up using sets, maps and Data.Sequence mostly for clarity |
| 2024-05-15 09:59:24 +0200 | <lortabac> | rarely for performance |
| 2024-05-15 10:00:45 +0200 | <kuribas> | I may have missed some context, but using vectors is even better for performance. |
| 2024-05-15 10:01:00 +0200 | <kuribas> | Even by a factors of 500 or so. |
| 2024-05-15 10:01:15 +0200 | <kuribas> | If you need to append, use a chunked lists. |
| 2024-05-15 10:01:48 +0200 | <lortabac> | kuribas: it depends |
| 2024-05-15 10:01:53 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-15 10:02:38 +0200 | <lortabac> | sometimes an efficient implementation with vectors is so inconvenient that lists are preferrable |
| 2024-05-15 10:03:08 +0200 | <lortabac> | but the context here was lists vs sets |
| 2024-05-15 10:04:35 +0200 | <kuribas> | sure, and often it's not in a critical path, so lists are good enough. |
| 2024-05-15 10:10:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-15 10:16:37 +0200 | gorignak | (~gorignak@user/gorignak) |
| 2024-05-15 10:19:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-15 10:20:21 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:10df:b906:15db:a9b1) (Remote host closed the connection) |
| 2024-05-15 10:23:22 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:a3fb:4ce5:b0d1:d8d1) |
| 2024-05-15 10:23:22 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:a3fb:4ce5:b0d1:d8d1) (Changing host) |
| 2024-05-15 10:23:22 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-05-15 10:25:58 +0200 | danza | (~francesco@151.47.35.197) |
| 2024-05-15 10:27:41 +0200 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 268 seconds) |
| 2024-05-15 10:29:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-15 10:29:59 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
| 2024-05-15 10:35:11 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) |
| 2024-05-15 10:36:47 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds) |
| 2024-05-15 10:38:24 +0200 | danza | (~francesco@151.47.35.197) (Ping timeout: 260 seconds) |
| 2024-05-15 10:47:03 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-05-15 11:03:54 +0200 | tv | (~tv@user/tv) |
| 2024-05-15 11:08:01 +0200 | danse-nr3 | (~danse-nr3@151.47.35.197) |
| 2024-05-15 11:10:16 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
| 2024-05-15 11:10:40 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-15 11:19:58 +0200 | gorignak | (~gorignak@user/gorignak) |
| 2024-05-15 11:20:27 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2024-05-15 11:25:59 +0200 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 252 seconds) |
| 2024-05-15 11:26:31 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-05-15 11:27:14 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-05-15 11:29:36 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
| 2024-05-15 11:29:43 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-05-15 11:29:58 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-05-15 11:30:33 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
| 2024-05-15 11:30:57 +0200 | billchenchina- | (~billchenc@103.152.35.21) |
| 2024-05-15 11:44:12 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 260 seconds) |
| 2024-05-15 11:47:27 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-15 11:47:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-15 11:53:02 +0200 | phma | (~phma@host-67-44-208-11.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-15 12:00:02 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-05-15 12:06:30 +0200 | dezalator | (~dezalator@77-254-94-95.dynamic.inetia.pl) |
| 2024-05-15 12:08:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-05-15 12:16:22 +0200 | p3n | (~p3n@217.198.124.246) (Ping timeout: 246 seconds) |
| 2024-05-15 12:16:38 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2024-05-15 12:17:55 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-15 12:23:24 +0200 | phma | (~phma@host-67-44-208-51.hnremote.net) |
| 2024-05-15 12:23:37 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-05-15 12:25:48 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Quit: leaving) |
| 2024-05-15 12:32:44 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-15 12:35:08 +0200 | mei | (~mei@user/mei) |
| 2024-05-15 12:37:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-15 12:37:22 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-05-15 12:38:06 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc38450b2d9b476c9077.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-05-15 12:45:27 +0200 | kspalaiologos | (~kspalaiol@user/kspalaiologos) |
| 2024-05-15 12:47:16 +0200 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2024-05-15 12:47:31 +0200 | poscat | (~poscat@user/poscat) |
| 2024-05-15 12:51:29 +0200 | <danse-nr3> | the new cradle lib looks nice |
| 2024-05-15 12:54:19 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) |
| 2024-05-15 12:56:05 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 272 seconds) |
| 2024-05-15 13:00:12 +0200 | <carbolymer> | are there are any guarantees for execution order and values visibility when using both readMVar and readIO? meaning: https://bpa.st/3DMA |
| 2024-05-15 13:00:53 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-15 13:01:27 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-05-15 13:02:15 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-05-15 13:03:16 +0200 | <danse-nr3> | :t readIO |
| 2024-05-15 13:03:17 +0200 | <lambdabot> | Read a => String -> IO a |
| 2024-05-15 13:03:39 +0200 | <carbolymer> | sry, I meant readIORef :) |
| 2024-05-15 13:10:43 +0200 | chele | (~chele@user/chele) |
| 2024-05-15 13:13:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8cc9:e47c:f89a:15ee) |
| 2024-05-15 13:17:11 +0200 | <danse-nr3> | i don't use them much. Values are bound in the monad so that's their visibility? But execution order depends on evaluation and, i think, optimization flags |
| 2024-05-15 13:18:42 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-15 13:23:11 +0200 | zero | (~yin@user/zero) |
| 2024-05-15 13:25:28 +0200 | kspalaiologos | (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
| 2024-05-15 13:26:22 +0200 | <[Leary]> | carbolymer: If you build a concurrent system by duct-taping MVars and IORefs together, you're just asking to suffer. Broadly speaking, I do expect `atomicModifyIORef r f >> readySetGo` and `await >> atomicModifyIORef r (\v -> (v, v))` to work out, but /really/, just use STM. |
| 2024-05-15 13:27:52 +0200 | <carbolymer> | [Leary]: that's my intuition. I've used STM for my change, got challenged on a PR "that's complicated, what's wrong with IORef?", so I'm trying to estimate how many footguns can I fit between IORef and MVar. |
| 2024-05-15 13:31:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-15 13:33:28 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 255 seconds) |
| 2024-05-15 13:34:33 +0200 | <[Leary]> | Well, you can start by pointing them here: https://hackage.haskell.org/package/base-4.19.1.0/docs/Data-IORef.html#memmodel |
| 2024-05-15 13:35:31 +0200 | <[Leary]> | It's more "complicated" to get your guarantees from IORefs and MVars than from STM, and that's when it's even possible. Concurrent programs need every guarantee they can get their hands on. |
| 2024-05-15 13:37:01 +0200 | <carbolymer> | [Leary]: That memory is exactly what I was looking for. Thanks! |
| 2024-05-15 13:37:10 +0200 | <carbolymer> | memory model |
| 2024-05-15 13:38:00 +0200 | zero | (~yin@user/zero) (Quit: leaving) |
| 2024-05-15 13:38:25 +0200 | yin | (~yin@user/zero) |
| 2024-05-15 13:41:39 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Quit: WeeChat 4.2.1) |
| 2024-05-15 13:42:40 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc380dd5b841c8115985.dip0.t-ipconnect.de) |
| 2024-05-15 13:43:31 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-15 13:46:41 +0200 | destituion | (~destituio@85.221.111.174) |
| 2024-05-15 13:47:32 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-05-15 13:48:39 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-05-15 13:50:33 +0200 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-15 13:51:20 +0200 | koz | (~koz@121.99.240.58) |
| 2024-05-15 13:51:29 +0200 | rvalue- | rvalue |
| 2024-05-15 13:52:47 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 2024-05-15 13:53:16 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-05-15 13:59:25 +0200 | danse-nr3 | (~danse-nr3@151.47.35.197) (Ping timeout: 272 seconds) |
| 2024-05-15 14:05:30 +0200 | talukara | (~talukara@user/talukara) |
| 2024-05-15 14:18:59 +0200 | gorignak | (~gorignak@user/gorignak) |
| 2024-05-15 14:29:32 +0200 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2024-05-15 14:30:26 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-11.service.infuturo.it) |
| 2024-05-15 14:39:35 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-11.service.infuturo.it) (Ping timeout: 268 seconds) |
| 2024-05-15 14:40:12 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-15 14:41:15 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-11.service.infuturo.it) |
| 2024-05-15 14:42:13 +0200 | califax | (~califax@user/califx) |
| 2024-05-15 14:45:38 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-11.service.infuturo.it) (Ping timeout: 252 seconds) |
| 2024-05-15 14:48:00 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-05-15 14:53:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-05-15 14:56:56 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-15 14:57:17 +0200 | danza | (~francesco@fi-19-195-11.service.infuturo.it) |
| 2024-05-15 15:05:59 +0200 | danza | (~francesco@fi-19-195-11.service.infuturo.it) (Ping timeout: 264 seconds) |
| 2024-05-15 15:06:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-15 15:24:28 +0200 | yin | zzz |
| 2024-05-15 15:25:13 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-11.service.infuturo.it) |
| 2024-05-15 15:28:00 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-15 15:31:45 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-15 15:35:55 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-15 15:38:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-15 15:39:54 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2024-05-15 15:44:05 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-15 16:03:34 +0200 | ystael | (~ystael@user/ystael) |
| 2024-05-15 16:06:28 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-05-15 16:06:49 +0200 | lortabac | (~lortabac@37.166.188.80) |
| 2024-05-15 16:07:19 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-15 16:13:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-05-15 16:14:47 +0200 | euleritian | (~euleritia@dynamic-176-006-183-191.176.6.pool.telefonica.de) |
| 2024-05-15 16:19:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-05-15 16:21:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-15 16:24:01 +0200 | danse-nr3 | (~danse-nr3@fi-19-195-11.service.infuturo.it) (Ping timeout: 255 seconds) |
| 2024-05-15 16:36:14 +0200 | ephemient | (uid407513@user/ephemient) (Quit: Connection closed for inactivity) |
| 2024-05-15 16:44:49 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 246 seconds) |
| 2024-05-15 16:46:25 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2024-05-15 16:47:28 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-15 16:50:11 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 256 seconds) |
| 2024-05-15 16:51:59 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
| 2024-05-15 16:54:55 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-15 16:56:50 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-05-15 16:57:41 +0200 | Unode | (~Unode@fg-ext-220.embl.de) (Read error: Connection reset by peer) |
| 2024-05-15 16:58:20 +0200 | Unode | (~Unode@fg-ext-220.embl.de) |
| 2024-05-15 16:59:09 +0200 | dezalator | (~dezalator@77-254-94-95.dynamic.inetia.pl) (Remote host closed the connection) |
| 2024-05-15 17:01:45 +0200 | Unode | (~Unode@fg-ext-220.embl.de) (Read error: Connection reset by peer) |
| 2024-05-15 17:04:47 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 264 seconds) |
| 2024-05-15 17:08:22 +0200 | lortabac | (~lortabac@37.166.188.80) (Ping timeout: 256 seconds) |
| 2024-05-15 17:08:38 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 252 seconds) |
| 2024-05-15 17:09:34 +0200 | destituion | (~destituio@2a02:2121:10b:62ca:bae7:e090:21e:1459) |