| 2024-02-29 00:00:09 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-02-29 00:05:06 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-02-29 00:06:57 +0100 | glguy | (g@libera/staff/glguy) (Quit: Quit) |
| 2024-02-29 00:08:02 +0100 | glguy | (g@libera/staff/glguy) |
| 2024-02-29 00:16:01 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-29 00:21:57 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2024-02-29 00:23:47 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-02-29 00:23:52 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-29 00:24:08 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-02-29 00:26:00 +0100 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) |
| 2024-02-29 00:27:07 +0100 | <fraznel> | hey all, i've been digging into the ghc alternatives and its very cool! I'm going off of haskell_ghc_illustrated for ghc 9 and it's mostly clicking but unclear around the stm data structure and atomically |
| 2024-02-29 00:28:20 +0100 | <fraznel> | during an atomically box with multiple TVars, where do the intermediary thunks get stored and how is the Invariant check queue handled so that its an atomic commit on all at once, is there a lock per atomically block that itself aquires all locks of all tvars before commiting a block otherwise goes into a retry? Are tvar thunks evaluated fully before a commit? etc |
| 2024-02-29 00:29:14 +0100 | <fraznel> | i see trec entries being added but its unclear how the multiple potential futures of those vars are represented or how the final invariant check is resolved. It's fine if the answer is "go look at the data structure source" but thought maybe there was a quicker answer here |
| 2024-02-29 00:29:47 +0100 | <fraznel> | s/ghc alternatives/ghc internals/g |
| 2024-02-29 00:30:50 +0100 | <fraznel> | actually it looks like the trecentries are those temporaries and it looks like possible the atomically box can be pre-empted into a retry by involved tvars changing maybe... Just not clear how the final commit is done atomically across all tvars involved |
| 2024-02-29 00:32:45 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-02-29 00:35:17 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-02-29 00:40:18 +0100 | <glguy> | fraznel: are you basically looking for a paper that describes how STM is implemented? |
| 2024-02-29 00:41:59 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 00:46:23 +0100 | <fraznel> | no, just thought someone here might be like. oh yeah, they do take locks on all tvars prior to commits |
| 2024-02-29 00:46:36 +0100 | <fraznel> | but like i said, comfy reading the source if thats the best place to find things out too |
| 2024-02-29 00:48:11 +0100 | <fraznel> | happy to read a paper if there is one as well. But thought it was worth a shot asking in the channel before digging through the implementation |
| 2024-02-29 00:49:18 +0100 | <EvanR> | I think transactions which don't overlap in any way won't block each other, one of the whole points of STM |
| 2024-02-29 00:49:39 +0100 | <EvanR> | so no taking all locks on all TVars ever |
| 2024-02-29 00:49:47 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
| 2024-02-29 00:51:44 +0100 | <fraznel> | Yes but there has to be a reconciliation on multiple tvar atomically blocks on final commit still in some form, whether its with something like barriers / fences etc or locks. From what I understand now its an optimistic work model where they check if vars have been modified on final commit and rerun if needed with a possible pre-emption on involved vars changing during work |
| 2024-02-29 00:56:47 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-02-29 01:03:08 +0100 | <EvanR> | yep something very clever. I only read the original STM paper, not sure what modern GHC does |
| 2024-02-29 01:19:25 +0100 | son0p | (~ff@167.0.160.226) |
| 2024-02-29 01:20:39 +0100 | <bontaq> | say with the record dot syntax, can I do something like roles = .role <$> messages, to get a list of roles from a list of messages with roles? |
| 2024-02-29 01:21:53 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-29 01:26:27 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-02-29 01:32:09 +0100 | <fraznel> | bontaq, hard to say without code but if messages is a list of data with a role field then if it works like normal functions something like... flip (.) role <$> messages |
| 2024-02-29 01:35:24 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-02-29 01:39:57 +0100 | <bontaq> | innteresting, and yeah just a simple list of message records with a role field, tyty |
| 2024-02-29 01:47:31 +0100 | sprout_ | (~quassel@2a02-a448-3a80-0-20c8-15f6-5661-7ff0.fixed6.kpn.net) |
| 2024-02-29 01:50:40 +0100 | sprout | (~quassel@2a02-a448-3a80-0-252b-984d-420d-e98d.fixed6.kpn.net) (Ping timeout: 256 seconds) |
| 2024-02-29 01:54:00 +0100 | <fraznel> | bontaq, jus a thought, it should get optimized out probably but the (.) is doing non-sense work in that case. you probably just want role <$> messages |
| 2024-02-29 01:55:36 +0100 | <geekosaur> | fraznel, RecordDotSyntax is not the (.) operator |
| 2024-02-29 01:56:03 +0100 | mvk | (~mvk@2607:fea8:5c9a:a600::83e8) |
| 2024-02-29 02:00:21 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-02-29 02:01:46 +0100 | <fraznel> | oh |
| 2024-02-29 02:02:05 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-02-29 02:02:22 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 264 seconds) |
| 2024-02-29 02:02:38 +0100 | <fraznel> | i see, then more like `.role <$> messages` |
| 2024-02-29 02:02:46 +0100 | <fraznel> | thats odd |
| 2024-02-29 02:03:03 +0100 | <fraznel> | er.., (.role) <$> messages |
| 2024-02-29 02:08:02 +0100 | mvk | (~mvk@2607:fea8:5c9a:a600::83e8) (Quit: Going elsewhere) |
| 2024-02-29 02:09:11 +0100 | <bontaq> | oho it does work with the parenthesis around it! |
| 2024-02-29 02:20:00 +0100 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2024-02-29 02:25:58 +0100 | poscat | (~poscat@user/poscat) |
| 2024-02-29 02:26:29 +0100 | AlexZenon | (~alzenon@5.139.232.115) (Ping timeout: 240 seconds) |
| 2024-02-29 02:33:03 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-29 02:34:11 +0100 | AlexZenon | (~alzenon@5.139.232.115) |
| 2024-02-29 02:36:50 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-29 02:41:55 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2024-02-29 02:54:31 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
| 2024-02-29 02:56:11 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-02-29 02:56:49 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-02-29 02:57:35 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-02-29 03:09:26 +0100 | ridcully_ | (~ridcully@p508ac914.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-02-29 03:18:39 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 272 seconds) |
| 2024-02-29 03:29:19 +0100 | ridcully | (~ridcully@p508ac420.dip0.t-ipconnect.de) |
| 2024-02-29 03:30:52 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-29 03:46:54 +0100 | aforemny_ | (~aforemny@i59F516DD.versanet.de) |
| 2024-02-29 03:48:25 +0100 | aforemny | (~aforemny@i59F516CF.versanet.de) (Ping timeout: 264 seconds) |
| 2024-02-29 03:55:04 +0100 | otto_s | (~user@p4ff27821.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-02-29 03:56:34 +0100 | otto_s | (~user@p5de2faf6.dip0.t-ipconnect.de) |
| 2024-02-29 04:00:34 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-02-29 04:02:29 +0100 | cipherrot | (~znc-user@user/petrichor) |
| 2024-02-29 04:02:58 +0100 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 246 seconds) |
| 2024-02-29 04:11:52 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-02-29 04:13:01 +0100 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 264 seconds) |
| 2024-02-29 04:14:44 +0100 | td_ | (~td@i53870909.versanet.de) |
| 2024-02-29 04:25:47 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-02-29 04:26:06 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-02-29 04:38:14 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
| 2024-02-29 04:38:15 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-02-29 04:46:01 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-02-29 04:46:20 +0100 | shapr` | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 268 seconds) |
| 2024-02-29 04:47:21 +0100 | jargon | (~jargon@111.sub-174-205-228.myvzw.com) (Remote host closed the connection) |
| 2024-02-29 04:55:52 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-29 05:06:09 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-29 05:10:31 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-02-29 05:17:21 +0100 | euleritian | (~euleritia@dynamic-176-006-186-165.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-29 05:17:39 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-29 05:22:46 +0100 | aforemny | (~aforemny@i59F516FB.versanet.de) |
| 2024-02-29 05:23:13 +0100 | aforemny_ | (~aforemny@i59F516DD.versanet.de) (Ping timeout: 264 seconds) |
| 2024-02-29 05:24:37 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-29 05:28:31 +0100 | bilegeek | (~bilegeek@2600:1008:b06d:49c3:31ce:62c1:bb1a:da64) |
| 2024-02-29 05:35:29 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-02-29 05:53:46 +0100 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Quit: Leaving) |
| 2024-02-29 05:57:20 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 260 seconds) |
| 2024-02-29 05:57:46 +0100 | natechan | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2024-02-29 05:58:22 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2024-02-29 05:59:36 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-02-29 06:23:22 +0100 | mud | (~mud@user/kadoban) |
| 2024-02-29 06:24:18 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds) |
| 2024-02-29 06:39:50 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-02-29 06:41:10 +0100 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2024-02-29 06:41:21 +0100 | michalz | (~michalz@185.246.207.203) (Client Quit) |
| 2024-02-29 06:44:10 +0100 | michalz | (~michalz@185.246.207.215) |
| 2024-02-29 06:47:32 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-29 06:52:05 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2024-02-29 06:58:27 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-02-29 07:01:55 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-29 07:08:07 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-02-29 07:17:20 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-29 07:21:55 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-02-29 07:24:37 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-29 07:24:38 +0100 | thegeekinside | (~thegeekin@189.217.83.221) (Remote host closed the connection) |
| 2024-02-29 07:26:42 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-02-29 07:27:02 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-02-29 07:29:49 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-29 07:32:23 +0100 | euleritian | (~euleritia@dynamic-176-006-186-165.176.6.pool.telefonica.de) |
| 2024-02-29 07:37:19 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e7315d4b4bfc3d01e9cc.dip0.t-ipconnect.de) |
| 2024-02-29 07:38:36 +0100 | rancidcake | (~rancidcak@165.225.106.173) |
| 2024-02-29 07:46:12 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-02-29 07:48:24 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-29 07:53:23 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-02-29 07:58:17 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-02-29 07:58:36 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-02-29 08:02:29 +0100 | rancidcake | (~rancidcak@165.225.106.173) (Quit: Client closed) |
| 2024-02-29 08:09:17 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-29 08:20:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-29 08:31:06 +0100 | Angelz | (Angelz@user/angelz) (Quit: IRCNow and Forever!) |
| 2024-02-29 08:32:23 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-02-29 08:32:42 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-02-29 08:33:06 +0100 | Silver_X | (~Silver_X@182.178.140.49) |
| 2024-02-29 08:33:08 +0100 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2024-02-29 08:36:39 +0100 | Silver_X | (~Silver_X@182.178.140.49) (Client Quit) |
| 2024-02-29 08:44:44 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-29 08:49:32 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-29 08:49:54 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-02-29 08:53:12 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-29 08:53:41 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2024-02-29 08:54:40 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-02-29 08:58:30 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-02-29 08:59:19 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-02-29 08:59:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-29 09:05:52 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
| 2024-02-29 09:06:47 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-29 09:13:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-29 09:16:15 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-02-29 09:17:31 +0100 | malte | (~malte@mal.tc) |
| 2024-02-29 09:18:52 +0100 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) |
| 2024-02-29 09:25:37 +0100 | CiaoSen | (~Jura@2a05:5800:29f:4c00:e6b9:7aff:fe80:3d03) |
| 2024-02-29 09:25:48 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-02-29 09:28:09 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-29 09:48:05 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Quit: myxos) |
| 2024-02-29 09:48:15 +0100 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-02-29 09:48:37 +0100 | Batzy | (~quassel@user/batzy) |
| 2024-02-29 09:49:18 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2024-02-29 09:53:40 +0100 | ak-1 | (~ak-1@ip-037-201-198-027.um10.pools.vodafone-ip.de) |
| 2024-02-29 09:54:49 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:2a0e:8d15:b291:b8ce) |
| 2024-02-29 09:56:25 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-29 10:02:20 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds) |
| 2024-02-29 10:04:32 +0100 | Enviosity | (~Enviosity@176.254.244.83) (Ping timeout: 268 seconds) |
| 2024-02-29 10:09:01 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-02-29 10:11:38 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-29 10:13:49 +0100 | rembo10 | (~rembo10@main.remulis.com) |
| 2024-02-29 10:14:22 +0100 | Guest15 | (~Guest15@105.112.248.197) |
| 2024-02-29 10:14:35 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-29 10:16:08 +0100 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-02-29 10:17:23 +0100 | Batzy | (~quassel@user/batzy) |
| 2024-02-29 10:21:21 +0100 | Batzy_ | (~quassel@user/batzy) |
| 2024-02-29 10:22:48 +0100 | Enviosity | (~Enviosity@176.254.244.83) |
| 2024-02-29 10:24:53 +0100 | Batzy | (~quassel@user/batzy) (Ping timeout: 272 seconds) |
| 2024-02-29 10:24:57 +0100 | mei | (~mei@user/mei) |
| 2024-02-29 10:25:15 +0100 | mei | (~mei@user/mei) (Client Quit) |
| 2024-02-29 10:26:20 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-29 10:26:59 +0100 | danse-nr3 | (~danse@an-19-176-43.service.infuturo.it) |
| 2024-02-29 10:27:25 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 272 seconds) |
| 2024-02-29 10:28:22 +0100 | mei | (~mei@user/mei) |
| 2024-02-29 10:29:17 +0100 | Batzy_ | Batzy |
| 2024-02-29 10:29:52 +0100 | CiaoSen | (~Jura@2a05:5800:29f:4c00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-02-29 10:30:25 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) |
| 2024-02-29 10:30:55 +0100 | jmcantrell | Guest7426 |
| 2024-02-29 10:30:56 +0100 | Guest7426 | (644f1bed9a@user/jmcantrell) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2024-02-29 10:30:56 +0100 | __jmcantrell__ | jmcantrell |
| 2024-02-29 10:31:06 +0100 | jmcantrell_ | (644f1bed9a@user/jmcantrell) |
| 2024-02-29 10:34:15 +0100 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2024-02-29 10:34:27 +0100 | bilegeek | (~bilegeek@2600:1008:b06d:49c3:31ce:62c1:bb1a:da64) (Quit: Leaving) |
| 2024-02-29 10:35:00 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-02-29 10:35:17 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-02-29 10:37:27 +0100 | rancidcake | (~rancidcak@165.225.106.173) |
| 2024-02-29 10:39:04 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-29 10:39:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-02-29 10:41:59 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-02-29 10:43:54 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2024-02-29 10:44:32 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-29 10:45:18 +0100 | misterfish | (~misterfis@87.215.131.102) |
| 2024-02-29 10:50:42 +0100 | euleritian | (~euleritia@dynamic-176-006-186-165.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-29 10:50:59 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-29 10:52:55 +0100 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-02-29 10:54:55 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.2.1) |
| 2024-02-29 10:54:57 +0100 | jmcantrell_ | jmcantrell |
| 2024-02-29 10:55:48 +0100 | Batzy | (~quassel@user/batzy) |
| 2024-02-29 11:02:22 +0100 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2024-02-29 11:02:22 +0100 | mauke | (~mauke@user/mauke) (Read error: Connection reset by peer) |
| 2024-02-29 11:05:37 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) |
| 2024-02-29 11:05:38 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) (Client Quit) |
| 2024-02-29 11:07:01 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2024-02-29 11:07:27 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-02-29 11:08:07 +0100 | mauke | (~mauke@user/mauke) |
| 2024-02-29 11:12:25 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 246 seconds) |
| 2024-02-29 11:15:56 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-02-29 11:19:24 +0100 | noctux | (~noctux@user/noctux) |
| 2024-02-29 11:21:55 +0100 | ak-1 | (~ak-1@ip-037-201-198-027.um10.pools.vodafone-ip.de) (Quit: Client closed) |
| 2024-02-29 11:23:27 +0100 | Guest15 | (~Guest15@105.112.248.197) (Ping timeout: 250 seconds) |
| 2024-02-29 11:23:47 +0100 | lg188 | (~lg188@82.18.98.230) (Ping timeout: 260 seconds) |
| 2024-02-29 11:24:45 +0100 | lg188 | (~lg188@82.18.98.230) |
| 2024-02-29 11:33:24 +0100 | rancidcake | (~rancidcak@165.225.106.173) (Quit: Client closed) |
| 2024-02-29 11:33:51 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds) |
| 2024-02-29 11:36:25 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2024-02-29 11:38:09 +0100 | <haskellbridge> | <orbicularis> yes, you're trying to make a section, that won't happen without parentheses. |
| 2024-02-29 11:41:16 +0100 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) (Ping timeout: 260 seconds) |
| 2024-02-29 11:47:34 +0100 | raym | (~ray@user/raym) (Ping timeout: 255 seconds) |
| 2024-02-29 11:48:32 +0100 | raym | (~ray@user/raym) |
| 2024-02-29 11:50:24 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-29 11:51:36 +0100 | mei | (~mei@user/mei) |
| 2024-02-29 11:57:18 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-29 11:58:30 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-02-29 12:02:55 +0100 | Square2 | (~Square4@user/square) |
| 2024-02-29 12:06:01 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 256 seconds) |
| 2024-02-29 12:09:09 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
| 2024-02-29 12:17:43 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2024-02-29 12:21:25 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-29 12:23:20 +0100 | [[PSYCHIATRIST | (~PSYCHIAT@46.197.13.252) |
| 2024-02-29 12:27:54 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-29 12:30:33 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-29 12:31:51 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-29 12:34:05 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-02-29 12:37:10 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 268 seconds) |
| 2024-02-29 12:45:46 +0100 | [[PSYCHIATRIST | (~PSYCHIAT@46.197.13.252) (Quit: Client closed) |
| 2024-02-29 12:47:50 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-29 12:53:26 +0100 | [[PSYCHIATRIST | (~PSYCHIAT@46.197.13.252) |
| 2024-02-29 12:53:55 +0100 | destituion | (~destituio@2a02:2121:34a:61a6:3256:75da:727b:1921) (Ping timeout: 246 seconds) |
| 2024-02-29 12:54:28 +0100 | destituion | (~destituio@85.221.111.174) |
| 2024-02-29 12:54:33 +0100 | zetef | (~quassel@5.2.182.98) |
| 2024-02-29 13:04:31 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-29 13:11:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-29 13:12:23 +0100 | zetef | (~quassel@5.2.182.98) (Read error: Connection reset by peer) |
| 2024-02-29 13:13:09 +0100 | [[PSYCHIATRIST | (~PSYCHIAT@46.197.13.252) (Quit: Client closed) |
| 2024-02-29 13:13:50 +0100 | [[PSYCHIATRIST | (~PSYCHIAT@46.197.13.252) |
| 2024-02-29 13:13:53 +0100 | danse-nr3 | (~danse@an-19-176-43.service.infuturo.it) (Read error: Connection reset by peer) |
| 2024-02-29 13:18:25 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-02-29 13:18:50 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-02-29 13:23:35 +0100 | [[PSYCHIATRIST | (~PSYCHIAT@46.197.13.252) (Quit: Client closed) |
| 2024-02-29 13:25:01 +0100 | sprout_ | sprout |
| 2024-02-29 13:33:31 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-29 13:38:11 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-02-29 13:48:38 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2024-02-29 14:02:24 +0100 | pyooque | (~puke@user/puke) |
| 2024-02-29 14:02:24 +0100 | puke | Guest9533 |
| 2024-02-29 14:02:24 +0100 | Guest9533 | (~puke@user/puke) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 2024-02-29 14:02:24 +0100 | pyooque | puke |
| 2024-02-29 14:08:24 +0100 | shapr | (~user@2603:3005:b31:e100:6e85:7f4d:b05b:5e48) |
| 2024-02-29 14:18:41 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-02-29 14:19:39 +0100 | <lortabac> | am I the only one who has problems with name resolution from time to time? |
| 2024-02-29 14:20:20 +0100 | <lortabac> | it has happened to me on various GHC versions, sometimes I need to import a module qualified otherwise I get a "variable not in scope" error |
| 2024-02-29 14:20:56 +0100 | <lortabac> | unfortunately it's hard to make a minimal reproducible example, but I will try |
| 2024-02-29 14:21:50 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-02-29 14:32:04 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-02-29 14:39:03 +0100 | <shapr> | lortabac: I've never seen that, sounds interesting |
| 2024-02-29 14:42:35 +0100 | <lortabac> | I can't find any GHC tickets related to this problem |
| 2024-02-29 14:43:45 +0100 | <shapr> | I think I started with ghc 5, and I've not seen that yet |
| 2024-02-29 14:44:02 +0100 | <lortabac> | it's happened to me 2-3 times in about 10 years, so I'm not surprised nobody talks about this |
| 2024-02-29 14:46:23 +0100 | <shapr> | I can't actually find GHC release history for 2001, I don't know what version I started using |
| 2024-02-29 14:46:27 +0100 | shapr | shrugs |
| 2024-02-29 14:47:11 +0100 | <lortabac> | GHC prehistory :) |
| 2024-02-29 14:48:05 +0100 | <shapr> | could have been ghc 4, was probably ghc 5, but you definitely had to download and build it yourself whenever there was a new release |
| 2024-02-29 14:48:49 +0100 | <shapr> | lortabac: I'd certainly like to see that error |
| 2024-02-29 14:49:38 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 14:52:41 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-29 14:52:43 +0100 | <lortabac> | shapr: it's company code and the module dependency graph is quite complex |
| 2024-02-29 14:53:46 +0100 | <shapr> | aw, too bad |
| 2024-02-29 14:53:55 +0100 | shapr | (~user@2603:3005:b31:e100:6e85:7f4d:b05b:5e48) (Quit: time for a walk) |
| 2024-02-29 14:54:00 +0100 | <lortabac> | maybe I can try to replicate the module structure but use different names and no function bodies |
| 2024-02-29 14:56:38 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2024-02-29 15:01:03 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
| 2024-02-29 15:09:35 +0100 | mulk | (~mulk@pd9514e24.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-29 15:13:44 +0100 | mulk | (~mulk@pd9514a02.dip0.t-ipconnect.de) |
| 2024-02-29 15:18:37 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-02-29 15:19:00 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-29 15:19:01 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 15:22:20 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 252 seconds) |
| 2024-02-29 15:23:33 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-02-29 15:23:46 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-29 15:24:39 +0100 | thegeekinside | (~thegeekin@189.217.83.221) |
| 2024-02-29 15:25:38 +0100 | kimiamania46483 | (~65804703@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2024-02-29 15:25:59 +0100 | kimiamania46483 | (~65804703@user/kimiamania) |
| 2024-02-29 15:36:27 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 15:41:02 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-02-29 15:41:07 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 255 seconds) |
| 2024-02-29 15:45:07 +0100 | remmie | (ianremsen@tilde.team) (Ping timeout: 260 seconds) |
| 2024-02-29 15:49:49 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 15:50:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 264 seconds) |
| 2024-02-29 15:51:29 +0100 | AlexNoo_ | (~AlexNoo@5.139.232.115) |
| 2024-02-29 15:51:41 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 240 seconds) |
| 2024-02-29 15:54:05 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
| 2024-02-29 15:54:34 +0100 | AlexZenon | (~alzenon@5.139.232.115) (Ping timeout: 264 seconds) |
| 2024-02-29 15:55:29 +0100 | AlexNoo | (~AlexNoo@5.139.232.115) (Ping timeout: 272 seconds) |
| 2024-02-29 15:58:37 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-02-29 15:59:41 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-29 16:02:27 +0100 | cipherrot | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-29 16:02:29 +0100 | petrichor | (~znc-user@user/petrichor) |
| 2024-02-29 16:04:33 +0100 | <kuribas> | units seem one of the most compelling reasons to have (dependent) types, it's so easy to make mistakes with wrong units. |
| 2024-02-29 16:06:07 +0100 | remmie | (ianremsen@tilde.team) |
| 2024-02-29 16:07:15 +0100 | danse-nr3 | (~danse@151.47.158.59) |
| 2024-02-29 16:07:23 +0100 | natechan | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2024-02-29 16:08:26 +0100 | <EvanR> | does that require dependent types really? |
| 2024-02-29 16:08:41 +0100 | <EvanR> | seems like a type family or something |
| 2024-02-29 16:09:11 +0100 | <EvanR> | worst case scenario each combination of units is its own newtype |
| 2024-02-29 16:09:27 +0100 | <EvanR> | but the type doesn't depend on values |
| 2024-02-29 16:10:44 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-02-29 16:10:47 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 264 seconds) |
| 2024-02-29 16:11:22 +0100 | AlexZenon | (~alzenon@5.139.232.115) |
| 2024-02-29 16:13:22 +0100 | <lortabac> | EvanR: as usual, it depends on what you need to do |
| 2024-02-29 16:14:39 +0100 | <lortabac> | if the unit is only known at runtime then yes, you need dependent types |
| 2024-02-29 16:15:03 +0100 | <lortabac> | (or some complicated emulation like singletons) |
| 2024-02-29 16:19:54 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 16:26:10 +0100 | destituion | (~destituio@85.221.111.174) (Ping timeout: 256 seconds) |
| 2024-02-29 16:27:09 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-02-29 16:33:06 +0100 | <kuribas> | well, you can emulate most dependent types in some way. |
| 2024-02-29 16:33:09 +0100 | <kuribas> | It just isn't pretty. |
| 2024-02-29 16:33:45 +0100 | <kuribas> | You wouldn't even need types, you could make a runtime value that creates a runtime error, still better than just providing wrong values. |
| 2024-02-29 16:34:30 +0100 | <kuribas> | lortabac: well, the unit would be known at compile time. |
| 2024-02-29 16:34:30 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-02-29 16:34:41 +0100 | <kuribas> | But may involve some more complicated calculations. |
| 2024-02-29 16:35:14 +0100 | <kuribas> | like: "m/s^2 * s = m/s" |
| 2024-02-29 16:37:36 +0100 | average | (uid473595@user/average) |
| 2024-02-29 16:42:37 +0100 | <lortabac> | kuribas: that case can be handled with type families (even though it may get complicated) |
| 2024-02-29 16:43:44 +0100 | destituion | (~destituio@2a02:2121:34a:61a6:24fe:c9d8:d8a6:b37) |
| 2024-02-29 16:44:34 +0100 | <lortabac> | but imagine you have a series of numbers together with their unit stored in the database, and you need to use them in a type-safe way at runtime, then type families can't be used |
| 2024-02-29 16:45:39 +0100 | <kuribas> | lortabac: not with an existential? |
| 2024-02-29 16:46:08 +0100 | <kuribas> | Well, you'll need a runtime type witness, like a GADT... |
| 2024-02-29 16:46:15 +0100 | <lortabac> | kuribas: yes but if you want to recover the type you need a GADT |
| 2024-02-29 16:46:17 +0100 | <lortabac> | exactly |
| 2024-02-29 16:46:25 +0100 | <lortabac> | and you are into singletons territory |
| 2024-02-29 16:46:58 +0100 | <lortabac> | which is a complicated emulation of dependent types, as I said before |
| 2024-02-29 16:48:09 +0100 | sadie-sorceress | (~sadie-sor@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-02-29 16:48:25 +0100 | <lortabac> | to be honest I'd rather use Clojure than singletons :) |
| 2024-02-29 16:49:59 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 16:56:42 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-02-29 16:59:21 +0100 | mud | (~mud@user/kadoban) |
| 2024-02-29 17:01:45 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-02-29 17:10:21 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-02-29 17:12:44 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-29 17:13:03 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-02-29 17:15:26 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-02-29 17:19:34 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-02-29 17:20:04 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 17:20:14 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-02-29 17:23:05 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-29 17:24:47 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-02-29 17:26:32 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-02-29 17:27:19 +0100 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 255 seconds) |
| 2024-02-29 17:27:57 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-02-29 17:34:39 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-02-29 17:35:50 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2024-02-29 17:37:09 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-02-29 17:49:47 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-02-29 17:49:55 +0100 | troydm | (~troydm@user/troydm) |
| 2024-02-29 17:50:09 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 17:50:35 +0100 | troydm | (~troydm@user/troydm) (Client Quit) |
| 2024-02-29 17:50:38 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-02-29 17:52:48 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-02-29 17:55:11 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
| 2024-02-29 18:09:32 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-02-29 18:10:10 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-02-29 18:10:35 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-02-29 18:14:12 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:2a0e:8d15:b291:b8ce) (Remote host closed the connection) |
| 2024-02-29 18:15:06 +0100 | danse-nr3 | (~danse@151.47.158.59) (Ping timeout: 268 seconds) |
| 2024-02-29 18:16:26 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-02-29 18:20:14 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 18:24:25 +0100 | mulk | (~mulk@pd9514a02.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-29 18:24:28 +0100 | benkard | (~mulk@pd95147ea.dip0.t-ipconnect.de) |
| 2024-02-29 18:24:52 +0100 | benkard | mulk |
| 2024-02-29 18:24:57 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-02-29 18:25:07 +0100 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) |
| 2024-02-29 18:25:18 +0100 | sadie-sorceress | (~sadie-sor@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Client closed) |
| 2024-02-29 18:28:47 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-02-29 18:29:26 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-02-29 18:29:54 +0100 | euleritian | (~euleritia@dynamic-176-006-197-097.176.6.pool.telefonica.de) |
| 2024-02-29 18:32:25 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-02-29 18:35:57 +0100 | spacenautx | (~spacenaut@user/spacenautx) |
| 2024-02-29 18:41:56 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-02-29 18:50:21 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 18:50:28 +0100 | Square | (~Square@user/square) |
| 2024-02-29 18:51:34 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-02-29 18:51:39 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-29 18:54:10 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2024-02-29 18:56:55 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-02-29 18:56:55 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-02-29 19:02:19 +0100 | sadie-sorceress | (~sadie-sor@199.96.187.158) |
| 2024-02-29 19:02:21 +0100 | agander_m | (agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) |
| 2024-02-29 19:05:07 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-29 19:05:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-29 19:08:13 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2024-02-29 19:13:11 +0100 | sadie-sorceress | (~sadie-sor@199.96.187.158) (Ping timeout: 250 seconds) |
| 2024-02-29 19:19:02 +0100 | sadie-sorceress | (~sadie-sor@199.96.191.158) |
| 2024-02-29 19:20:24 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 19:20:29 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-02-29 19:21:52 +0100 | sadie-sorceress | (~sadie-sor@199.96.191.158) (Client Quit) |
| 2024-02-29 19:25:09 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-02-29 19:28:17 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-02-29 19:33:48 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-02-29 19:35:47 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-29 19:37:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-29 19:50:30 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 19:50:55 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-02-29 19:51:14 +0100 | EvanR | (~EvanR@user/evanr) |
| 2024-02-29 19:58:06 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2024-02-29 19:59:03 +0100 | Guest32 | (~Guest69@117.250.240.128) |
| 2024-02-29 19:59:34 +0100 | Guest32 | (~Guest69@117.250.240.128) (Client Quit) |
| 2024-02-29 19:59:43 +0100 | destituion | (~destituio@2a02:2121:34a:61a6:24fe:c9d8:d8a6:b37) (Read error: Connection reset by peer) |
| 2024-02-29 20:00:46 +0100 | euleritian | (~euleritia@dynamic-176-006-197-097.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-29 20:00:47 +0100 | destituion | (~destituio@2001:4644:c37:0:57f:87b2:efe8:e836) |
| 2024-02-29 20:01:03 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-29 20:01:04 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-02-29 20:07:22 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-29 20:07:23 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-02-29 20:12:07 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-02-29 20:12:45 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-02-29 20:13:48 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2024-02-29 20:20:35 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 20:25:17 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-02-29 20:32:27 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-29 20:37:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-29 20:39:51 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-02-29 20:45:36 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-29 20:46:23 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-29 20:47:38 +0100 | phma | (~phma@host-67-44-208-71.hnremote.net) (Read error: Connection reset by peer) |
| 2024-02-29 20:48:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-29 20:51:59 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-02-29 20:52:05 +0100 | phma | (~phma@2001:5b0:2144:73c8:8f15:972f:3a23:f3e4) |
| 2024-02-29 20:55:23 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-02-29 21:02:42 +0100 | destituion | (~destituio@2001:4644:c37:0:57f:87b2:efe8:e836) (Ping timeout: 256 seconds) |
| 2024-02-29 21:03:25 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2024-02-29 21:03:48 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-02-29 21:04:58 +0100 | destituion | (~destituio@2a02:2121:34a:61a6:24fe:c9d8:d8a6:b37) |
| 2024-02-29 21:05:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-29 21:14:33 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2024-02-29 21:18:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-29 21:19:55 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-29 21:20:42 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 21:28:37 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-02-29 21:30:56 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-29 21:32:37 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2024-02-29 21:34:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-29 21:41:53 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-29 21:41:58 +0100 | AlexNoo_ | AlexNoo |
| 2024-02-29 21:45:13 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 246 seconds) |
| 2024-02-29 21:47:22 +0100 | spacenautx | (~spacenaut@user/spacenautx) |
| 2024-02-29 21:47:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-29 21:50:22 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-02-29 21:50:46 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 21:52:01 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 264 seconds) |
| 2024-02-29 21:53:41 +0100 | spacenautx | (~spacenaut@user/spacenautx) |
| 2024-02-29 21:55:04 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-02-29 21:59:54 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) |
| 2024-02-29 22:04:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-29 22:05:29 +0100 | agander_m | (agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) (Ping timeout: 252 seconds) |
| 2024-02-29 22:06:27 +0100 | agander_m | (agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) |
| 2024-02-29 22:15:00 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-02-29 22:18:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-29 22:20:52 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 22:21:09 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 255 seconds) |
| 2024-02-29 22:21:36 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-02-29 22:22:52 +0100 | spacenautx | (~spacenaut@user/spacenautx) |
| 2024-02-29 22:26:23 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-02-29 22:27:31 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-02-29 22:28:14 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-02-29 22:33:36 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2024-02-29 22:33:36 +0100 | ChanServ | +v haskellbridge |
| 2024-02-29 22:37:17 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 256 seconds) |
| 2024-02-29 22:39:10 +0100 | spacenautx | (~spacenaut@user/spacenautx) |
| 2024-02-29 22:40:29 +0100 | agander_m | (agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) (Remote host closed the connection) |
| 2024-02-29 22:50:49 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 264 seconds) |
| 2024-02-29 22:50:57 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 22:52:20 +0100 | spacenautx | (~spacenaut@user/spacenautx) |
| 2024-02-29 22:53:28 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-29 22:57:22 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Good Bye) |
| 2024-02-29 22:58:17 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-02-29 22:58:57 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 255 seconds) |
| 2024-02-29 22:59:08 +0100 | zetef | (~quassel@5.2.182.98) |
| 2024-02-29 23:02:37 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-02-29 23:03:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-29 23:06:15 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-02-29 23:07:30 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-02-29 23:08:59 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-02-29 23:10:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-29 23:13:52 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 268 seconds) |
| 2024-02-29 23:14:56 +0100 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-29 23:15:39 +0100 | spacenautx | (~spacenaut@user/spacenautx) |
| 2024-02-29 23:20:35 +0100 | ames | (~amelia@offtopia/offtopian/amelia) (Ping timeout: 260 seconds) |
| 2024-02-29 23:21:02 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 23:23:08 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 260 seconds) |
| 2024-02-29 23:23:27 +0100 | ames | (~amelia@offtopia/offtopian/amelia) |
| 2024-02-29 23:28:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-29 23:28:03 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-02-29 23:38:03 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-29 23:42:52 +0100 | michalz | (~michalz@185.246.207.215) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-29 23:46:29 +0100 | zetef | (~quassel@5.2.182.98) (Ping timeout: 240 seconds) |
| 2024-02-29 23:47:16 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-29 23:51:07 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-02-29 23:52:08 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-02-29 23:55:29 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-02-29 23:56:08 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-29 23:57:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |