| 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 |