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