| 2025-03-24 00:01:42 +0100 | fp1 | (~Thunderbi@87-92-17-100.bb.dnainternet.fi) fp |
| 2025-03-24 00:06:15 +0100 | vapor | (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) |
| 2025-03-24 00:07:31 +0100 | vapor | (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) (Client Quit) |
| 2025-03-24 00:08:24 +0100 | pera | (~pera@user/pera) (Quit: leaving) |
| 2025-03-24 00:08:33 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-24 00:09:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 00:13:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 00:23:44 +0100 | fp1 | (~Thunderbi@87-92-17-100.bb.dnainternet.fi) (Quit: fp1) |
| 2025-03-24 00:24:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 00:30:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-24 00:31:50 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-03-24 00:32:26 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-03-24 00:36:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 00:40:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 00:40:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-24 00:41:09 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-03-24 00:42:56 +0100 | Square | (~Square@user/square) Square |
| 2025-03-24 00:47:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 00:53:16 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 2025-03-24 00:58:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 01:03:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 01:09:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-03-24 01:13:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-24 01:14:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 01:15:55 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-03-24 01:18:06 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-03-24 01:19:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-24 01:21:34 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 01:24:57 +0100 | dsrt^ | (elomin@c-71-199-187-173.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2025-03-24 01:25:46 +0100 | dsrt^ | (~dsrt@c-71-199-187-173.hsd1.ga.comcast.net) |
| 2025-03-24 01:26:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 01:30:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 01:30:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-03-24 01:30:58 +0100 | sprotte24 | (~sprotte24@p200300d16f1a2000ccde650c06cfced1.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-24 01:34:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-24 01:35:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-24 01:45:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 01:47:48 +0100 | <EvanR> | Two men are at the North Pole. One of them goes south; the other goes in the opposite direction. In what direction does the latter go? |
| 2025-03-24 01:48:36 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f95993b615eab7935c1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-03-24 01:50:12 +0100 | <geekosaur> | south, of course |
| 2025-03-24 01:50:30 +0100 | <EvanR> | the question right before that was "Is south the opposite of north?" |
| 2025-03-24 01:50:41 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f952ce53448bb90cf5a.dip0.t-ipconnect.de) acidjnk |
| 2025-03-24 01:50:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 01:51:07 +0100 | <geekosaur> | context matters |
| 2025-03-24 01:51:24 +0100 | <EvanR> | at the north pole, south is the opposite of south? xD |
| 2025-03-24 01:51:38 +0100 | xff0x | (~xff0x@2405:6580:b080:900:74ac:a2fa:2f95:eb9f) (Ping timeout: 245 seconds) |
| 2025-03-24 01:52:34 +0100 | <geekosaur> | without additional context, south is generally the opposite of north. with context "at the north pole", all directions are south |
| 2025-03-24 01:52:51 +0100 | <geekosaur> | (ignoring little things like "but not true as soon as you move off the pole") |
| 2025-03-24 01:54:35 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-03-24 01:55:12 +0100 | <Axman6> | EvanR: Damn those hairy balls |
| 2025-03-24 01:55:49 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-03-24 01:55:55 +0100 | <EvanR> | spheres are weird |
| 2025-03-24 01:56:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-03-24 01:57:44 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-24 01:58:19 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-24 01:58:30 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-03-24 02:01:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 02:06:39 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 02:06:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-24 02:07:14 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-03-24 02:10:59 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 260 seconds) |
| 2025-03-24 02:11:01 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:f569:94b9:d854:a370) (Read error: Connection reset by peer) |
| 2025-03-24 02:11:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 02:19:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 02:21:38 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-03-24 02:26:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 02:31:08 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-03-24 02:32:55 +0100 | <monochrom> | But what was the series 1 + 1/2 - 1/12 - 1/408 - 1/470832 - 1/627013566048 - ... ? |
| 2025-03-24 02:33:31 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2025-03-24 02:34:00 +0100 | lambdabot | (~lambdabot@silicon.int-e.eu) lambdabot |
| 2025-03-24 02:34:00 +0100 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2025-03-24 02:34:00 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-03-24 02:34:00 +0100 | ChanServ | +v lambdabot |
| 2025-03-24 02:34:29 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-03-24 02:37:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 02:38:47 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-03-24 02:41:07 +0100 | int-e | (~noone@int-e.eu) (Remote host closed the connection) |
| 2025-03-24 02:42:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 02:48:50 +0100 | int-e | (~noone@int-e.eu) int-e |
| 2025-03-24 02:49:06 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f952ce53448bb90cf5a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-03-24 02:52:33 +0100 | <haskellbridge> | <Bowuigi> https://oeis.org/search?q=1%2C+2%2C+12%2C+408%2C+470832%2C+627013566048&language=english&go=Search |
| 2025-03-24 02:52:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 02:52:45 +0100 | <haskellbridge> | <Bowuigi> An approximation of sqrt(2) apparently |
| 2025-03-24 02:53:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 02:54:59 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-03-24 02:57:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 02:58:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 03:07:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-24 03:09:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 03:11:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-03-24 03:14:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 03:23:19 +0100 | kh0d | (~kh0d@212.200.181.147) (Remote host closed the connection) |
| 2025-03-24 03:23:56 +0100 | kh0d | (~kh0d@212.200.181.147) |
| 2025-03-24 03:25:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 03:25:57 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-03-24 03:29:15 +0100 | kh0d | (~kh0d@212.200.181.147) (Ping timeout: 252 seconds) |
| 2025-03-24 03:29:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 03:38:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 03:39:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-03-24 03:40:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 03:41:49 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-24 03:42:27 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 03:45:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 03:53:27 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-03-24 03:56:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 03:59:45 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 04:03:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 04:04:32 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 252 seconds) |
| 2025-03-24 04:05:39 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-24 04:10:34 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-03-24 04:14:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 04:19:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-24 04:21:21 +0100 | <Axman6> | let pell = 01:zipWith (+) (map (*2) $ drop 1 pell) |
| 2025-03-24 04:21:36 +0100 | <Axman6> | > let pell = 0:1:zipWith (+) (map (*2) $ drop 1 pell) in take 10 pell |
| 2025-03-24 04:21:37 +0100 | <lambdabot> | error: |
| 2025-03-24 04:21:38 +0100 | <lambdabot> | • Couldn't match expected type ‘[c]’ with actual type ‘[c] -> [c]’ |
| 2025-03-24 04:21:38 +0100 | <lambdabot> | • Probable cause: ‘zipWith’ is applied to too few arguments |
| 2025-03-24 04:22:01 +0100 | <Axman6> | > let pell = 0:1:zipWith (+) (map (*2) pell) (drop 1 pell) ( in take 10 pell |
| 2025-03-24 04:22:03 +0100 | <lambdabot> | <hint>:1:60: error: parse error on input ‘in’ |
| 2025-03-24 04:22:18 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-24 04:23:44 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-24 04:24:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 04:28:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-24 04:28:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-24 04:29:10 +0100 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2025-03-24 04:29:50 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-03-24 04:30:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 04:33:08 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 04:33:19 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-03-24 04:35:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 04:38:00 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 252 seconds) |
| 2025-03-24 04:38:00 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-03-24 04:42:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 04:47:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 04:49:17 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-03-24 04:58:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 05:00:19 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 2025-03-24 05:03:08 +0100 | <monochrom> | > let pell = 0:1:zipWith (+) (map (*2) pell) (drop 1 pell) in take 10 pell |
| 2025-03-24 05:03:10 +0100 | <lambdabot> | [0,1,1,3,5,11,21,43,85,171] |
| 2025-03-24 05:03:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 05:05:57 +0100 | <haskellbridge> | <dmjio> I ran my test with the "-threaded" RTS, and "yield" works there, but it _does not_ work in GHCi (which is single core) |
| 2025-03-24 05:06:26 +0100 | <haskellbridge> | <dmjio> so I think there's an issue with "yield" in single core mode (non "-threaded") where "yield" is not creating a new thread schedule |
| 2025-03-24 05:07:10 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 05:09:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 05:11:38 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 252 seconds) |
| 2025-03-24 05:13:00 +0100 | <EvanR> | oh nice my terms are already a known sequence |
| 2025-03-24 05:13:15 +0100 | <EvanR> | egyptian sqrt 2 |
| 2025-03-24 05:14:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 05:14:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 05:16:05 +0100 | <EvanR> | lol and the comments even mention it |
| 2025-03-24 05:19:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-24 05:25:01 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 05:30:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 05:30:52 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) inca |
| 2025-03-24 05:35:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-24 05:35:45 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 252 seconds) |
| 2025-03-24 05:37:30 +0100 | user363627 | weary-traveler |
| 2025-03-24 05:38:24 +0100 | aforemny_ | (~aforemny@i577B13B9.versanet.de) (Ping timeout: 252 seconds) |
| 2025-03-24 05:39:00 +0100 | aforemny | (~aforemny@2001:9e8:6cfe:bd00:f9e8:43f5:f8e4:75c8) aforemny |
| 2025-03-24 05:42:44 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 260 seconds) |
| 2025-03-24 05:42:57 +0100 | michalz | (~michalz@185.246.207.221) |
| 2025-03-24 05:44:48 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 05:45:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 05:49:24 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 05:50:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 05:54:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 05:56:11 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 05:59:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 06:00:14 +0100 | kh0d | (~kh0d@212.200.65.82) |
| 2025-03-24 06:00:24 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Read error: Connection reset by peer) |
| 2025-03-24 06:00:45 +0100 | <talismanick> | I was looking through Bluefin examples, but didn't see the UndecidableInstances pragma I remembered it requiring |
| 2025-03-24 06:01:03 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 06:01:04 +0100 | <talismanick> | was that only a feature of the alpha release posted on Discourse? |
| 2025-03-24 06:01:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 06:02:06 +0100 | <talismanick> | (I somehow failed to find detailed patch notes anywhere - just read git commit messages?) |
| 2025-03-24 06:04:34 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2025-03-24 06:05:10 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 252 seconds) |
| 2025-03-24 06:06:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 06:07:18 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 06:07:52 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 06:09:27 +0100 | <Leary> | talismanick: Basic bluefin code won't require any instance declarations in the first place. |
| 2025-03-24 06:11:10 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-03-24 06:12:36 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 06:12:36 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 252 seconds) |
| 2025-03-24 06:15:04 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-03-24 06:17:22 +0100 | user363627 | weary-traveler |
| 2025-03-24 06:17:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 06:20:00 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 06:22:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 06:26:01 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 06:30:50 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 252 seconds) |
| 2025-03-24 06:33:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 06:33:41 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-03-24 06:34:03 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-24 06:35:39 +0100 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2025-03-24 06:35:57 +0100 | califax | (~califax@user/califx) califx |
| 2025-03-24 06:37:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 06:38:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 06:40:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 06:41:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-03-24 06:43:17 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-24 06:43:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 06:44:20 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 06:45:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 06:51:39 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 252 seconds) |
| 2025-03-24 06:54:50 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-03-24 06:54:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 06:55:40 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-24 06:57:05 +0100 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
| 2025-03-24 06:59:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-24 07:10:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 07:12:31 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-03-24 07:15:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-24 07:26:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 07:26:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 07:28:46 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 07:30:36 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 07:30:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-24 07:31:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-24 07:34:59 +0100 | Digitteknohippie | Digit |
| 2025-03-24 07:35:19 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 260 seconds) |
| 2025-03-24 07:39:05 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-03-24 07:41:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 07:44:13 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 07:46:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 07:49:33 +0100 | kh0d | (~kh0d@109.245.38.222) kh0d |
| 2025-03-24 07:49:54 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 260 seconds) |
| 2025-03-24 07:50:38 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 07:55:04 +0100 | kh0d | (~kh0d@109.245.38.222) (Remote host closed the connection) |
| 2025-03-24 07:55:10 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 07:57:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 07:59:43 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-24 08:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-24 08:01:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-24 08:01:57 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 08:02:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 08:07:00 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 08:07:15 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-24 08:11:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 08:13:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 08:13:52 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 08:14:53 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-24 08:15:42 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-03-24 08:15:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 08:16:16 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-03-24 08:18:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 08:28:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 08:32:36 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-24 08:33:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 08:39:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-03-24 08:39:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 08:39:59 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-03-24 08:44:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-24 08:45:45 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-24 08:48:38 +0100 | bliogg | (~bliogg@2600:8800:5000:f790:d95:8d3b:e9a9:1fc7) |
| 2025-03-24 08:49:10 +0100 | bliogg | (~bliogg@2600:8800:5000:f790:d95:8d3b:e9a9:1fc7) (K-Lined) |
| 2025-03-24 08:49:47 +0100 | polyphem | (~rod@p4fc2c5d1.dip0.t-ipconnect.de) polyphem |
| 2025-03-24 08:51:00 +0100 | werneta_ | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-03-24 08:54:14 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-24 08:54:32 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f84841f0647c35df21b.dip0.t-ipconnect.de) acidjnk |
| 2025-03-24 08:55:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 08:56:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 09:01:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-24 09:01:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-24 09:08:30 +0100 | JamesMowery172 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-03-24 09:10:19 +0100 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 2025-03-24 09:10:19 +0100 | JamesMowery172 | JamesMowery17 |
| 2025-03-24 09:11:15 +0100 | ash3en | (~Thunderbi@193.32.248.154) ash3en |
| 2025-03-24 09:17:52 +0100 | kh0d | (~kh0d@89.216.103.150) kh0d |
| 2025-03-24 09:19:36 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 09:20:49 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 09:21:21 +0100 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-03-24 09:22:08 +0100 | ash3en1 | (~Thunderbi@185.209.196.192) ash3en |
| 2025-03-24 09:22:21 +0100 | ash3en | (~Thunderbi@193.32.248.154) (Ping timeout: 252 seconds) |
| 2025-03-24 09:22:21 +0100 | ash3en1 | ash3en |
| 2025-03-24 09:22:54 +0100 | kh0d | (~kh0d@89.216.103.150) (Ping timeout: 252 seconds) |
| 2025-03-24 09:24:14 +0100 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
| 2025-03-24 09:25:36 +0100 | chele | (~chele@user/chele) chele |
| 2025-03-24 09:25:39 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 09:29:17 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-24 09:29:24 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-03-24 09:31:42 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-24 09:32:08 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 09:37:06 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 09:39:22 +0100 | alp | (~alp@2001:861:8ca0:4940:11de:ec89:fd30:2b7e) |
| 2025-03-24 09:39:34 +0100 | alp | (~alp@2001:861:8ca0:4940:11de:ec89:fd30:2b7e) (Changing host) |
| 2025-03-24 09:39:34 +0100 | alp | (~alp@user/alp) alp |
| 2025-03-24 09:39:34 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-03-24 09:41:39 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 09:43:45 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 09:45:59 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-24 09:46:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-24 09:48:45 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 09:50:37 +0100 | kh0d | (~kh0d@89.216.103.150) |
| 2025-03-24 09:55:23 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 09:56:10 +0100 | kh0d | (~kh0d@89.216.103.150) (Ping timeout: 252 seconds) |
| 2025-03-24 09:56:42 +0100 | kh0d | (~kh0d@89.216.103.150) kh0d |
| 2025-03-24 10:00:34 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 260 seconds) |
| 2025-03-24 10:00:34 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-03-24 10:01:24 +0100 | kh0d | (~kh0d@89.216.103.150) (Ping timeout: 252 seconds) |
| 2025-03-24 10:01:44 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 10:02:18 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-24 10:03:29 +0100 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-03-24 10:05:00 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-03-24 10:06:21 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 10:13:36 +0100 | kh0d | (~kh0d@89.216.103.150) |
| 2025-03-24 10:13:36 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 10:18:10 +0100 | kh0d | (~kh0d@89.216.103.150) (Ping timeout: 252 seconds) |
| 2025-03-24 10:18:10 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 10:19:39 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 10:23:57 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 10:24:45 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-03-24 10:25:31 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 10:26:06 +0100 | img | (~img@user/img) img |
| 2025-03-24 10:26:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 10:30:00 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 10:31:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 10:31:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-24 10:31:22 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 10:36:03 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 10:36:10 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-03-24 10:37:08 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:840b:10a9:3aaf:e0b0) dhil |
| 2025-03-24 10:37:17 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 10:37:42 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-24 10:37:50 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-03-24 10:38:12 +0100 | kimiamania8 | kimiamania |
| 2025-03-24 10:41:33 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 10:43:08 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 10:45:09 +0100 | kh0d | (~kh0d@89.216.103.150) kh0d |
| 2025-03-24 10:48:02 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-03-24 10:49:39 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-24 10:52:31 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-03-24 10:56:37 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-03-24 10:56:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-24 11:03:22 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-03-24 11:13:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 11:14:00 +0100 | ash3en | (~Thunderbi@185.209.196.192) (Ping timeout: 252 seconds) |
| 2025-03-24 11:17:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 11:24:54 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-03-24 11:34:35 +0100 | infohazards | (~user@user/fmira) (Remote host closed the connection) |
| 2025-03-24 11:34:52 +0100 | zfnmxt_ | (~zfnmxt@107.189.30.63) |
| 2025-03-24 11:35:01 +0100 | zfnmxt | (~zfnmxt@user/zfnmxt) (Remote host closed the connection) |
| 2025-03-24 11:39:44 +0100 | zfnmxt_ | zfnmxt |
| 2025-03-24 11:43:42 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-03-24 11:48:22 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 11:55:10 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 11:58:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 11:59:35 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-03-24 12:02:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 12:13:34 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 260 seconds) |
| 2025-03-24 12:15:01 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 12:17:12 +0100 | ash3en | (~Thunderbi@185.209.196.192) ash3en |
| 2025-03-24 12:20:07 +0100 | xff0x | (~xff0x@2405:6580:b080:900:551a:8945:d45c:6ab4) |
| 2025-03-24 12:20:16 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 12:21:37 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 12:33:12 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f84841f0647c35df21b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-03-24 12:33:25 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-24 12:33:46 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-24 12:42:50 +0100 | kh0d | (~kh0d@89.216.103.150) (Remote host closed the connection) |
| 2025-03-24 12:43:36 +0100 | kh0d | (~kh0d@89.216.103.150) kh0d |
| 2025-03-24 12:43:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 12:44:12 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-03-24 12:45:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-24 12:46:56 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-24 12:47:26 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2025-03-24 12:48:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 12:48:08 +0100 | kh0d | (~kh0d@89.216.103.150) (Ping timeout: 252 seconds) |
| 2025-03-24 12:50:14 +0100 | ash3en | (~Thunderbi@185.209.196.192) (Quit: ash3en) |
| 2025-03-24 12:55:43 +0100 | Digitteknohippie | Digit |
| 2025-03-24 12:57:41 +0100 | Guest5 | (~Guest5@2401:4900:4e25:1099:9984:5abb:8760:48c4) |
| 2025-03-24 12:58:47 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f84841f0647c35df21b.dip0.t-ipconnect.de) acidjnk |
| 2025-03-24 12:59:56 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-24 13:01:19 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-03-24 13:02:36 +0100 | kh0d | (~kh0d@77-46-229-44.dynamic.isp.telekom.rs) kh0d |
| 2025-03-24 13:08:01 +0100 | Guest5 | (~Guest5@2401:4900:4e25:1099:9984:5abb:8760:48c4) (Quit: Client closed) |
| 2025-03-24 13:09:51 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-24 13:10:32 +0100 | hellwolf | (~user@248c-27e0-f032-f250-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds) |
| 2025-03-24 13:13:59 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2025-03-24 13:15:52 +0100 | hellwolf | (~user@172a-40ae-6125-5458-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-03-24 13:18:33 +0100 | ru0mad | (~ru0mad@moon.ruomad.net) ru0mad |
| 2025-03-24 13:22:01 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-03-24 13:22:24 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-03-24 13:24:05 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-24 13:27:43 +0100 | jespada | (~jespada@2800:a4:22c5:eb00:31a1:ed9:af19:7e52) jespada |
| 2025-03-24 13:28:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-03-24 13:28:45 +0100 | kh0d | (~kh0d@77-46-229-44.dynamic.isp.telekom.rs) (Ping timeout: 252 seconds) |
| 2025-03-24 13:29:10 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 2025-03-24 13:29:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 13:30:24 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-03-24 13:31:30 +0100 | alp | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2025-03-24 13:33:02 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-24 13:33:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 13:35:21 +0100 | HelloThere | (~HelloTher@2401:4900:4e25:1099:9984:5abb:8760:48c4) |
| 2025-03-24 13:35:33 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-03-24 13:36:57 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-03-24 13:37:38 +0100 | ru0mad | (~ru0mad@moon.ruomad.net) (Ping timeout: 252 seconds) |
| 2025-03-24 13:39:09 +0100 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-03-24 13:43:52 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-24 13:44:08 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-03-24 13:44:26 +0100 | kh0d | (~kh0d@212.200.65.82) |
| 2025-03-24 13:51:20 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-24 13:53:37 +0100 | ridcully | (~ridcully@p57b52321.dip0.t-ipconnect.de) (Quit: WeeChat 4.5.2) |
| 2025-03-24 13:57:26 +0100 | alp | (~alp@2001:861:8ca0:4940:26f8:447:6e1a:b3d7) |
| 2025-03-24 13:58:20 +0100 | ru0mad | (~ru0mad@moon.ruomad.net) ru0mad |
| 2025-03-24 13:59:57 +0100 | AlexZenon | (~alzenon@178.34.150.194) (Quit: ;-) |
| 2025-03-24 14:01:42 +0100 | AlexNoo | (~AlexNoo@178.34.150.194) (Quit: Leaving) |
| 2025-03-24 14:07:13 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-24 14:10:38 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 14:12:52 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 14:14:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-03-24 14:14:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 14:15:20 +0100 | kh0d | (~kh0d@212.200.65.82) (Remote host closed the connection) |
| 2025-03-24 14:16:27 +0100 | kh0d | (~kh0d@212.200.65.82) |
| 2025-03-24 14:17:36 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 14:18:56 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 14:19:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 14:19:20 +0100 | fantom | (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-03-24 14:19:36 +0100 | kh0d | (~kh0d@212.200.65.82) (Remote host closed the connection) |
| 2025-03-24 14:20:27 +0100 | kh0d | (~kh0d@212.200.65.82) |
| 2025-03-24 14:20:32 +0100 | ru0mad | (~ru0mad@moon.ruomad.net) (Ping timeout: 252 seconds) |
| 2025-03-24 14:22:15 +0100 | kh0d | (~kh0d@212.200.65.82) (Remote host closed the connection) |
| 2025-03-24 14:22:48 +0100 | kh0d | (~kh0d@212.200.65.82) |
| 2025-03-24 14:28:39 +0100 | AlexNoo | (~AlexNoo@178.34.150.194) |
| 2025-03-24 14:28:52 +0100 | AlexZenon | (~alzenon@178.34.150.194) |
| 2025-03-24 14:31:52 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-03-24 14:34:50 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 252 seconds) |
| 2025-03-24 14:37:20 +0100 | ItsMe73 | (~ItsMe@2401:4900:4e25:1099:9984:5abb:8760:48c4) |
| 2025-03-24 14:39:42 +0100 | jespada | (~jespada@2800:a4:22c5:eb00:31a1:ed9:af19:7e52) (Ping timeout: 252 seconds) |
| 2025-03-24 14:40:20 +0100 | ItsMe73 | (~ItsMe@2401:4900:4e25:1099:9984:5abb:8760:48c4) (Client Quit) |
| 2025-03-24 14:42:12 +0100 | kh0d | (~kh0d@212.200.65.82) |
| 2025-03-24 14:43:55 +0100 | jespada | (~jespada@2800:a4:22bd:1300:6874:df1d:56c8:ac1f) jespada |
| 2025-03-24 14:54:33 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 252 seconds) |
| 2025-03-24 14:55:24 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-03-24 14:55:24 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-03-24 14:56:00 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-03-24 14:58:40 +0100 | HelloThere | (~HelloTher@2401:4900:4e25:1099:9984:5abb:8760:48c4) (Quit: Client closed) |
| 2025-03-24 15:00:51 +0100 | kh0d | (~kh0d@212.200.65.82) |
| 2025-03-24 15:01:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 15:02:48 +0100 | alp | (~alp@2001:861:8ca0:4940:26f8:447:6e1a:b3d7) (Ping timeout: 252 seconds) |
| 2025-03-24 15:06:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 15:11:08 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-03-24 15:15:27 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-03-24 15:28:00 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 252 seconds) |
| 2025-03-24 15:29:34 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 260 seconds) |
| 2025-03-24 15:31:21 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 15:33:44 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-24 15:37:50 +0100 | fp | (~Thunderbi@130.233.70.95) fp |
| 2025-03-24 15:39:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-03-24 15:40:45 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 15:41:33 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-24 15:42:24 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 15:45:17 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-03-24 15:45:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-03-24 15:46:10 +0100 | ridcully | (~ridcully@pd951f029.dip0.t-ipconnect.de) ridcully |
| 2025-03-24 15:47:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 15:47:30 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-24 15:51:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-24 15:55:08 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-24 15:57:29 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 15:58:09 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 260 seconds) |
| 2025-03-24 15:58:49 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 16:03:18 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 252 seconds) |
| 2025-03-24 16:06:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-03-24 16:07:09 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 252 seconds) |
| 2025-03-24 16:07:11 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-03-24 16:08:05 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-24 16:09:00 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-03-24 16:09:58 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 16:10:07 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 16:15:04 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Ping timeout: 260 seconds) |
| 2025-03-24 16:16:28 +0100 | inca | (~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) |
| 2025-03-24 16:20:58 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-03-24 16:21:46 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-03-24 16:21:46 +0100 | ChanServ | +v haskellbridge |
| 2025-03-24 16:22:53 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-24 16:23:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-03-24 16:32:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 16:36:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 16:43:10 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-24 16:47:46 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-24 16:47:58 +0100 | kh0d | (~kh0d@212.200.65.82) (Remote host closed the connection) |
| 2025-03-24 16:49:51 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-24 16:50:51 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-24 16:52:15 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 252 seconds) |
| 2025-03-24 16:56:13 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-24 16:59:24 +0100 | aforemny | (~aforemny@2001:9e8:6cfe:bd00:f9e8:43f5:f8e4:75c8) (Ping timeout: 252 seconds) |
| 2025-03-24 17:02:37 +0100 | aforemny | (~aforemny@2001:9e8:6cc3:cb00:4bbe:2838:488d:a24d) aforemny |
| 2025-03-24 17:06:18 +0100 | jespada | (~jespada@2800:a4:22bd:1300:6874:df1d:56c8:ac1f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-24 17:07:52 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-03-24 17:18:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 17:20:39 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-24 17:22:46 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 17:28:34 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2025-03-24 17:28:57 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds) |
| 2025-03-24 17:32:04 +0100 | fp | (~Thunderbi@130.233.70.95) (Ping timeout: 260 seconds) |
| 2025-03-24 17:34:03 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f84841f0647c35df21b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-03-24 17:41:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-24 17:44:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-03-24 17:45:27 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-24 17:45:36 +0100 | a_fantom | (~fantom@2.219.56.221) |
| 2025-03-24 17:51:38 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:c43:fe75:997:32d7) |
| 2025-03-24 18:02:49 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f847489f4e7c3712ecc.dip0.t-ipconnect.de) acidjnk |
| 2025-03-24 18:04:08 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 18:04:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-03-24 18:04:45 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 18:05:20 +0100 | jespada | (~jespada@2800:a4:22bd:1300:6874:df1d:56c8:ac1f) jespada |
| 2025-03-24 18:05:47 +0100 | Buliarou1 | (~gypsydang@46.232.210.139) (Quit: leaving) |
| 2025-03-24 18:06:22 +0100 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-03-24 18:07:15 +0100 | califax | (~califax@user/califx) califx |
| 2025-03-24 18:07:38 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-03-24 18:07:47 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-24 18:09:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-24 18:10:52 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-03-24 18:13:00 +0100 | kh0d | (~kh0d@212.200.65.82) (Remote host closed the connection) |
| 2025-03-24 18:13:19 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-24 18:15:20 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-03-24 18:18:02 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 18:19:47 +0100 | Guest84 | (~Guest84@14.139.38.104) |
| 2025-03-24 18:25:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-03-24 18:25:13 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-03-24 18:26:00 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-03-24 18:27:01 +0100 | Guest84 | (~Guest84@14.139.38.104) (Quit: Client closed) |
| 2025-03-24 18:27:07 +0100 | alp | (~alp@2001:861:8ca0:4940:2b34:ed16:a275:bdd6) |
| 2025-03-24 18:30:50 +0100 | arpit | (~arpity22@14.139.38.104) |
| 2025-03-24 18:30:59 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-03-24 18:36:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-03-24 18:43:56 +0100 | kh0d | (~kh0d@212.200.65.82) (Remote host closed the connection) |
| 2025-03-24 18:47:25 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-03-24 18:49:19 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 18:50:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 18:51:22 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-24 18:54:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 18:56:33 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 252 seconds) |
| 2025-03-24 18:56:33 +0100 | alp | (~alp@2001:861:8ca0:4940:2b34:ed16:a275:bdd6) (Ping timeout: 252 seconds) |
| 2025-03-24 18:59:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-24 19:04:48 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-24 19:05:41 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 2025-03-24 19:13:19 +0100 | jespada | (~jespada@2800:a4:22bd:1300:6874:df1d:56c8:ac1f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-24 19:19:30 +0100 | arpit | (~arpity22@14.139.38.104) (Quit: Leaving) |
| 2025-03-24 19:28:27 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f847489f4e7c3712ecc.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-03-24 19:33:03 +0100 | orslon^ | (~orslon@c-71-199-187-173.hsd1.ga.comcast.net) |
| 2025-03-24 19:36:34 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 19:37:27 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-24 19:38:21 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-03-24 19:40:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-24 19:49:13 +0100 | kh0d | (~kh0d@212.200.65.82) |
| 2025-03-24 19:51:36 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-03-24 19:51:49 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-24 19:52:36 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-24 19:52:39 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-03-24 19:53:28 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-03-24 19:54:08 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds) |
| 2025-03-24 19:55:09 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 260 seconds) |
| 2025-03-24 19:57:32 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-03-24 19:57:35 +0100 | jespada | (~jespada@2800:a4:22bd:1300:6874:df1d:56c8:ac1f) jespada |
| 2025-03-24 19:58:59 +0100 | rvalue- | rvalue |
| 2025-03-24 20:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-24 20:00:48 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-24 20:02:08 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f84e5bb842294cfb41d.dip0.t-ipconnect.de) acidjnk |
| 2025-03-24 20:03:22 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 20:04:19 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2025-03-24 20:08:47 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-24 20:12:05 +0100 | kh0d | (~kh0d@212.200.65.82) (Remote host closed the connection) |
| 2025-03-24 20:12:47 +0100 | sprotte24 | (~sprotte24@p200300d16f03d500a58d694121a6d0cd.dip0.t-ipconnect.de) |
| 2025-03-24 20:13:30 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 20:19:24 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-03-24 20:20:18 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-24 20:23:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 20:24:42 +0100 | Sayman | (~Sayman@2401:4900:1ca3:94e0:d788:422d:b642:f1c) |
| 2025-03-24 20:25:00 +0100 | <Sayman> | Hello there, |
| 2025-03-24 20:25:49 +0100 | <Sayman> | Sayman this side from India, a passionate open source developer researching on haskell's programming language concepts. |
| 2025-03-24 20:26:13 +0100 | <davean> | Welcome |
| 2025-03-24 20:27:00 +0100 | <Sayman> | I am preparing to enhance yesod framework of haskell through my add ons, willn't it gonna improve the web architecture of this language? |
| 2025-03-24 20:27:15 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 2025-03-24 20:27:21 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:c43:fe75:997:32d7) (Quit: Leaving) |
| 2025-03-24 20:27:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-24 20:27:44 +0100 | <Sayman> | Yeah, thanks for welcoming me |
| 2025-03-24 20:27:54 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-03-24 20:28:03 +0100 | <Sayman> | Why are so many people lefting -_- |
| 2025-03-24 20:28:21 +0100 | <geekosaur> | sorry, this channel is pretty quiet at various times of day, plus many people have abandoned IRC |
| 2025-03-24 20:28:27 +0100 | <geekosaur> | (I was in the restroom) |
| 2025-03-24 20:29:05 +0100 | <geekosaur> | there's some activity on Matrix. oddly, not much on the FP Discord today |
| 2025-03-24 20:29:20 +0100 | <Sayman> | Ohhh ok |
| 2025-03-24 20:29:51 +0100 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-03-24 20:30:04 +0100 | <Sayman> | Is my idea suitable for applying, so I submit my proposal |
| 2025-03-24 20:30:25 +0100 | <Sayman> | I already prepared one for it :-) |
| 2025-03-24 20:30:59 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-03-24 20:31:05 +0100 | <geekosaur> | these days yesod doesn't seem to see a lot of use, most people use scotty or servant |
| 2025-03-24 20:31:25 +0100 | <geekosaur> | but I'm not really the right person to talk to about web stuff |
| 2025-03-24 20:32:39 +0100 | <Sayman> | are you the admin? |
| 2025-03-24 20:32:44 +0100 | <Sayman> | or a mentor |
| 2025-03-24 20:32:55 +0100 | <Athas> | tomsmeding: did you know of some Haskell AD library that is faster than 'ad'? |
| 2025-03-24 20:33:00 +0100 | <Athas> | Something that abused Template Haskell? |
| 2025-03-24 20:33:36 +0100 | <geekosaur> | not sure what you mean by "admin", I'm a moderator here and on Matrix. I do help out with beginners also |
| 2025-03-24 20:33:55 +0100 | <Sayman> | should I continue with my proposal |
| 2025-03-24 20:33:55 +0100 | <geekosaur> | I also am one of the core maintainers of xmonad, and when I can I contribute to ghc and cabal development |
| 2025-03-24 20:33:59 +0100 | <tomsmeding> | Athas: I wrote my own thing that wasn't even meant to be faster than 'ad', but it is by a factor of 2 sometimes -- but it _really_ is not fleshed out at all, so you won't have much luck with it |
| 2025-03-24 20:34:12 +0100 | <Sayman> | will it gonna be better to continue or to change my idea? |
| 2025-03-24 20:34:43 +0100 | <tomsmeding> | Athas: that array-aware thing that I was hacking on (and that you said I should continue hacking on) I didn't continue working on yet, so that's in usable state if the existing array API happens to be enough for your algorithm, and otherwise not :p |
| 2025-03-24 20:34:45 +0100 | <geekosaur> | again, I'm not really involved with web stuff. you might post to /r/haskell or discourse.haskell.org |
| 2025-03-24 20:34:48 +0100 | <Sayman> | geekosaur okay |
| 2025-03-24 20:35:09 +0100 | <Athas> | Ah well. |
| 2025-03-24 20:35:13 +0100 | <tomsmeding> | Athas: in general, how happy are gradbench with random experimental libraries? |
| 2025-03-24 20:35:24 +0100 | <Athas> | tomsmeding: that remains to be seen! |
| 2025-03-24 20:35:34 +0100 | <tomsmeding> | as in, is it "benchmark all the implementations" or "let's collect the major ones and get a useful comparison" |
| 2025-03-24 20:35:38 +0100 | <Athas> | But Sam has turned into a maximalist. |
| 2025-03-24 20:35:41 +0100 | Sayman | (~Sayman@2401:4900:1ca3:94e0:d788:422d:b642:f1c) (Quit: Client closed) |
| 2025-03-24 20:35:43 +0100 | <tomsmeding> | I see |
| 2025-03-24 20:36:04 +0100 | <Athas> | I think the architecture is robust enough to handle arbitrary amounts of weird tools. The main bottleneck is that the table will look weird, but that is a fixable UI issue. |
| 2025-03-24 20:36:14 +0100 | Sayman | (~Sayman@2401:4900:1ca3:94e0:d788:422d:b642:f1c) |
| 2025-03-24 20:36:22 +0100 | <Athas> | As long as it fits in a Docker container, I would say it should go in. |
| 2025-03-24 20:36:23 +0100 | Sayman | (~Sayman@2401:4900:1ca3:94e0:d788:422d:b642:f1c) (Client Quit) |
| 2025-03-24 20:36:36 +0100 | <tomsmeding> | you could even mark certain tools as "experimental", and not show them by default (or make it easy to filter them out or something) |
| 2025-03-24 20:37:41 +0100 | <Athas> | Yes, that is much better than rejecting esoterica. |
| 2025-03-24 20:38:21 +0100 | <Athas> | Btw, I found that Haskell did pretty well for implementing a differentiable Runge-Kutta ODE solver, but now I'm trying to work out how to implement computation of a matrix determinant by minors. |
| 2025-03-24 20:39:15 +0100 | <Athas> | This is not a good algorithm (the complexity is something like O(n!)), but what's worse is that it depends on recursively removing rows and columns from a matrix. This can be done in efficient ways with mutable arrays, but I haven't cracked a nice way to do it in Haskell. |
| 2025-03-24 20:39:38 +0100 | <Athas> | Of course, the lovely part of an O(n!) algorithm is that the dataset will necessarily be so small that perhaps an inefficient matrix representation is unimportant. |
| 2025-03-24 20:39:51 +0100 | <tomsmeding> | hah, O(n!) is brutal |
| 2025-03-24 20:39:57 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-03-24 20:40:46 +0100 | <tomsmeding> | Athas: perhaps the dataset will be small, but even then, what really matters here is the _proportion_ of time that you spend in matrix manipulations |
| 2025-03-24 20:40:59 +0100 | <tomsmeding> | because you'll probably also be doing O(n!) of those matrix manipulations |
| 2025-03-24 20:41:11 +0100 | <tomsmeding> | so it may well be that they need to be fast after all, even if the data is small |
| 2025-03-24 20:42:14 +0100 | <Athas> | Yes. But the imperative solution is to essentially encode the matrix as a linked list of row indexes and column indexes, such that e.g. R[i] is the physical index of the successor to row 'i'. |
| 2025-03-24 20:42:29 +0100 | <Athas> | So maybe it is good enough to maintain a mutable array and then just a bunch of linked lists. |
| 2025-03-24 20:42:52 +0100 | <Athas> | The algorithm is really quite trivial: https://mathworld.wolfram.com/DeterminantExpansionbyMinors.html |
| 2025-03-24 20:42:55 +0100 | <Athas> | Maybe I'm overthinking it. |
| 2025-03-24 20:43:02 +0100 | <tomsmeding> | just implement it! |
| 2025-03-24 20:44:07 +0100 | <Athas> | Er, maintain an immutable array. |
| 2025-03-24 20:44:23 +0100 | kh0d | (~kh0d@212.200.65.82) (Remote host closed the connection) |
| 2025-03-24 20:46:15 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 20:54:19 +0100 | nckx | (nckx@libera/staff/owl/nckx) (Ping timeout: 608 seconds) |
| 2025-03-24 20:56:40 +0100 | kh0d | (~kh0d@212.200.65.82) (Remote host closed the connection) |
| 2025-03-24 20:57:36 +0100 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 276 seconds) |
| 2025-03-24 20:58:07 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 21:05:03 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:c43:fe75:997:32d7) |
| 2025-03-24 21:08:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 21:12:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-24 21:14:54 +0100 | alp | (~alp@2001:861:8ca0:4940:92ce:4d9a:3c9b:8560) |
| 2025-03-24 21:20:01 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-03-24 21:20:06 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-03-24 21:22:31 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-03-24 21:22:45 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f84e5bb842294cfb41d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-03-24 21:27:45 +0100 | alp | (~alp@2001:861:8ca0:4940:92ce:4d9a:3c9b:8560) (Ping timeout: 246 seconds) |
| 2025-03-24 21:31:52 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-24 21:33:55 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-03-24 21:35:54 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-03-24 21:37:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-24 21:44:17 +0100 | kh0d | (~kh0d@212.200.65.82) (Remote host closed the connection) |
| 2025-03-24 21:45:42 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-03-24 21:50:00 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-24 21:50:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 21:51:44 +0100 | jespada | (~jespada@2800:a4:22bd:1300:6874:df1d:56c8:ac1f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-24 21:52:02 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 21:53:53 +0100 | kh0d | (~kh0d@212.200.65.82) (Remote host closed the connection) |
| 2025-03-24 21:55:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 21:55:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-24 21:59:23 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-24 22:00:31 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-24 22:00:37 +0100 | kh0d | (~kh0d@212.200.65.82) |
| 2025-03-24 22:01:45 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Client Quit) |
| 2025-03-24 22:04:06 +0100 | <EvanR> | say an interface to a stack container has two operations push :: a -> Stack a -> Stack a, and pop :: Stack a -> (a, Stack a). And there's a law, pop (push x xs) = (x, xs) |
| 2025-03-24 22:04:23 +0100 | <EvanR> | is that enough to constraint the behavior of the data type to what we normally think of as stack-like |
| 2025-03-24 22:04:45 +0100 | mmhat | (~mmh@2a00:1f:9784:c001:ee08:6bff:fe09:5315) mmhat |
| 2025-03-24 22:04:51 +0100 | mmhat | (~mmh@2a00:1f:9784:c001:ee08:6bff:fe09:5315) (Client Quit) |
| 2025-03-24 22:05:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 22:06:12 +0100 | <Athas> | tomsmeding: this might make me unpopular with the Haskell community: https://github.com/gradbench/gradbench/blob/cmpad/tools/haskell/src/GradBench/DetByMinor.hs |
| 2025-03-24 22:06:14 +0100 | <EvanR> | I guess you need something to start with, dirac :: a -> Stack a, an infinite stack of a which never runs out, where a could be used as a sentinel that you reached the bottom |
| 2025-03-24 22:06:59 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 260 seconds) |
| 2025-03-24 22:07:26 +0100 | <tomsmeding> | EvanR: I think if you have a certain starting stack and particular sequence of pushes and pops, then you can successively cancel each pop against a push until either you're popping more than you pushed (and the spec doesn't let us conclude what happens if you pop from the starting stack), or you have some pushes left which don't generate observable info |
| 2025-03-24 22:07:53 +0100 | <tomsmeding> | EvanR: so yes, this should pin it down apart from pop-on-empty-stack and stack initialisation |
| 2025-03-24 22:08:50 +0100 | <tomsmeding> | Athas: why? Because it's slow and makes haskell look bad? |
| 2025-03-24 22:09:16 +0100 | <mauke> | can't be worse than whitespace |
| 2025-03-24 22:09:45 +0100 | <Athas> | tomsmeding: yes, people get mad when you make a language look bad. |
| 2025-03-24 22:09:51 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f84f984511b1aacfb73.dip0.t-ipconnect.de) acidjnk |
| 2025-03-24 22:10:05 +0100 | <EvanR> | unless it's haskell |
| 2025-03-24 22:10:09 +0100 | <Athas> | Although on the largest workloads it's only about 5x slower than C++. |
| 2025-03-24 22:10:35 +0100 | <EvanR> | because looking bad might indicate something is actually bad and needs improvement |
| 2025-03-24 22:11:19 +0100 | <tomsmeding> | Athas: only 5x? And that's with 'ad'? |
| 2025-03-24 22:11:24 +0100 | <Rembane> | 5x slower than C++ is very fast imho |
| 2025-03-24 22:11:24 +0100 | <sprout> | EvanR: I don't think you need the infinite stack |
| 2025-03-24 22:11:33 +0100 | <Athas> | tomsmeding: yes, 'ad'. And maybe more like 7x. |
| 2025-03-24 22:11:39 +0100 | <EvanR> | I'll ignore the empty stack for now |
| 2025-03-24 22:11:46 +0100 | <sprout> | EvanR: assuming that you're only interested in popping what you once pushed |
| 2025-03-24 22:11:53 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 22:12:00 +0100 | <sprout> | EvanR: but how would you keep track? |
| 2025-03-24 22:12:00 +0100 | <tomsmeding> | Athas: 7x slower than baseline is indeed slow, but if it's 'ad' that achieves that, I'd call that a win |
| 2025-03-24 22:12:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-24 22:12:57 +0100 | <sprout> | EvanR: if you don't have a 'stack_empty?' predicate you'll probably need to keep track of it yourself somehow |
| 2025-03-24 22:13:08 +0100 | <EvanR> | I'll ignore the empty stack for now xD |
| 2025-03-24 22:13:56 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-03-24 22:15:18 +0100 | <EvanR> | push x xs = x : x : xs, ok, this fails the law |
| 2025-03-24 22:16:44 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 244 seconds) |
| 2025-03-24 22:17:03 +0100 | <tomsmeding> | EvanR: important observation, which was implicit in my first reply, is that push and pop each take and return exactly one stack, so any "history" of a stack is a linear sequence of pushes and pops |
| 2025-03-24 22:17:15 +0100 | cipherrot | (~znc-user@user/petrichor) petrichor |
| 2025-03-24 22:17:20 +0100 | <tomsmeding> | so for semantics, you only need to look at all such sequences |
| 2025-03-24 22:17:21 +0100 | infohazards | (~user@user/fmira) fmira |
| 2025-03-24 22:18:29 +0100 | <EvanR> | inventing notation to make that sequence of calls easy to see |
| 2025-03-24 22:18:36 +0100 | <EvanR> | a push next to a pop cancels |
| 2025-03-24 22:18:41 +0100 | <EvanR> | somehow |
| 2025-03-24 22:18:51 +0100 | <EvanR> | and you're left with the final state of the stack |
| 2025-03-24 22:19:49 +0100 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 248 seconds) |
| 2025-03-24 22:21:30 +0100 | <EvanR> | let (x, xs) = pop (push 7 (push 8 (...)) in push 9 xs |
| 2025-03-24 22:21:45 +0100 | <EvanR> | push 9 (push 8 (...)) |
| 2025-03-24 22:23:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 22:24:57 +0100 | <EvanR> | define pop! = snd . pop |
| 2025-03-24 22:25:21 +0100 | <EvanR> | push 9 (pop! (push 7 (push 8 (...)))) |
| 2025-03-24 22:25:22 +0100 | <EvanR> | becomes |
| 2025-03-24 22:25:31 +0100 | <EvanR> | push 9 (push 8 (...)) |
| 2025-03-24 22:25:42 +0100 | <EvanR> | semantically |
| 2025-03-24 22:28:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-24 22:29:43 +0100 | cipherrot | (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 2025-03-24 22:31:13 +0100 | yangby | (~secret@115.205.72.232) yangby |
| 2025-03-24 22:31:26 +0100 | <tomsmeding> | claim: the behaviour of 'check' pins down the entire semantics of Stack: check :: Stack a -> [Maybe a] -> [a]; checks s = snd . foldl' (\(s', out) -> maybe (let (y,s'') = pop s' in (s'',y:out)) (flip push s')) (s, []) |
| 2025-03-24 22:31:47 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-03-24 22:32:01 +0100 | <tomsmeding> | yes, the output is reversed, and no I don't care |
| 2025-03-24 22:32:46 +0100 | <EvanR> | what is this [Maybe a] |
| 2025-03-24 22:32:52 +0100 | <tomsmeding> | Just is a push, Nothing is a pop |
| 2025-03-24 22:33:00 +0100 | <tomsmeding> | list of instructions, essentially |
| 2025-03-24 22:33:26 +0100 | <tomsmeding> | point being that as long as there are enough Justs before Nothings to make sure you never "pop into" the initial stack s, you can determine the output of 'check' purely from your law |
| 2025-03-24 22:34:27 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-24 22:34:40 +0100 | <EvanR> | the initial stack is where you can do root exploits |
| 2025-03-24 22:34:45 +0100 | <tomsmeding> | yes |
| 2025-03-24 22:35:29 +0100 | <EvanR> | I was going to write a similar piece of code to convert a stack into a list but forwards |
| 2025-03-24 22:35:53 +0100 | <EvanR> | is just using foldr instead of foldl' enough |
| 2025-03-24 22:36:08 +0100 | <tomsmeding> | then you process the list of instructions in reverse |
| 2025-03-24 22:36:19 +0100 | <tomsmeding> | which, like, doesn't matter for my claim |
| 2025-03-24 22:36:37 +0100 | <tomsmeding> | but neither does the output order :p |
| 2025-03-24 22:36:57 +0100 | <EvanR> | as long as the [Maybe a] isn't infinite |
| 2025-03-24 22:37:35 +0100 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-03-24 22:37:44 +0100 | <tomsmeding> | I'm saying that the behaviour of 'check' pins down the semantics of 'Stack' (modulo initial/empty stack), not that every invocation of 'check' says something meaningful |
| 2025-03-24 22:39:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 22:41:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 22:42:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-03-24 22:42:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-24 22:43:10 +0100 | <EvanR> | can you somehow prove the opposite law |
| 2025-03-24 22:45:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-24 22:45:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-24 22:45:49 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-03-24 22:46:28 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-03-24 22:52:47 +0100 | <EvanR> | answer: no |
| 2025-03-24 22:54:16 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-03-24 22:54:37 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-24 22:56:48 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-03-24 22:58:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 23:01:00 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 23:03:08 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-24 23:03:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-24 23:05:41 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 248 seconds) |
| 2025-03-24 23:13:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |