| 2025-05-10 00:05:22 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-05-10 00:06:23 +0000 | <EvanR> | or a type class |
| 2025-05-10 00:07:24 +0000 | <EvanR> | or yet another GADT to express the element of relation |
| 2025-05-10 00:08:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-10 00:09:45 +0000 | <zfnmxt> | Right right. okay, will do. Thanks again! |
| 2025-05-10 00:18:57 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-05-10 00:19:27 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-05-10 00:24:05 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-05-10 00:24:59 +0000 | euleritian | (~euleritia@77.23.248.100) (Ping timeout: 260 seconds) |
| 2025-05-10 00:25:50 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-10 00:28:49 +0000 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-10 00:38:44 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-10 00:39:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-10 00:40:44 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-10 00:50:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 00:53:53 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-10 00:56:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-10 01:06:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 01:08:20 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-10 01:08:33 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-10 01:09:03 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-10 01:10:59 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-10 01:11:12 +0000 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) |
| 2025-05-10 01:11:33 +0000 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-10 01:11:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-10 01:11:49 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-10 01:15:39 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-10 01:16:02 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-10 01:22:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 01:26:39 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-10 01:27:01 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-10 01:34:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-05-10 01:39:28 +0000 | beka_ | (~beka@2600:382:7f22:d94d:377b:c2ed:ee02:e087) |
| 2025-05-10 01:42:18 +0000 | beka | (~beka@2607:f598:bd4a:330:66d1:97e6:9764:f51f) (Ping timeout: 276 seconds) |
| 2025-05-10 01:53:31 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-10 01:54:51 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-10 01:54:52 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-10 01:56:17 +0000 | img | (~img@user/img) img |
| 2025-05-10 02:02:46 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-05-10 02:09:52 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-10 02:11:17 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-05-10 02:13:44 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-10 02:20:33 +0000 | td_ | (~td@i53870906.versanet.de) (Ping timeout: 248 seconds) |
| 2025-05-10 02:21:59 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-05-10 02:22:18 +0000 | td_ | (~td@i53870903.versanet.de) td_ |
| 2025-05-10 02:22:28 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-05-10 02:26:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-10 02:38:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 02:43:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-10 02:46:37 +0000 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-10 02:47:23 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-10 02:48:36 +0000 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-05-10 02:51:43 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-10 02:54:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 02:54:34 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-10 03:09:07 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Read error: Connection reset by peer) |
| 2025-05-10 03:48:43 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) (Ping timeout: 252 seconds) |
| 2025-05-10 04:01:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-10 04:06:30 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-05-10 04:09:25 +0000 | beka_ | (~beka@2600:382:7f22:d94d:377b:c2ed:ee02:e087) (Ping timeout: 248 seconds) |
| 2025-05-10 04:11:29 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 2025-05-10 04:12:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 04:12:48 +0000 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-05-10 04:17:26 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-10 04:17:55 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-10 04:20:11 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) |
| 2025-05-10 04:28:09 +0000 | beka_ | (~beka@207-53-253-162.PUBLIC.monkeybrains.net) |
| 2025-05-10 04:38:36 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-10 04:39:34 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-10 04:45:31 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-05-10 05:01:41 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) (Ping timeout: 248 seconds) |
| 2025-05-10 05:03:14 +0000 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-05-10 05:03:31 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) |
| 2025-05-10 05:13:55 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2025-05-10 05:14:48 +0000 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2025-05-10 05:14:48 +0000 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2025-05-10 05:14:48 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-05-10 05:16:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-10 05:17:22 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-10 05:27:25 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-10 05:28:56 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
| 2025-05-10 05:29:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 05:29:23 +0000 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2025-05-10 05:29:23 +0000 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2025-05-10 05:29:23 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-05-10 05:35:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-10 05:37:09 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-05-10 05:45:24 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 276 seconds) |
| 2025-05-10 05:47:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 05:50:59 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-10 05:52:48 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-10 05:53:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-10 05:53:42 +0000 | tavare | (~tavare@user/tavare) (Read error: Connection reset by peer) |
| 2025-05-10 05:55:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-10 05:58:17 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-10 06:04:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 06:10:10 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-10 06:11:14 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-10 06:12:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-10 06:23:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 06:26:41 +0000 | Square | (~Square@user/square) Square |
| 2025-05-10 06:27:05 +0000 | nckx | (nckx@libera/staff/owl/nckx) nckx |
| 2025-05-10 06:34:11 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-10 06:51:24 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-10 06:52:39 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-05-10 06:59:25 +0000 | beka_ | (~beka@207-53-253-162.PUBLIC.monkeybrains.net) (Ping timeout: 276 seconds) |
| 2025-05-10 06:59:42 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f36942ae433a8a88c39.dip0.t-ipconnect.de) |
| 2025-05-10 07:00:01 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-10 07:00:40 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-10 07:01:51 +0000 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-05-10 07:02:23 +0000 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-05-10 07:03:18 +0000 | <ski> | "if an instance of Alternative is also an instance of Monad, then empty >>= k = ..." -- i don't really like laws which don't belong to any particular type class. if there should be a (non-derivable) law relating operations of two type classes, neither of which being a super class of the other, then make a new subclass of both, even if only to host the extra law(s), having zero additional methods. (yes, and |
| 2025-05-10 07:03:24 +0000 | <ski> | imho, that about `Bounded' and `Enum' is a mistake .. as would be law relating `Read' and `Show' -- without having common subclasses for these) |
| 2025-05-10 07:05:36 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-05-10 07:08:53 +0000 | beka_ | (~beka@2607:f598:bd4a:330:66d1:97e6:9764:f51f) |
| 2025-05-10 07:09:20 +0000 | <ski> | mauke : "in OO, is there a term for mutator methods that don't actually mutate the object but return a modified copy?" -- i would probably say "clone method" (the term "functional update" has also been used). cf. "Functional objects" <https://ocaml.org/manual/5.3/objectexamples.html#s:functional-objects>, and the next "Cloning objects" section, in the OCaml manual |
| 2025-05-10 07:11:32 +0000 | razetime | (~quassel@49.207.228.134) |
| 2025-05-10 07:15:40 +0000 | beka_ | (~beka@2607:f598:bd4a:330:66d1:97e6:9764:f51f) (Ping timeout: 276 seconds) |
| 2025-05-10 07:21:15 +0000 | <Maxdamantus> | Lombok (Java) originally called them "wither"s I think, corresponding with a `@Wither` annotation. |
| 2025-05-10 07:21:36 +0000 | <Maxdamantus> | though they apparently changed it to `@With` before it was stabilised. |
| 2025-05-10 07:22:54 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-10 07:25:52 +0000 | beka_ | (~beka@170-39-168-234.PUBLIC.monkeybrains.net) |
| 2025-05-10 07:33:09 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 248 seconds) |
| 2025-05-10 07:50:15 +0000 | razetime | (~quassel@49.207.228.134) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-05-10 07:50:36 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-10 08:03:51 +0000 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::49:f6) (Remote host closed the connection) |
| 2025-05-10 08:04:16 +0000 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::49:f6) manwithluck |
| 2025-05-10 08:06:53 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-10 08:08:33 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-10 08:17:08 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-10 08:18:04 +0000 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::49:f6) (Ping timeout: 260 seconds) |
| 2025-05-10 08:18:23 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-10 08:18:36 +0000 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::49:f6) manwithluck |
| 2025-05-10 08:25:29 +0000 | milan | (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-05-10 08:26:36 +0000 | milan | (~milan@88.212.61.169) |
| 2025-05-10 08:33:39 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-05-10 08:33:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-10 08:45:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 08:48:37 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds) |
| 2025-05-10 09:01:34 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-10 09:01:37 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-10 09:46:23 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-10 09:49:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-10 09:49:26 +0000 | pavonia | PavWhoSays`Ni` |
| 2025-05-10 09:51:23 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
| 2025-05-10 09:53:48 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-10 10:00:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 10:02:47 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-10 10:10:28 +0000 | milan | (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-05-10 10:12:45 +0000 | alexherbo2 | (~alexherbo@2a02-8440-260d-6d3d-606b-96ad-70dd-5c5e.rev.sfr.net) alexherbo2 |
| 2025-05-10 10:22:35 +0000 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 2025-05-10 10:23:49 +0000 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-05-10 10:28:48 +0000 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::49:f6) (Ping timeout: 276 seconds) |
| 2025-05-10 10:29:03 +0000 | manwithluck | (~manwithlu@104.28.210.121) manwithluck |
| 2025-05-10 10:30:20 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds) |
| 2025-05-10 10:58:33 +0000 | <hellwolf> | https://paste.tomsmeding.com/elGjL2Go what do people do without GADT to express such a data type? |
| 2025-05-10 11:00:04 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-10 11:00:38 +0000 | <int-e> | erase the type argument, hope for the best |
| 2025-05-10 11:02:06 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-10 11:04:09 +0000 | <hellwolf> | right. runtime asserts or tests. |
| 2025-05-10 11:04:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-10 11:08:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 11:14:46 +0000 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-10 11:14:51 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-10 11:16:17 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-10 11:18:36 +0000 | tolgo | (~Thunderbi@199.115.144.130) (Client Quit) |
| 2025-05-10 11:19:34 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-10 11:28:17 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-05-10 11:35:24 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
| 2025-05-10 11:36:15 +0000 | alexherbo2 | (~alexherbo@2a02-8440-260d-6d3d-606b-96ad-70dd-5c5e.rev.sfr.net) (Remote host closed the connection) |
| 2025-05-10 11:36:25 +0000 | alexherbo2 | (~alexherbo@2a02-8440-260d-6d3d-606b-96ad-70dd-5c5e.rev.sfr.net) alexherbo2 |
| 2025-05-10 11:39:23 +0000 | alexherbo2 | (~alexherbo@2a02-8440-260d-6d3d-606b-96ad-70dd-5c5e.rev.sfr.net) (Remote host closed the connection) |
| 2025-05-10 11:42:39 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-05-10 11:45:13 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-10 11:45:57 +0000 | floyza | (~gavin@63.238.216.34) gdown |
| 2025-05-10 11:49:53 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-05-10 11:56:30 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-05-10 12:11:35 +0000 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-05-10 12:12:38 +0000 | euleritian | (~euleritia@dynamic-176-006-131-190.176.6.pool.telefonica.de) |
| 2025-05-10 12:12:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-10 12:15:32 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-05-10 12:24:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 12:25:28 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-05-10 12:30:41 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-05-10 12:31:39 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-10 12:32:57 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Client Quit) |
| 2025-05-10 12:33:25 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 248 seconds) |
| 2025-05-10 12:33:36 +0000 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 276 seconds) |
| 2025-05-10 12:34:24 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-10 12:34:26 +0000 | PavWhoSays`Ni` | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-10 12:36:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-10 12:36:52 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-05-10 12:41:23 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-10 12:44:22 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-10 12:48:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 12:52:25 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-10 12:55:03 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-10 12:56:25 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-05-10 12:58:24 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-10 13:00:20 +0000 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-05-10 13:01:50 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-10 13:03:30 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-10 13:03:53 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-10 13:06:19 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
| 2025-05-10 13:14:35 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-10 13:21:39 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 245 seconds) |
| 2025-05-10 13:32:00 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-10 13:32:11 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-05-10 13:32:17 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-05-10 13:45:40 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 276 seconds) |
| 2025-05-10 13:47:01 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-10 13:47:50 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-10 13:48:06 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-10 13:51:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-05-10 13:53:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-10 13:54:41 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-10 13:55:16 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-10 13:58:52 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-05-10 14:04:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 14:39:45 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
| 2025-05-10 14:43:38 +0000 | euleritian | (~euleritia@dynamic-176-006-131-190.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-10 14:43:57 +0000 | euleritian | (~euleritia@95.90.209.105) |
| 2025-05-10 14:59:05 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2025-05-10 14:59:29 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2025-05-10 15:02:55 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-10 15:03:14 +0000 | muham | (~muham@39.37.216.116) |
| 2025-05-10 15:06:24 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-05-10 15:14:45 +0000 | acidjnk_new | (~acidjnk@p200300d6e71c4f36942ae433a8a88c39.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-05-10 15:21:11 +0000 | muham | (~muham@39.37.216.116) (Quit: Leaving) |
| 2025-05-10 15:22:47 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-05-10 15:30:05 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-10 15:40:49 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 245 seconds) |
| 2025-05-10 15:41:25 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-10 15:43:48 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-05-10 15:48:06 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-05-10 15:50:32 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-05-10 15:59:15 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.2) |
| 2025-05-10 16:00:18 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-10 16:07:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-10 16:09:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 16:10:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-05-10 16:11:22 +0000 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-10 16:15:36 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
| 2025-05-10 16:16:41 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-10 16:17:23 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-10 16:17:49 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-10 16:22:39 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-10 16:27:10 +0000 | yuuta | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 252 seconds) |
| 2025-05-10 16:29:52 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-10 16:31:07 +0000 | kimiamania99 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2025-05-10 16:31:32 +0000 | kimiamania99 | (~65804703@user/kimiamania) kimiamania |
| 2025-05-10 16:33:57 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-10 16:35:39 +0000 | razetime | (~quassel@49.207.228.134) |
| 2025-05-10 16:39:02 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-10 16:39:14 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-10 16:40:31 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-10 16:40:33 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-05-10 16:47:57 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-05-10 16:58:04 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds) |
| 2025-05-10 17:04:28 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-10 17:07:04 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-05-10 17:21:29 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-10 17:25:37 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-05-10 17:27:31 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-10 17:29:41 +0000 | puke | (~puke@user/puke) puke |
| 2025-05-10 17:31:40 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-05-10 17:33:35 +0000 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 260 seconds) |
| 2025-05-10 17:38:51 +0000 | jespada | (~jespada@179.26.250.37) jespada |
| 2025-05-10 17:40:52 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-10 17:43:31 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-10 17:55:57 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
| 2025-05-10 17:59:59 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-10 18:06:35 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-10 18:06:36 +0000 | nckx | (nckx@libera/staff/owl/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2025-05-10 18:09:29 +0000 | <hellwolf> | the unused type variable of a type synonym is completely ignored, right? |
| 2025-05-10 18:10:16 +0000 | hellwolf | is not complete crazy; just touched some grass and came back. |
| 2025-05-10 18:10:53 +0000 | <geekosaur> | I believe so, since it's the expansion that matters to the typechecker |
| 2025-05-10 18:11:40 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-10 18:11:49 +0000 | <hellwolf> | probably it should be a warning in -Wall |
| 2025-05-10 18:12:14 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-05-10 18:12:28 +0000 | <hellwolf> | what would be a sane reason for it even be used? |
| 2025-05-10 18:13:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-10 18:13:04 +0000 | euleritian | (~euleritia@95.90.209.105) (Ping timeout: 260 seconds) |
| 2025-05-10 18:13:34 +0000 | <geekosaur> | backward compatibility when something changes such that it's not needed any more? |
| 2025-05-10 18:14:34 +0000 | <hellwolf> | or fitting some type shape of others API |
| 2025-05-10 18:14:40 +0000 | euleritian | (~euleritia@dynamic-176-006-133-107.176.6.pool.telefonica.de) |
| 2025-05-10 18:15:56 +0000 | <hellwolf> | I guess newtype wrapper is inevitable. I wasn't 100% sure of it until I tried in playground. |
| 2025-05-10 18:16:53 +0000 | beka_ | (~beka@170-39-168-234.PUBLIC.monkeybrains.net) (Quit: Leaving) |
| 2025-05-10 18:19:17 +0000 | <EvanR> | yes unused things are good |
| 2025-05-10 18:19:42 +0000 | <EvanR> | then you can have an array of things of the same form fit the same shape |
| 2025-05-10 18:21:13 +0000 | drewr | (~drew@user/drewr) drewr |
| 2025-05-10 18:21:15 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f36c510993b03445193.dip0.t-ipconnect.de) acidjnk |
| 2025-05-10 18:21:37 +0000 | <EvanR> | like a zero ohm resistor is pointless because it has no resistance right, but can be handled by the resistor placing robot |
| 2025-05-10 18:24:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 18:26:53 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-10 18:31:09 +0000 | PavWhoSays`Ni` | (~user@user/siracusa) siracusa |
| 2025-05-10 18:32:31 +0000 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-10 18:32:32 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-10 18:38:28 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-10 18:38:29 +0000 | <[exa]> | EvanR: "this resistor is 0 ohms, we can omit it!!!" |
| 2025-05-10 18:40:14 +0000 | <EvanR> | now the board is broken |
| 2025-05-10 18:40:18 +0000 | <geekosaur> | they're called "jumpers" 😛 |
| 2025-05-10 18:42:33 +0000 | <geekosaur> | (and they actually make 0-ohm resistors for that purpose, since they can be handled by wave soldering which standard jumpers fail with) |
| 2025-05-10 18:43:22 +0000 | <EvanR> | I tried to find a "computer chip" emoji but instead found 𓀨 |
| 2025-05-10 18:43:56 +0000 | <geekosaur> | I think you need one of the add-on packs on discord for that 😛 |
| 2025-05-10 18:44:06 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-05-10 18:44:24 +0000 | <EvanR> | https://i.imgur.com/qGnzYt8.png |
| 2025-05-10 18:45:30 +0000 | <[exa]> | EvanR: that looks like integrated circuits way before miniaturization |
| 2025-05-10 18:45:38 +0000 | <[exa]> | a true hieroglyph |
| 2025-05-10 18:45:39 +0000 | <geekosaur> | https://en.wikipedia.org/wiki/File:Fear_Factory_Digimortal.jpg |
| 2025-05-10 18:51:41 +0000 | euleritian | (~euleritia@dynamic-176-006-133-107.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-10 18:51:59 +0000 | euleritian | (~euleritia@ip5f5ad169.dynamic.kabel-deutschland.de) |
| 2025-05-10 18:52:26 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-10 18:53:18 +0000 | <EvanR> | egyptians were ahead of their time, computer chips and emoji |
| 2025-05-10 18:57:14 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-10 19:00:02 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-10 19:00:42 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-10 19:04:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-05-10 19:04:54 +0000 | euleritian | (~euleritia@ip5f5ad169.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-10 19:05:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-10 19:05:30 +0000 | euleritian | (~euleritia@dynamic-176-006-133-107.176.6.pool.telefonica.de) |
| 2025-05-10 19:09:12 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-10 19:12:40 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-05-10 19:12:40 +0000 | ljdarj1 | ljdarj |
| 2025-05-10 19:18:47 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-10 19:19:15 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-10 19:21:56 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-10 19:26:21 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Ping timeout: 276 seconds) |
| 2025-05-10 19:26:28 +0000 | halloy5771 | (~halloy577@205.175.106.139) |
| 2025-05-10 19:26:53 +0000 | halloy5771 | (~halloy577@205.175.106.139) (Client Quit) |
| 2025-05-10 19:27:42 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-05-10 19:29:11 +0000 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
| 2025-05-10 19:29:43 +0000 | sprotte24 | (~sprotte24@p200300d16f2ffb009dfc124c182392c1.dip0.t-ipconnect.de) |
| 2025-05-10 19:30:32 +0000 | <monochrom> | "I tried to find a computer chip. Instead I found a truckload of computer chips." >:) |
| 2025-05-10 19:32:42 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-10 19:38:45 +0000 | <int-e> | Where is this going... the transistor of Gisa? |
| 2025-05-10 19:43:02 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-05-10 19:52:39 +0000 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
| 2025-05-10 19:54:18 +0000 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
| 2025-05-10 20:00:53 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-10 20:04:33 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-05-10 20:05:13 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2025-05-10 20:09:24 +0000 | rvalue- | rvalue |
| 2025-05-10 20:11:39 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-10 20:13:38 +0000 | hgolden_ | (~hgolden@syn-172-251-233-141.res.spectrum.com) hgolden |
| 2025-05-10 20:14:11 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Read error: Connection reset by peer) |
| 2025-05-10 20:19:03 +0000 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
| 2025-05-10 20:20:54 +0000 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
| 2025-05-10 20:28:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-10 20:28:46 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-23-234-94-48.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-05-10 20:29:11 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-10 20:33:03 +0000 | GuerrillaMonkey | (~Jeanne-Ka@static-23-234-95-175.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-05-10 20:33:34 +0000 | GuerrillaMonkey | (~Jeanne-Ka@static-23-234-95-175.cust.tzulo.com) (Remote host closed the connection) |
| 2025-05-10 20:35:45 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-10 20:35:50 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-23-234-94-48.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 2025-05-10 20:40:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 20:46:13 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f36c510993b03445193.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-10 20:46:13 +0000 | son0p | (~ff@2800:e6:4001:f995:7f79:d961:a77:e30d) (Ping timeout: 276 seconds) |
| 2025-05-10 20:55:20 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f364d32859780c983b8.dip0.t-ipconnect.de) acidjnk |
| 2025-05-10 20:56:19 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-10 20:57:41 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-10 20:59:26 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-10 21:02:08 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-10 21:02:26 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-05-10 21:03:49 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-10 21:05:52 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-05-10 21:06:20 +0000 | rinaldo | (~rinaldosu@2001:1c00:a01:bc00:14d0:6f82:aff7:2606) |
| 2025-05-10 21:07:44 +0000 | rinaldo | (~rinaldosu@2001:1c00:a01:bc00:14d0:6f82:aff7:2606) (Client Quit) |
| 2025-05-10 21:16:09 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-10 21:18:14 +0000 | nckx | (~nckx@libera/staff/owl/nckx) nckx |
| 2025-05-10 21:24:57 +0000 | nckx | (~nckx@libera/staff/owl/nckx) (Ping timeout: 252 seconds) |
| 2025-05-10 21:35:37 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-10 21:41:23 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-10 21:43:44 +0000 | nckx | (~nckx@libera/staff/owl/nckx) nckx |
| 2025-05-10 21:44:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-10 21:45:25 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 248 seconds) |
| 2025-05-10 21:45:50 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-05-10 21:56:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 21:57:25 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-10 22:00:02 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-05-10 22:00:32 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-10 22:01:53 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-10 22:03:38 +0000 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2025-05-10 22:04:04 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-10 22:10:49 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
| 2025-05-10 22:14:34 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-05-10 22:24:04 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-10 22:25:27 +0000 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-10 22:29:11 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-10 22:30:42 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-05-10 22:37:38 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-10 22:42:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-05-10 22:45:50 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-05-10 22:46:27 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-10 22:56:31 +0000 | floyza | (~gavin@63.238.216.34) (Ping timeout: 268 seconds) |
| 2025-05-10 23:00:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-10 23:02:33 +0000 | Fijxu_ | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-05-10 23:03:20 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-05-10 23:04:12 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-10 23:05:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-10 23:06:53 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-10 23:08:34 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-05-10 23:08:34 +0000 | ljdarj1 | ljdarj |
| 2025-05-10 23:10:26 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-05-10 23:11:34 +0000 | urdh_ | (~urdh@user/urdh) urdh |
| 2025-05-10 23:11:38 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2025-05-10 23:12:16 +0000 | floyza | (~gavin@63.238.216.34) gdown |
| 2025-05-10 23:12:42 +0000 | hughjfch1 | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-05-10 23:13:42 +0000 | qaotsap | (~paotsaq@2001:818:ea0e:8300:6733:50c0:6d2:30c2) |
| 2025-05-10 23:14:35 +0000 | ian_ | (~ian@81.2.99.210) Igfoo |
| 2025-05-10 23:14:37 +0000 | fun-safe-math_ | (~fun-safe-@97-120-59-205.ptld.qwest.net) fun-safe-math |
| 2025-05-10 23:16:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 23:17:33 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-10 23:18:20 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-10 23:18:21 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (*.net *.split) |
| 2025-05-10 23:18:21 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) (*.net *.split) |
| 2025-05-10 23:18:21 +0000 | poscat | (~poscat@user/poscat) (*.net *.split) |
| 2025-05-10 23:18:21 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (*.net *.split) |
| 2025-05-10 23:18:21 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (*.net *.split) |
| 2025-05-10 23:18:22 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (*.net *.split) |
| 2025-05-10 23:18:22 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) (*.net *.split) |
| 2025-05-10 23:18:22 +0000 | fun-safe-math | (~fun-safe-@97-120-59-205.ptld.qwest.net) (*.net *.split) |
| 2025-05-10 23:18:22 +0000 | dispater | (~dispater@mail.brprice.uk) (*.net *.split) |
| 2025-05-10 23:18:22 +0000 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (*.net *.split) |
| 2025-05-10 23:18:22 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split) |
| 2025-05-10 23:18:22 +0000 | polykernel | (~polykerne@user/polykernel) (*.net *.split) |
| 2025-05-10 23:18:23 +0000 | turlando | (~turlando@user/turlando) (*.net *.split) |
| 2025-05-10 23:18:23 +0000 | danso | (~danso@user/danso) (*.net *.split) |
| 2025-05-10 23:18:23 +0000 | Igloo | (~ian@81.2.99.210) (*.net *.split) |
| 2025-05-10 23:18:23 +0000 | urdh | (~urdh@user/urdh) (*.net *.split) |
| 2025-05-10 23:18:23 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
| 2025-05-10 23:18:23 +0000 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) (*.net *.split) |
| 2025-05-10 23:18:23 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (*.net *.split) |
| 2025-05-10 23:18:23 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split) |
| 2025-05-10 23:18:23 +0000 | jkoshy | (99b9359beb@user/jkoshy) (*.net *.split) |
| 2025-05-10 23:18:23 +0000 | rselim | (ce261f06ff@user/milesrout) (*.net *.split) |
| 2025-05-10 23:18:23 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split) |
| 2025-05-10 23:18:24 +0000 | sus | (1b7af6299f@user/zeromomentum) (*.net *.split) |
| 2025-05-10 23:18:24 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) (*.net *.split) |
| 2025-05-10 23:18:24 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (*.net *.split) |
| 2025-05-10 23:18:24 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split) |
| 2025-05-10 23:18:24 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split) |
| 2025-05-10 23:18:24 +0000 | dpk | (~dpk@jains.nonceword.org) (*.net *.split) |
| 2025-05-10 23:18:24 +0000 | sefidel | (~sefidel@user/sefidel) (*.net *.split) |
| 2025-05-10 23:18:24 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split) |
| 2025-05-10 23:18:24 +0000 | samhh__ | (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split) |
| 2025-05-10 23:18:24 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (*.net *.split) |
| 2025-05-10 23:18:24 +0000 | sm2n | (ae95cb1267@user/sm2n) (*.net *.split) |
| 2025-05-10 23:18:25 +0000 | dmoerner | (~dmoerner@fedora/dmoerner) (*.net *.split) |
| 2025-05-10 23:18:25 +0000 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (*.net *.split) |
| 2025-05-10 23:18:25 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
| 2025-05-10 23:18:25 +0000 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split) |
| 2025-05-10 23:18:25 +0000 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split) |
| 2025-05-10 23:18:25 +0000 | laman | (laman@rego.ai) (*.net *.split) |
| 2025-05-10 23:18:25 +0000 | mzg | (mzg@abusers.hu) (*.net *.split) |
| 2025-05-10 23:18:25 +0000 | urdh_ | urdh |
| 2025-05-10 23:18:25 +0000 | Katarushisu1 | Katarushisu |
| 2025-05-10 23:19:32 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-10 23:20:58 +0000 | fantom | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-05-10 23:21:59 +0000 | fantom | (~fantom@33be818f.skybroadband.com) |
| 2025-05-10 23:23:00 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 260 seconds) |
| 2025-05-10 23:24:23 +0000 | jespada | (~jespada@179.26.250.37) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-10 23:24:44 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-05-10 23:24:44 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-05-10 23:24:44 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) |
| 2025-05-10 23:24:44 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-05-10 23:24:44 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2025-05-10 23:24:44 +0000 | dispater | (~dispater@mail.brprice.uk) |
| 2025-05-10 23:24:44 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-10 23:24:44 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-05-10 23:24:44 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2025-05-10 23:24:44 +0000 | danso | (~danso@user/danso) danso |
| 2025-05-10 23:24:44 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2025-05-10 23:24:44 +0000 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2025-05-10 23:24:44 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2025-05-10 23:24:44 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
| 2025-05-10 23:24:44 +0000 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) k_hachig |
| 2025-05-10 23:24:44 +0000 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2025-05-10 23:24:44 +0000 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2025-05-10 23:24:44 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone |
| 2025-05-10 23:24:44 +0000 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2025-05-10 23:24:44 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
| 2025-05-10 23:24:44 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2025-05-10 23:24:44 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2025-05-10 23:24:44 +0000 | dpk | (~dpk@jains.nonceword.org) dpk |
| 2025-05-10 23:24:44 +0000 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2025-05-10 23:24:44 +0000 | samhh__ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2025-05-10 23:24:44 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
| 2025-05-10 23:24:44 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) raghavgururajan |
| 2025-05-10 23:24:44 +0000 | sm2n | (ae95cb1267@user/sm2n) sm2n |
| 2025-05-10 23:24:44 +0000 | exarkun | (~exarkun@user/exarkun) exarkun |
| 2025-05-10 23:24:44 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2025-05-10 23:24:44 +0000 | laman | (laman@rego.ai) laman |
| 2025-05-10 23:24:44 +0000 | dmoerner | (~dmoerner@fedora/dmoerner) dmoerner |
| 2025-05-10 23:24:44 +0000 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2025-05-10 23:24:44 +0000 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-05-10 23:24:44 +0000 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2025-05-10 23:24:44 +0000 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) dfordivam |
| 2025-05-10 23:24:44 +0000 | mzg | (mzg@abusers.hu) |
| 2025-05-10 23:27:48 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-10 23:31:21 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2025-05-10 23:31:39 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f364d32859780c983b8.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-05-10 23:32:55 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2025-05-10 23:38:52 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 272 seconds) |
| 2025-05-10 23:45:05 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-10 23:45:58 +0000 | <EvanR> | getting hungry https://paste.tomsmeding.com/GES6mVzP |
| 2025-05-10 23:50:21 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2025-05-10 23:51:56 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2025-05-10 23:52:04 +0000 | <monochrom> | Literally "The Haskell Cookbook"? :) |
| 2025-05-10 23:52:31 +0000 | balthxzar | (~balthxzar@user/Balthxzar) Balthxzar |
| 2025-05-10 23:56:25 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2025-05-10 23:59:00 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
