| 2024-03-06 00:00:07 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3441-6a66-5159-b84e-cd08-6cc7.rev.sfr.net) |
| 2024-03-06 00:01:54 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3441-6a66-5159-b84e-cd08-6cc7.rev.sfr.net) (Remote host closed the connection) |
| 2024-03-06 00:03:47 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer) |
| 2024-03-06 00:04:45 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-03-06 00:07:28 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-03-06 00:07:40 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-03-06 00:07:47 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-03-06 00:12:06 +0100 | sroso | (~sroso@user/SrOso) |
| 2024-03-06 00:27:31 +0100 | <Axman6> | d34df00d: a simple example is when both arguments are the same lens, if you have (1,2) & both _1 _1 .~ (3,4), what's the result? |
| 2024-03-06 00:36:04 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-06 00:45:12 +0100 | jamkhan | (~jamkhan@2607:fb91:21e1:d11c:60e6:3c72:98d5:47c2) |
| 2024-03-06 00:45:15 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-03-06 00:46:36 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-03-06 00:48:35 +0100 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2024-03-06 00:55:46 +0100 | Square2 | (~Square4@user/square) |
| 2024-03-06 00:56:20 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-03-06 01:01:22 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-03-06 01:01:28 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-06 01:02:49 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 264 seconds) |
| 2024-03-06 01:03:15 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-03-06 01:03:59 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-06 01:04:20 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2024-03-06 01:04:41 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-03-06 01:05:06 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-03-06 01:08:08 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 2024-03-06 01:09:45 +0100 | <Inst> | just as a curiosity |
| 2024-03-06 01:09:57 +0100 | <Inst> | if someone were to attempt a NeoHaskell-like project, or rather, an attempt to build a new compiler |
| 2024-03-06 01:10:06 +0100 | <Inst> | would relegating type-level programming to GHC be a better idea? |
| 2024-03-06 01:10:43 +0100 | <glguy> | That would depend on what that actually means and what the point of making the new compiler was |
| 2024-03-06 01:10:58 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-03-06 01:11:16 +0100 | jamkhan | (~jamkhan@2607:fb91:21e1:d11c:60e6:3c72:98d5:47c2) (Quit: Client closed) |
| 2024-03-06 01:12:12 +0100 | <Inst> | glguy: the point of making a new compiler is to waste money, but on paper, the goal would be to have a faster performing GHC oriented toward production use, as opposed to research use |
| 2024-03-06 01:13:06 +0100 | jamkhan | (~jamkhan@2607:fb91:21e1:d11c:60e6:3c72:98d5:47c2) |
| 2024-03-06 01:13:18 +0100 | <Inst> | it'd basically be enforcing a variant of simple haskell |
| 2024-03-06 01:13:19 +0100 | jamkhan | (~jamkhan@2607:fb91:21e1:d11c:60e6:3c72:98d5:47c2) (Client Quit) |
| 2024-03-06 01:13:26 +0100 | <Inst> | you don't like it, FFI into GHC-generated code |
| 2024-03-06 01:13:33 +0100 | <Inst> | if GHC doesn't give you a good time, not our problem |
| 2024-03-06 01:15:24 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-06 01:15:25 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-06 01:17:10 +0100 | <EvanR> | coffeehaskell |
| 2024-03-06 01:17:48 +0100 | mei | (~mei@user/mei) |
| 2024-03-06 01:21:09 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 255 seconds) |
| 2024-03-06 01:22:30 +0100 | srz | (~srz@181.228.49.93) |
| 2024-03-06 01:22:44 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-03-06 01:22:54 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-03-06 01:32:15 +0100 | <janus> | Inst: have you seen MicroHs? |
| 2024-03-06 01:33:05 +0100 | <janus> | given that it doesn't support TypeFamilies or DataKinds or TypeData, maybe the plan is something like what you mention |
| 2024-03-06 01:33:35 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-03-06 01:35:39 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-06 01:35:57 +0100 | <Inst> | whoa, Dr. Augustsson's still working on it |
| 2024-03-06 01:36:10 +0100 | <haskellbridge> | <sm> yup, it's new |
| 2024-03-06 01:37:25 +0100 | <Inst> | https://github.com/augustss/MicroHs/blob/master/Tools/Count.hs |
| 2024-03-06 01:37:27 +0100 | <Inst> | heretic! |
| 2024-03-06 01:39:08 +0100 | srz | (~srz@181.228.49.93) (Ping timeout: 260 seconds) |
| 2024-03-06 01:39:27 +0100 | <Inst> | /sarcasm |
| 2024-03-06 01:39:54 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-06 01:39:59 +0100 | srz | (~srz@181.228.49.93) |
| 2024-03-06 01:41:13 +0100 | srz | (~srz@181.228.49.93) (Remote host closed the connection) |
| 2024-03-06 01:44:26 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-03-06 01:45:25 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-06 01:46:19 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-03-06 01:47:49 +0100 | mei | (~mei@user/mei) |
| 2024-03-06 01:48:19 +0100 | <davean> | h3r1t1c is in anther channel and doesn't do any Haskell these days. |
| 2024-03-06 02:00:40 +0100 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) |
| 2024-03-06 02:06:25 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 264 seconds) |
| 2024-03-06 02:07:14 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-03-06 02:15:04 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-03-06 02:17:07 +0100 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
| 2024-03-06 02:34:34 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-03-06 02:49:58 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-06 02:54:29 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-06 02:58:50 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-03-06 02:59:12 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-03-06 02:59:23 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-03-06 02:59:51 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-03-06 03:03:41 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 256 seconds) |
| 2024-03-06 03:07:27 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-03-06 03:08:37 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-03-06 03:10:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:c534:620a:b520:a93b) (Ping timeout: 255 seconds) |
| 2024-03-06 03:17:59 +0100 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 264 seconds) |
| 2024-03-06 03:24:55 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 272 seconds) |
| 2024-03-06 03:25:04 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-03-06 03:25:18 +0100 | euleritian | (~euleritia@dynamic-176-006-204-213.176.6.pool.telefonica.de) |
| 2024-03-06 03:28:49 +0100 | petrichor | (~znc-user@user/petrichor) |
| 2024-03-06 03:28:57 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-03-06 03:36:38 +0100 | mulk | (~mulk@pd9514963.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-03-06 03:46:21 +0100 | mulk | (~mulk@p5b1123d6.dip0.t-ipconnect.de) |
| 2024-03-06 03:47:15 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds) |
| 2024-03-06 03:47:43 +0100 | otto_s | (~user@p5de2fd4c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-03-06 03:49:18 +0100 | otto_s | (~user@p4ff2730f.dip0.t-ipconnect.de) |
| 2024-03-06 03:50:36 +0100 | Clint | (~Clint@user/clint) (Quit: r) |
| 2024-03-06 03:52:36 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:5718:f097:e277:c029) (Quit: Ping timeout (120 seconds)) |
| 2024-03-06 03:52:55 +0100 | Luj | (~Luj@2a01:e0a:5f9:9681:b583:792c:2154:7ca4) |
| 2024-03-06 03:55:29 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-03-06 03:56:28 +0100 | Clint | (~Clint@user/clint) |
| 2024-03-06 03:56:35 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-03-06 03:59:24 +0100 | pyooque | (~puke@user/puke) |
| 2024-03-06 03:59:24 +0100 | puke | Guest695 |
| 2024-03-06 03:59:24 +0100 | Guest695 | (~puke@user/puke) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2024-03-06 03:59:24 +0100 | pyooque | puke |
| 2024-03-06 04:00:35 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2024-03-06 04:01:30 +0100 | bilegeek | (~bilegeek@2600:1008:b04e:aa70:a7c4:3b99:2cf2:4bc) |
| 2024-03-06 04:05:12 +0100 | td_ | (~td@i5387092D.versanet.de) (Ping timeout: 260 seconds) |
| 2024-03-06 04:07:06 +0100 | td_ | (~td@i53870921.versanet.de) |
| 2024-03-06 04:10:25 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-03-06 04:22:56 +0100 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) (Remote host closed the connection) |
| 2024-03-06 04:37:07 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-06 04:37:41 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-06 04:37:54 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-06 04:42:43 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-03-06 04:44:40 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-03-06 04:49:10 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-06 04:56:02 +0100 | euleritian | (~euleritia@dynamic-176-006-204-213.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-06 04:56:20 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-03-06 05:02:10 +0100 | td_ | (~td@i53870921.versanet.de) (Ping timeout: 256 seconds) |
| 2024-03-06 05:04:09 +0100 | td_ | (~td@i53870914.versanet.de) |
| 2024-03-06 05:20:55 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-06 05:26:56 +0100 | aforemny | (~aforemny@i59F516E5.versanet.de) |
| 2024-03-06 05:28:01 +0100 | aforemny_ | (~aforemny@i59F516FE.versanet.de) (Ping timeout: 264 seconds) |
| 2024-03-06 05:31:24 +0100 | thegeekinside | (~thegeekin@189.217.83.221) (Read error: Connection reset by peer) |
| 2024-03-06 05:35:45 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-06 05:46:22 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-03-06 05:50:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-06 05:56:59 +0100 | RedNifre | (~RedNifre@dslb-088-072-205-004.088.072.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2024-03-06 05:57:27 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-06 06:09:28 +0100 | RedNifre | (~RedNifre@dslb-002-206-121-021.002.206.pools.vodafone-ip.de) |
| 2024-03-06 06:10:45 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-06 06:28:48 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-06 06:47:29 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2024-03-06 06:53:27 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-03-06 07:02:42 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-06 07:04:31 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-03-06 07:05:01 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-03-06 07:06:03 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds) |
| 2024-03-06 07:06:37 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-03-06 07:10:45 +0100 | rancidcake | (~rancidcak@136.226.252.173) |
| 2024-03-06 07:11:29 +0100 | <rancidcake> | Hi. |
| 2024-03-06 07:11:30 +0100 | <rancidcake> | I wanted to ask if values such as "True", "5" are also functions themselves in Haskell |
| 2024-03-06 07:11:30 +0100 | <rancidcake> | I tried searching for this topic but didn't find much |
| 2024-03-06 07:12:25 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-06 07:15:06 +0100 | f-a | (ff2a@joined.irc.for-some.fun) () |
| 2024-03-06 07:16:38 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-03-06 07:16:46 +0100 | <monochrom> | Not functions. |
| 2024-03-06 07:20:30 +0100 | <c_wraith> | It's actually pretty easy to check. If you ask ghci for the type of an expression, functions are the one with (->) as the top-level type constructor. Anything else, and it's not a function. |
| 2024-03-06 07:21:57 +0100 | <c_wraith> | *with the very technical caveat that if the top-level type constructor is polymorphic, maybe it can be instantiated to a function, depending on... a few things. |
| 2024-03-06 07:22:05 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-03-06 07:22:57 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-03-06 07:27:07 +0100 | harveypwca | (~harveypwc@2601:246:c200:2740:15b6:f225:14ff:9821) |
| 2024-03-06 07:27:46 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
| 2024-03-06 07:27:59 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 260 seconds) |
| 2024-03-06 07:29:41 +0100 | rancidcake | (~rancidcak@136.226.252.173) (Quit: Client closed) |
| 2024-03-06 07:30:11 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-03-06 07:30:15 +0100 | michalz | (~michalz@185.246.207.193) |
| 2024-03-06 07:32:59 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-03-06 07:33:52 +0100 | euleritian | (~euleritia@dynamic-176-006-204-213.176.6.pool.telefonica.de) |
| 2024-03-06 07:34:21 +0100 | <Axman6> | True definitely isn't a function, 5 could be though :) |
| 2024-03-06 07:39:17 +0100 | Eoco | (~ian@128.101.131.218) (Ping timeout: 240 seconds) |
| 2024-03-06 07:40:35 +0100 | michalz | (~michalz@185.246.207.193) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-06 07:42:26 +0100 | <jackdk> | I'm glad the newbie's left, Axman6 =P |
| 2024-03-06 07:43:23 +0100 | michalz | (~michalz@185.246.207.205) |
| 2024-03-06 07:43:32 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-03-06 07:44:00 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-03-06 07:47:59 +0100 | rainbyte | (~rainbyte@186.22.19.215) (Ping timeout: 264 seconds) |
| 2024-03-06 07:51:26 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds) |
| 2024-03-06 07:52:15 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-03-06 07:52:17 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-03-06 07:53:01 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-03-06 07:55:01 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-06 07:56:46 +0100 | <haskellbridge> | <Jade> `IsBool` when |
| 2024-03-06 07:57:42 +0100 | <mauke> | class Orable a where { (||) :: a -> a -> a } |
| 2024-03-06 07:58:38 +0100 | <mauke> | instance Orable Int where { 0 || y = y; x || _ = x } |
| 2024-03-06 08:01:42 +0100 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2024-03-06 08:02:20 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-03-06 08:02:54 +0100 | Eoco | (~ian@128.101.131.218) (Read error: Connection reset by peer) |
| 2024-03-06 08:03:39 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-06 08:03:44 +0100 | Eoco | (~ian@128.101.131.218) |
| 2024-03-06 08:05:20 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-06 08:06:38 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-06 08:07:39 +0100 | rancidcake | (~rancidcak@136.226.252.206) |
| 2024-03-06 08:07:51 +0100 | <rancidcake> | Got it. Thanks monochrom and c_wraith |
| 2024-03-06 08:09:20 +0100 | danza_ | (~francesco@151.43.144.117) |
| 2024-03-06 08:10:15 +0100 | euphores | (~SASL_euph@user/euphores) (Remote host closed the connection) |
| 2024-03-06 08:10:33 +0100 | <redmp> | https://hackage.haskell.org/package/Boolean-0.2.4/docs/Data-Boolean.html#t:Boolean |
| 2024-03-06 08:10:46 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-06 08:11:35 +0100 | <redmp> | generalized booleans, just like mauke described :) |
| 2024-03-06 08:18:09 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-06 08:20:41 +0100 | redmp | (~redmp@mobile-166-171-251-145.mycingular.net) (Ping timeout: 272 seconds) |
| 2024-03-06 08:25:32 +0100 | rancidcake | (~rancidcak@136.226.252.206) (Quit: Client closed) |
| 2024-03-06 08:26:18 +0100 | <jackdk> | Just use `instance Monoid m => Monoid (a -> m)` with `Any` or `All` |
| 2024-03-06 08:27:19 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds) |
| 2024-03-06 08:32:51 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2024-03-06 08:36:07 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-06 08:37:05 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-06 08:37:56 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2024-03-06 08:39:25 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-03-06 08:40:27 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-03-06 08:43:57 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-9b67-becf-c72f-15e3.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-03-06 08:44:57 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-8918-88b4-4576-a17c.res6.spectrum.com) |
| 2024-03-06 08:48:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-06 08:50:24 +0100 | srk_ | (~sorki@user/srk) |
| 2024-03-06 08:53:26 +0100 | srk | (~sorki@user/srk) (Ping timeout: 252 seconds) |
| 2024-03-06 08:53:27 +0100 | srk_ | srk |
| 2024-03-06 09:03:13 +0100 | bilegeek | (~bilegeek@2600:1008:b04e:aa70:a7c4:3b99:2cf2:4bc) (Quit: Leaving) |
| 2024-03-06 09:05:23 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-03-06 09:07:21 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Quit: Leaving) |
| 2024-03-06 09:08:15 +0100 | euleritian | (~euleritia@dynamic-176-006-204-213.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-06 09:08:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-06 09:11:57 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-03-06 09:18:04 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-06 09:19:04 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-03-06 09:20:25 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs) |
| 2024-03-06 09:22:22 +0100 | CiaoSen | (~Jura@2a05:5800:2d9:ae00:e6b9:7aff:fe80:3d03) |
| 2024-03-06 09:23:02 +0100 | misterfish | (~misterfis@g250100.upc-g.chello.nl) |
| 2024-03-06 09:31:47 +0100 | danza_ | (~francesco@151.43.144.117) (Ping timeout: 264 seconds) |
| 2024-03-06 09:38:49 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2024-03-06 09:47:11 +0100 | harveypwca | (~harveypwc@2601:246:c200:2740:15b6:f225:14ff:9821) (Quit: Leaving) |
| 2024-03-06 09:54:36 +0100 | danse-nr3 | (~danse@185.211.81.183) |
| 2024-03-06 09:54:58 +0100 | danse-nr3 | (~danse@185.211.81.183) (Remote host closed the connection) |
| 2024-03-06 09:55:20 +0100 | danse-nr3 | (~danse@185.211.81.183) |
| 2024-03-06 10:02:25 +0100 | down200 | (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 2024-03-06 10:03:16 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-03-06 10:03:37 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-06 10:04:37 +0100 | versatile | (~versatile@176.254.244.83) (Ping timeout: 264 seconds) |
| 2024-03-06 10:08:17 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-06 10:11:15 +0100 | misterfish | (~misterfis@g250100.upc-g.chello.nl) (Ping timeout: 255 seconds) |
| 2024-03-06 10:12:38 +0100 | down200 | (~down200@shell.lug.mtu.edu) |
| 2024-03-06 10:13:03 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-06 10:13:04 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
| 2024-03-06 10:13:46 +0100 | versatile | (~versatile@176.254.244.83) |
| 2024-03-06 10:14:31 +0100 | misterfish | (~misterfis@87.215.131.102) |
| 2024-03-06 10:15:45 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-03-06 10:17:24 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-06 10:24:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-06 10:26:55 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-03-06 10:26:58 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2024-03-06 10:27:14 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-03-06 10:30:18 +0100 | down200 | (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 2024-03-06 10:36:16 +0100 | danse-nr3 | (~danse@185.211.81.183) (Ping timeout: 260 seconds) |
| 2024-03-06 10:39:24 +0100 | danse-nr3 | (~danse@151.57.141.137) |
| 2024-03-06 10:39:34 +0100 | yoneda | (~mike@193.206.102.122) |
| 2024-03-06 10:43:31 +0100 | down200 | (~down200@shell.lug.mtu.edu) |
| 2024-03-06 10:46:52 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:f00e:a21c:b8c6:8c07) |
| 2024-03-06 10:54:11 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-03-06 11:06:23 +0100 | fun-safe-math | (~fun-safe-@c-24-21-106-247.hsd1.or.comcast.net) (Ping timeout: 260 seconds) |
| 2024-03-06 11:06:56 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-03-06 11:08:33 +0100 | travgm | (~travgm@238.sub-97-138-17.myvzw.com) (Remote host closed the connection) |
| 2024-03-06 11:08:49 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2024-03-06 11:08:52 +0100 | travgm | (~travgm@2600:100e:a121:ef84:ee5d:18ef:c92e:7dca) |
| 2024-03-06 11:15:12 +0100 | tau_ | (~user@2a04:4540:7203:f00:2167:39c9:6bc9:2a73) |
| 2024-03-06 11:16:22 +0100 | tau_ | (~user@2a04:4540:7203:f00:2167:39c9:6bc9:2a73) (Client Quit) |
| 2024-03-06 11:16:23 +0100 | jau | (~user@2a04:4540:7203:f00:2167:39c9:6bc9:2a73) |
| 2024-03-06 11:21:55 +0100 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2024-03-06 11:25:10 +0100 | kuribas | (~user@2a02:1808:4:fcae:871c:8a8b:83c9:df0a) |
| 2024-03-06 11:25:44 +0100 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 260 seconds) |
| 2024-03-06 11:35:33 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-03-06 11:43:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-06 11:47:37 +0100 | zer0bitz_ | zer0bitz |
| 2024-03-06 11:47:53 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-03-06 11:49:24 +0100 | pyooque | (~puke@user/puke) |
| 2024-03-06 11:49:24 +0100 | puke | Guest2177 |
| 2024-03-06 11:49:24 +0100 | pyooque | puke |
| 2024-03-06 11:49:28 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-03-06 11:50:51 +0100 | gehmehgeh | gmg |
| 2024-03-06 11:51:57 +0100 | Guest2177 | (~puke@user/puke) (Ping timeout: 268 seconds) |
| 2024-03-06 11:56:23 +0100 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-06 11:58:37 +0100 | kuribas | (~user@2a02:1808:4:fcae:871c:8a8b:83c9:df0a) (Ping timeout: 264 seconds) |
| 2024-03-06 12:06:32 +0100 | chele | (~chele@user/chele) |
| 2024-03-06 12:07:48 +0100 | CiaoSen | (~Jura@2a05:5800:2d9:ae00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-03-06 12:11:19 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4382:9a13:8c84:8575) |
| 2024-03-06 12:12:23 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2024-03-06 12:14:28 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) (Ping timeout: 246 seconds) |
| 2024-03-06 12:14:44 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds) |
| 2024-03-06 12:15:16 +0100 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2024-03-06 12:16:05 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-06 12:30:53 +0100 | jinsun_ | (~jinsun@user/jinsun) |
| 2024-03-06 12:30:53 +0100 | jinsun | Guest943 |
| 2024-03-06 12:30:53 +0100 | Guest943 | (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2024-03-06 12:30:53 +0100 | jinsun_ | jinsun |
| 2024-03-06 12:32:59 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-06 12:33:56 +0100 | phma | (phma@2001:5b0:211b:d448:4014:b5f0:331f:c237) (Read error: Connection reset by peer) |
| 2024-03-06 12:34:23 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-03-06 12:35:26 +0100 | phma | (phma@2001:5b0:2172:f378:1118:b917:8d78:aa40) |
| 2024-03-06 12:43:05 +0100 | vektor | (~vektor@IP-149249153083.pools.medianet-world.de) |
| 2024-03-06 12:43:40 +0100 | vektor | (~vektor@IP-149249153083.pools.medianet-world.de) (Client Quit) |
| 2024-03-06 12:50:26 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-06 12:53:42 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-03-06 12:59:15 +0100 | Nixkernal_ | (~Nixkernal@243.212.61.188.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-03-06 13:00:06 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2024-03-06 13:03:24 +0100 | jinsun_ | (~jinsun@user/jinsun) |
| 2024-03-06 13:03:24 +0100 | jinsun | (~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2024-03-06 13:03:24 +0100 | jinsun_ | jinsun |
| 2024-03-06 13:07:13 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-06 13:16:15 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection) |
| 2024-03-06 13:21:23 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-06 13:22:43 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:5ab5:db14:e57d:d013) |
| 2024-03-06 13:25:49 +0100 | <ph88> | c_wraith, thanks for the tip about the database migration it worked well (functionally) to put another version in another module. The only thing is that because so many types depend on each other i have to copy large swats of code, a big drag on productivity writing those migrations. I was considering using type parameters so i could pass in another version to types on higher levels, but decided against it because i don't want |
| 2024-03-06 13:25:49 +0100 | <ph88> | migration specific code to be part of the main code. Still most of the migration stuff is solving type errors where things are not pointing to the correct version and then copying over relevant data types and functions |
| 2024-03-06 13:26:55 +0100 | <ph88> | Which the language had something build in to version data types so that i don't have to do this boring copy pasting |
| 2024-03-06 13:26:58 +0100 | <ph88> | Wish * |
| 2024-03-06 13:36:21 +0100 | <ski> | ("considering using type parameters so i could pass in another version to types on higher levels" -- reminded me of backpack, parameterized modules) |
| 2024-03-06 13:38:46 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Read error: Connection reset by peer) |
| 2024-03-06 13:40:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-06 13:41:02 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-03-06 13:42:12 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-06 13:42:35 +0100 | rainbyte | (~rainbyte@186.22.19.215) |
| 2024-03-06 13:51:01 +0100 | AlexZenon | (~alzenon@5.139.232.115) (Quit: ;-) |
| 2024-03-06 13:51:23 +0100 | AlexNoo | (~AlexNoo@5.139.232.115) (Quit: Leaving) |
| 2024-03-06 13:53:35 +0100 | <ph88> | ski, ye just that i like to stay with stack for the moment and there is no backpack support there |
| 2024-03-06 13:53:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-06 13:54:31 +0100 | <ph88> | How can i pass in a flag (Boolean) to my program with the build tools? I like to enable/disable some code depending whether it's a development or release build |
| 2024-03-06 13:55:08 +0100 | CiaoSen | (~Jura@2a05:5800:2d9:ae00:e6b9:7aff:fe80:3d03) |
| 2024-03-06 14:10:28 +0100 | danse-nr3 | (~danse@151.57.141.137) (Ping timeout: 260 seconds) |
| 2024-03-06 14:14:34 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-03-06 14:19:12 +0100 | <dmj`> | ph88: cabal flags are good for that, combined w/ cpp-options you can enable / disable code within a module (using the c preprocessor), or w/ exposed-modules to swap out module implementations |
| 2024-03-06 14:19:38 +0100 | <dmj`> | ph88: see how text does it https://hackage.haskell.org/package/text-2.1.1/text.cabal |
| 2024-03-06 14:21:20 +0100 | <ph88> | can i use cabal flags with stack ? |
| 2024-03-06 14:21:46 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-03-06 14:22:25 +0100 | AlexZenon | (~alzenon@5.139.232.115) |
| 2024-03-06 14:22:27 +0100 | <dmj`> | ph88: yea, stack still uses the Cabal library, which is where those get handled |
| 2024-03-06 14:22:33 +0100 | AlexNoo | (~AlexNoo@5.139.232.115) |
| 2024-03-06 14:23:52 +0100 | infinity0 | (~infinity0@pwned.gg) |
| 2024-03-06 14:24:42 +0100 | xstill_ | (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 2024-03-06 14:25:31 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 2024-03-06 14:31:00 +0100 | destituion | (~destituio@2a02:2121:34a:61a6:52b6:3281:6a26:5f63) (Ping timeout: 260 seconds) |
| 2024-03-06 14:31:13 +0100 | destituion | (~destituio@85.221.111.174) |
| 2024-03-06 14:32:26 +0100 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2024-03-06 14:38:47 +0100 | xstill_ | (xstill@fimu/xstill) |
| 2024-03-06 14:40:26 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-03-06 14:44:07 +0100 | danse-nr3 | (~danse@151.57.166.196) |
| 2024-03-06 15:08:19 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2024-03-06 15:14:29 +0100 | thegeekinside | (~thegeekin@189.217.83.221) |
| 2024-03-06 15:20:44 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2024-03-06 15:21:07 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-06 15:31:03 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2024-03-06 15:40:26 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-03-06 15:40:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-06 15:41:07 +0100 | euleritian | (~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) |
| 2024-03-06 15:41:56 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-06 15:49:05 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-03-06 15:51:18 +0100 | AlexNoo_ | (~AlexNoo@94.233.241.172) |
| 2024-03-06 15:53:23 +0100 | AlexZenon | (~alzenon@5.139.232.115) (Ping timeout: 260 seconds) |
| 2024-03-06 15:54:47 +0100 | AlexNoo | (~AlexNoo@5.139.232.115) (Ping timeout: 260 seconds) |
| 2024-03-06 15:55:35 +0100 | justache | (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-06 15:56:48 +0100 | justache | (~justache@user/justache) |
| 2024-03-06 15:57:19 +0100 | AlexZenon | (~alzenon@94.233.241.172) |
| 2024-03-06 15:58:51 +0100 | AlexZenon_2 | (~alzenon@94.233.241.172) |
| 2024-03-06 15:59:13 +0100 | raym | (~ray@user/raym) (Ping timeout: 264 seconds) |
| 2024-03-06 15:59:56 +0100 | raym | (~ray@user/raym) |
| 2024-03-06 16:02:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-06 16:04:19 +0100 | justache | (~justache@user/justache) (Remote host closed the connection) |
| 2024-03-06 16:05:07 +0100 | justache | (~justache@user/justache) |
| 2024-03-06 16:05:28 +0100 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap2371) |
| 2024-03-06 16:05:55 +0100 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2024-03-06 16:10:58 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-03-06 16:11:01 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-03-06 16:12:47 +0100 | AlexZenon_2 | (~alzenon@94.233.241.172) (Quit: ;-) |
| 2024-03-06 16:14:08 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-03-06 16:14:48 +0100 | AlexNoo_ | AlexNoo |
| 2024-03-06 16:17:58 +0100 | justache | (~justache@user/justache) (Remote host closed the connection) |
| 2024-03-06 16:19:09 +0100 | justache | (~justache@user/justache) |
| 2024-03-06 16:28:13 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-03-06 16:36:31 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Quit: fBNC - https://bnc4free.com) |
| 2024-03-06 16:37:25 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 2024-03-06 16:40:12 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-06 16:41:37 +0100 | <raehik> | hi folks. I'm writing some C-ish code and want a low-level u32 array. I originally went to the array package, but it feels weird, particularly immutable arrays. is primitive the "better" choice? |
| 2024-03-06 16:43:27 +0100 | <raehik> | array 's unsafe interface is lacking and immutable bytearrays are wonky:there's an open issue complaining about inefficient construction, and they seem not to provide any non-copying freeze/thaw (which I think can be useful, safely?) |
| 2024-03-06 16:44:01 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-03-06 16:44:33 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-06 16:47:21 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-06 16:49:03 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-03-06 16:49:32 +0100 | <dmj`> | raehik: do you want to mutate the array or just construct and read from it? If you want to mutate I'd check out vector, specifically unboxed mutable vectors, it can also work with the PrimState type family to let you choose mutability in IO or ST. |
| 2024-03-06 16:50:10 +0100 | justache | (~justache@user/justache) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-06 16:51:01 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2024-03-06 16:51:03 +0100 | <raehik> | dmj`: primarily mutation, but I was looking immutable too for better safety (I used too much IO in my first draft and it's nice to provide a pure ver) |
| 2024-03-06 16:51:22 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2024-03-06 16:51:32 +0100 | <raehik> | I'm a vector enjoyer but, isn't it for resizeable arrays? My array doesn't change shape or size. |
| 2024-03-06 16:52:09 +0100 | <raehik> | (and I have assumed there's some perf overhead lost for supporting that) |
| 2024-03-06 16:53:00 +0100 | euleritian | (~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-06 16:53:38 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-06 16:54:05 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
| 2024-03-06 16:54:13 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-03-06 16:56:31 +0100 | <raehik> | hrm no perhaps not, underlying Vector stores a plain ByteArray. perhaps vector is the choice! |
| 2024-03-06 16:56:51 +0100 | <dmj`> | raehik: if your vector is mutable you can resize it, if its immutable you can only update it in place w/ freeze + thaw. There's a nice modify function helper for that. |
| 2024-03-06 16:56:59 +0100 | Vq | (~vq@81-231-76-8-no600.tbcn.telia.com) (Ping timeout: 264 seconds) |
| 2024-03-06 16:57:36 +0100 | <raehik> | ahhh vector uses the primitive pkg for a handful of things |
| 2024-03-06 16:57:45 +0100 | Vq | (~vq@81-231-76-8-no600.tbcn.telia.com) |
| 2024-03-06 16:58:23 +0100 | <raehik> | dmj`: great, that's what I was looking for! array does not have that |
| 2024-03-06 17:01:09 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-06 17:01:37 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-06 17:02:17 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:f00e:a21c:b8c6:8c07) (Read error: Connection reset by peer) |
| 2024-03-06 17:02:21 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 2024-03-06 17:06:43 +0100 | <ph88> | suffering with llvm compile times, but worth it :> |
| 2024-03-06 17:07:01 +0100 | Inst | (~Inst@120.244.192.75) (Read error: Connection reset by peer) |
| 2024-03-06 17:08:31 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-03-06 17:09:04 +0100 | euleritian | (~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) |
| 2024-03-06 17:09:18 +0100 | MasseR46 | (thelounge@51.15.143.128) (Quit: The Lounge - https://thelounge.chat) |
| 2024-03-06 17:09:49 +0100 | <dmj`> | raehik: fair warning though, modify does copy the entire array into a new array, so if you're doing that a lot, a mutable vector might be more performant |
| 2024-03-06 17:10:09 +0100 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 272 seconds) |
| 2024-03-06 17:10:38 +0100 | <raehik> | no yeah I know there's some copying involved. array pkg was too weird and seemed overeager to copy |
| 2024-03-06 17:11:27 +0100 | <raehik> | I wrote a mutable version with array which is certainly more efficient but it's stuck in IO land. nice to have a pure ver too |
| 2024-03-06 17:13:05 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-03-06 17:13:17 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-06 17:13:35 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-03-06 17:14:16 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-06 17:15:17 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-03-06 17:15:33 +0100 | <c_wraith> | raehik: fwiw, Array's unsafeFreeze/unsafeThaw are non-copying, assuming the representations are equivalent. But note the name. Both of those operations tend to be intensely unsafe. (freezing is easier to get right than thawing, but both can really go wrong) |
| 2024-03-06 17:16:49 +0100 | <raehik> | c_wraith: right. in my head I should be able to thaw array A to array B, process array B, then (unsafe)freeze B and wrap it up behind an unsafePerformIO |
| 2024-03-06 17:17:15 +0100 | <c_wraith> | yeah, that's a pattern begging to result in undefined behavior. |
| 2024-03-06 17:17:26 +0100 | <raehik> | oh, where have I gone wrong |
| 2024-03-06 17:17:50 +0100 | <raehik> | do you have to copy twice in this situation in general, rather than just once? :( |
| 2024-03-06 17:18:03 +0100 | <c_wraith> | Oh. If the thaw is safe, then that works. |
| 2024-03-06 17:18:12 +0100 | <c_wraith> | but don't unsafePerformIO, it's unnecessary |
| 2024-03-06 17:18:16 +0100 | <c_wraith> | you can just use ST |
| 2024-03-06 17:18:47 +0100 | <raehik> | ...I've never really understood the difference lol |
| 2024-03-06 17:19:04 +0100 | <raehik> | IO is just a ST wrapper in my head |
| 2024-03-06 17:19:13 +0100 | <c_wraith> | well, runST is safe (assuming there's no use of unsafeInterleaveST) |
| 2024-03-06 17:19:20 +0100 | <c_wraith> | that's a pretty big difference! |
| 2024-03-06 17:19:44 +0100 | <raehik> | OH! interesting god I have never paid attention to that type sig |
| 2024-03-06 17:20:45 +0100 | <c_wraith> | runST ensures that unless you're using unsafe ST operations, you're not running general IO and that references don't leak between contexts. |
| 2024-03-06 17:20:57 +0100 | danse-nr3 | (~danse@151.57.166.196) (Ping timeout: 268 seconds) |
| 2024-03-06 17:21:19 +0100 | <raehik> | c_wraith: would you use the array pkg or vector pkg for something like this / what have you used before |
| 2024-03-06 17:21:51 +0100 | <c_wraith> | So it's a handy way to say "this block of code is more efficient if it uses mutation internally, but it doesn't need to be externally visible" |
| 2024-03-06 17:22:00 +0100 | <c_wraith> | I've used both. |
| 2024-03-06 17:23:11 +0100 | <c_wraith> | The only real differences I see that is the use of Ix to support more interesting bounds than [0, n) and that vector tries to do fusion magic that sometimes works. |
| 2024-03-06 17:25:39 +0100 | euleritian | (~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-06 17:26:03 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-06 17:27:32 +0100 | danse-nr3 | (~danse@151.57.166.196) |
| 2024-03-06 17:29:16 +0100 | destituion | (~destituio@85.221.111.174) (Ping timeout: 260 seconds) |
| 2024-03-06 17:30:34 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-03-06 17:31:11 +0100 | euleritian | (~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) |
| 2024-03-06 17:37:20 +0100 | destituion | (~destituio@2a02:2121:34a:61a6:afbf:6cfe:62a6:9770) |
| 2024-03-06 17:41:27 +0100 | euleritian | (~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-06 17:43:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-06 17:47:17 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-03-06 17:48:10 +0100 | euleritian | (~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) |
| 2024-03-06 17:59:09 +0100 | justache | (~justache@user/justache) |
| 2024-03-06 17:59:30 +0100 | Nikopol | (nikopol@user/astrorigin) (Leaving) |
| 2024-03-06 18:02:44 +0100 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-03-06 18:07:55 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-06 18:09:16 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-03-06 18:09:45 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-03-06 18:10:20 +0100 | mei | (~mei@user/mei) |
| 2024-03-06 18:16:21 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 255 seconds) |
| 2024-03-06 18:19:11 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-03-06 18:22:00 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-03-06 18:29:52 +0100 | danse-nr3 | (~danse@151.57.166.196) (Read error: Connection reset by peer) |
| 2024-03-06 18:30:03 +0100 | danse-nr3 | (~danse@151.43.150.238) |
| 2024-03-06 18:34:23 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-03-06 18:38:18 +0100 | srk_ | (~sorki@user/srk) |
| 2024-03-06 18:39:49 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-06 18:40:27 +0100 | srk | (~sorki@user/srk) (Ping timeout: 260 seconds) |
| 2024-03-06 18:41:02 +0100 | srk_ | srk |
| 2024-03-06 18:46:19 +0100 | Square2 | (~Square4@user/square) |
| 2024-03-06 18:46:49 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-03-06 18:47:35 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-03-06 18:47:35 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-03-06 18:47:57 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2024-03-06 18:50:57 +0100 | euleritian | (~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-06 18:51:15 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-06 18:52:54 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-06 18:53:27 +0100 | srz | (~srz@181.228.49.93) |
| 2024-03-06 18:55:52 +0100 | <raehik> | c_wraith: thanks for the tips earlier, with vector I now have a much more sensible implementation that's hardly slower and much more useful. and hardly touch unsafe* funcs :) |
| 2024-03-06 18:59:33 +0100 | CiaoSen | (~Jura@2a05:5800:2d9:ae00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-03-06 18:59:53 +0100 | Square | (~Square@user/square) |
| 2024-03-06 19:01:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-06 19:02:15 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2024-03-06 19:04:00 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-06 19:04:37 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-06 19:06:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-06 19:06:18 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-03-06 19:07:47 +0100 | danse-nr3 | (~danse@151.43.150.238) (Ping timeout: 264 seconds) |
| 2024-03-06 19:16:03 +0100 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-03-06 19:22:10 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-03-06 19:25:39 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-06 19:28:05 +0100 | mei | (~mei@user/mei) |
| 2024-03-06 19:38:46 +0100 | redmp | (~redmp@eduroam-169-233-149-113.ucsc.edu) |
| 2024-03-06 19:39:24 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-06 19:41:43 +0100 | pavonia | (~user@user/siracusa) |
| 2024-03-06 19:43:08 +0100 | phma | (phma@2001:5b0:2172:f378:1118:b917:8d78:aa40) (Read error: Connection reset by peer) |
| 2024-03-06 19:44:03 +0100 | phma | (~phma@host-67-44-208-140.hnremote.net) |
| 2024-03-06 19:45:09 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-03-06 19:46:34 +0100 | bontaq` | (~user@165.1.205.230) |
| 2024-03-06 19:48:20 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-03-06 19:51:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-06 19:52:16 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 246 seconds) |
| 2024-03-06 19:53:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-06 19:53:57 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-06 19:54:16 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-06 19:59:52 +0100 | redmp | (~redmp@eduroam-169-233-149-113.ucsc.edu) (Ping timeout: 255 seconds) |
| 2024-03-06 20:00:05 +0100 | redmp | (~redmp@eduroam-169-233-149-113.ucsc.edu) |
| 2024-03-06 20:00:35 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-06 20:01:16 +0100 | bontaq`` | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-03-06 20:03:00 +0100 | bontaq` | (~user@165.1.205.230) (Ping timeout: 255 seconds) |
| 2024-03-06 20:03:09 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-06 20:04:28 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-06 20:07:57 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-06 20:08:29 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-03-06 20:10:16 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-03-06 20:13:33 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-06 20:14:43 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-06 20:14:51 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-06 20:17:49 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-03-06 20:19:02 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2024-03-06 20:20:15 +0100 | bontaq`` | (~user@ool-45779c03.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-06 20:20:28 +0100 | bontaq`` | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-03-06 20:25:04 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-06 20:30:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-06 20:34:30 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) |
| 2024-03-06 20:38:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-06 20:39:15 +0100 | jau | (~user@2a04:4540:7203:f00:2167:39c9:6bc9:2a73) (Quit: Leaving) |
| 2024-03-06 20:44:02 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-03-06 20:44:39 +0100 | euleritian | (~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) |
| 2024-03-06 20:45:24 +0100 | travgm_ | (~travgm@2600:100e:a121:ef84:212e:f7c5:fded:46ea) |
| 2024-03-06 20:49:04 +0100 | travgm | (~travgm@2600:100e:a121:ef84:ee5d:18ef:c92e:7dca) (Ping timeout: 268 seconds) |
| 2024-03-06 20:50:00 +0100 | redmp | (~redmp@eduroam-169-233-149-113.ucsc.edu) (Ping timeout: 268 seconds) |
| 2024-03-06 20:50:07 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-06 20:52:31 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-03-06 20:52:34 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.2.1) |
| 2024-03-06 20:53:11 +0100 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) |
| 2024-03-06 20:53:49 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-03-06 20:58:23 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2024-03-06 20:59:50 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-03-06 21:00:50 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-03-06 21:06:42 +0100 | euleritian | (~euleritia@dynamic-176-006-184-098.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-06 21:07:00 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-06 21:14:49 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-06 21:19:14 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-03-06 21:24:25 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-06 21:25:25 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-03-06 21:28:38 +0100 | caubert | (~caubert@user/caubert) (Quit: WeeChat 4.0.4) |
| 2024-03-06 21:35:59 +0100 | caubert | (~caubert@user/caubert) |
| 2024-03-06 21:38:13 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-03-06 21:42:35 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-06 21:43:46 +0100 | phma | (~phma@host-67-44-208-140.hnremote.net) (Read error: Connection reset by peer) |
| 2024-03-06 21:44:39 +0100 | phma | (~phma@2001:5b0:212a:dbd8:9225:61ca:7b7d:b499) |
| 2024-03-06 21:45:09 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-06 21:48:08 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-06 21:56:02 +0100 | thegeekinside | (~thegeekin@189.217.83.221) (Read error: Connection reset by peer) |
| 2024-03-06 21:57:04 +0100 | caubert | (~caubert@user/caubert) (Quit: WeeChat 4.0.4) |
| 2024-03-06 21:57:11 +0100 | teqwve | (teqwve@2a01:4f8:c2c:e5b0::1) (Quit: cya) |
| 2024-03-06 21:58:08 +0100 | teqwve | (teqwve@static.141.38.201.195.clients.your-server.de) |
| 2024-03-06 21:58:20 +0100 | thegeekinside | (~thegeekin@189.217.83.221) |
| 2024-03-06 21:58:21 +0100 | thegeekinside | (~thegeekin@189.217.83.221) (Read error: Connection reset by peer) |
| 2024-03-06 21:59:11 +0100 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2024-03-06 21:59:57 +0100 | caubert | (~caubert@user/caubert) |
| 2024-03-06 22:01:56 +0100 | pavonia | (~user@user/siracusa) |
| 2024-03-06 22:02:45 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-03-06 22:13:14 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-06 22:13:28 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-03-06 22:17:34 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-03-06 22:39:10 +0100 | turlando | (~turlando@user/turlando) (Remote host closed the connection) |
| 2024-03-06 22:40:25 +0100 | turlando | (~turlando@user/turlando) |
| 2024-03-06 22:40:53 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-03-06 22:45:11 +0100 | srz | (~srz@181.228.49.93) (Ping timeout: 272 seconds) |
| 2024-03-06 22:45:49 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-03-06 22:52:52 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-03-06 23:00:13 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-03-06 23:02:14 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2024-03-06 23:02:41 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-06 23:04:49 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-03-06 23:07:42 +0100 | thegeekinside | (~thegeekin@189.217.83.221) |
| 2024-03-06 23:13:10 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 246 seconds) |
| 2024-03-06 23:15:13 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-03-06 23:17:06 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-b056-3594-8200-bad6-a60a.rev.sfr.net) |
| 2024-03-06 23:18:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-06 23:18:35 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-03-06 23:25:33 +0100 | bontaq`` | (~user@ool-45779c03.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-06 23:25:46 +0100 | bontaq`` | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-03-06 23:27:28 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-03-06 23:27:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-06 23:29:23 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-03-06 23:41:41 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2024-03-06 23:42:30 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-06 23:44:38 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-06 23:48:03 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-03-06 23:51:48 +0100 | redmp | (~redmp@eduroam-169-233-149-113.ucsc.edu) |
| 2024-03-06 23:56:35 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 256 seconds) |