Newest at the top
2025-03-24 03:29:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (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:25:57 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
2025-03-24 03:25:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-24 03:23:56 +0100 | kh0d | (~kh0d@212.200.181.147) |
2025-03-24 03:23:19 +0100 | kh0d | (~kh0d@212.200.181.147) (Remote host closed the connection) |
2025-03-24 03:14:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
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:09:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-24 03:07:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-24 02:58:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-24 02:57:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
2025-03-24 02:54:59 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
2025-03-24 02:53:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-24 02:52:45 +0100 | <haskellbridge> | <Bowuigi> An approximation of sqrt(2) apparently |
2025-03-24 02:52:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
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:49:06 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f952ce53448bb90cf5a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-03-24 02:48:50 +0100 | int-e | (~noone@int-e.eu) int-e |
2025-03-24 02:42:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-24 02:41:07 +0100 | int-e | (~noone@int-e.eu) (Remote host closed the connection) |
2025-03-24 02:38:47 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-03-24 02:37:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-24 02:34:29 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-03-24 02:34:00 +0100 | ChanServ | +v lambdabot |
2025-03-24 02:34:00 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) 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@silicon.int-e.eu) lambdabot |
2025-03-24 02:33:31 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (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:31:08 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-03-24 02:26:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-24 02:21:38 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-03-24 02:19:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-24 02:11:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 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:10:59 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 260 seconds) |
2025-03-24 02:07:14 +0100 | user363627 | (~user@user/user363627) user363627 |
2025-03-24 02:06:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-24 02:06:39 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-24 02:01:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-24 01:58:30 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-03-24 01:58:19 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-03-24 01:57:44 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-03-24 01:56:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-03-24 01:55:55 +0100 | <EvanR> | spheres are weird |
2025-03-24 01:55:49 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-03-24 01:55:12 +0100 | <Axman6> | EvanR: Damn those hairy balls |
2025-03-24 01:54:35 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-03-24 01:52:51 +0100 | <geekosaur> | (ignoring little things like "but not true as soon as you move off the pole") |