Newest at the top
| 2025-11-21 11:55:17 +0100 | <chromoblob> | 0^0 for me is simply the number of functions from bottom to bottom :) |
| 2025-11-21 11:54:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-21 11:54:16 +0100 | <jreicher> | I didn't say 1 wasn't the limit in some situations. I'm just saying it's not the limit in all, so it can't be the definition. |
| 2025-11-21 11:53:34 +0100 | <[exa]> | jreicher: counter-countered by `lim x->0 x^x` and `lim x->0 x^0` |
| 2025-11-21 11:53:04 +0100 | <jreicher> | (counterexample, not a definition) |
| 2025-11-21 11:52:34 +0100 | <jreicher> | lim x->0 0^x |
| 2025-11-21 11:51:25 +0100 | <chromoblob> | yin: 1 |
| 2025-11-21 11:51:14 +0100 | <yin> | chromoblob: what's your view on 0^0 ? |
| 2025-11-21 11:51:05 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-21 11:50:52 +0100 | trickard___ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-21 11:50:07 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-21 11:47:54 +0100 | <[exa]> | like, ideally the rss/atom protocol would be itself aware of the fact that the rss has to be refreshed |
| 2025-11-21 11:47:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-21 11:44:31 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-21 11:43:21 +0100 | <haskellbridge> | <Morj> Gemini looks like a good transport for rss/atom, except a lot of rss readers rely on http response headers to know when to hit again, and gemini doesn't have headers |
| 2025-11-21 11:42:26 +0100 | <haskellbridge> | <Morj> Some blogs I follow have a gemini mirror. Which I never open |
| 2025-11-21 11:40:48 +0100 | <probie> | I like Gemini in theory, but the things I'd like to see use it never will |
| 2025-11-21 11:38:48 +0100 | Googulator66 | (~Googulato@team.broadbit.hu) |
| 2025-11-21 11:37:58 +0100 | <[exa]> | yeah it's super new |
| 2025-11-21 11:36:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-21 11:34:58 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-21 11:34:58 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-11-21 11:34:57 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-11-21 11:32:24 +0100 | <haskellbridge> | <Morj> Wait, I didn't know gemini appeared in 2019 |
| 2025-11-21 11:31:51 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-11-21 11:31:21 +0100 | <haskellbridge> | <Morj> Yeah, gemini and gopher share some lineage and proponents. I'm too zoomer to know more |
| 2025-11-21 11:31:17 +0100 | trickard | (~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-21 11:29:39 +0100 | trickard___ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-21 11:29:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-21 11:28:16 +0100 | <[exa]> | I love the client certificate proliferation there, that's very nice. |
| 2025-11-21 11:25:42 +0100 | fp | (~Thunderbi@130.233.70.141) (Ping timeout: 252 seconds) |
| 2025-11-21 11:24:13 +0100 | <[exa]> | coool. |
| 2025-11-21 11:24:05 +0100 | <[exa]> | ah ok there's gemini-router which looks pretty much like we can do scotty stuff on that |
| 2025-11-21 11:22:42 +0100 | p3n_ | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-11-21 11:21:44 +0100 | <[exa]> | anyway is there a lowlevel server for that (like warp)? would be great |
| 2025-11-21 11:18:47 +0100 | chele | (~chele@user/chele) chele |
| 2025-11-21 11:17:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-21 11:17:10 +0100 | <[exa]> | gemini is the new gopher? |
| 2025-11-21 11:10:22 +0100 | <haskellbridge> | <Morj> I see the gemini space is not really explored on hackage |
| 2025-11-21 11:10:00 +0100 | <haskellbridge> | <Morj> I have an intrusive thought to build servant combinators to support gemini protocol |
| 2025-11-21 11:01:47 +0100 | fp | (~Thunderbi@130.233.70.141) fp |
| 2025-11-21 11:01:31 +0100 | fp | (~Thunderbi@130.233.70.141) (Client Quit) |
| 2025-11-21 11:01:17 +0100 | fp | (~Thunderbi@130.233.70.141) fp |
| 2025-11-21 11:01:04 +0100 | fp | (~Thunderbi@130.233.70.141) (Client Quit) |
| 2025-11-21 11:00:36 +0100 | fp | (~Thunderbi@130.233.70.141) fp |
| 2025-11-21 10:58:16 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 244 seconds) |
| 2025-11-21 10:56:45 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-21 10:56:00 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-11-21 10:53:15 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2025-11-21 10:50:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |