Newest at the top
| 2024-04-28 13:27:35 +0200 | <tomsmeding> | I have that checkbox set too |
| 2024-04-28 13:27:14 +0200 | <tomsmeding> | I would expect not |
| 2024-04-28 13:27:01 +0200 | <ski> | dunno whether "Block pop-up windows" (enabled) in <about:preferences#privacy> would affect this |
| 2024-04-28 13:25:02 +0200 | <tomsmeding> | that sounds like a bug; any errors in the JS console? |
| 2024-04-28 13:24:48 +0200 | <ski> | right. no such thing, just replacing the URL with that new one |
| 2024-04-28 13:23:33 +0200 | <tomsmeding> | ski: I get this in firefox https://tomsmeding.com/ss/get/tomsmeding/Th06hE |
| 2024-04-28 13:23:07 +0200 | <tomsmeding> | (currently trying to get 'time' to give me something that fits the Last-Modified header spec, which **requires** "GMT" for some reason) |
| 2024-04-28 13:22:55 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2024-04-28 13:22:46 +0200 | <ski> | this was Firefox |
| 2024-04-28 13:22:35 +0200 | <tomsmeding> | but it's a <dialog>, what browser are you using? |
| 2024-04-28 13:22:32 +0200 | <ski> | ah |
| 2024-04-28 13:22:27 +0200 | <tomsmeding> | you're supposed to get a dialog though |
| 2024-04-28 13:22:15 +0200 | <tomsmeding> | ah I see |
| 2024-04-28 13:22:01 +0200 | <ski> | no, it just surprised me, didn't do what i expected, instead just changed the URL (but the page appeared exactly the same, so i didn't notice that immediately) |
| 2024-04-28 13:20:31 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Client Quit) |
| 2024-04-28 13:20:18 +0200 | <tomsmeding> | ski: was it just slow? |
| 2024-04-28 13:19:25 +0200 | gospy | (~gospy@127.77.178.217.shared.user.transix.jp) (Client Quit) |
| 2024-04-28 13:18:49 +0200 | gospy | (~gospy@127.77.178.217.shared.user.transix.jp) |
| 2024-04-28 13:18:40 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2024-04-28 13:17:42 +0200 | mrmr1553343 | (~mrmr@user/mrmr) |
| 2024-04-28 13:14:46 +0200 | ski | clicked on the "Save & share code" buttom, expected it to pop up some modal window, clicked again when that didn't happen quickly |
| 2024-04-28 13:13:59 +0200 | <ncf> | https://i.imgflip.com/8oapr0.jpg |
| 2024-04-28 13:13:48 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-04-28 13:13:30 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2024-04-28 13:12:08 +0200 | <ncf> | length = void |
| 2024-04-28 13:10:37 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-04-28 13:10:01 +0200 | <tomsmeding> | (random fact: already 6378 saved snippets on the playground) |
| 2024-04-28 13:06:34 +0200 | <int-e> | (yes, I seem to be circling back to where ski started) |
| 2024-04-28 13:06:15 +0200 | <tomsmeding> | there is a Natural in base (in Numeric.Natural) but it's just an unsigned 'Integer' |
| 2024-04-28 13:06:06 +0200 | <int-e> | . o O ( length' = map (const ()) ) |
| 2024-04-28 13:05:34 +0200 | <ski> | it was nice to showcase things like `genericLength xs == (0 :: Natural)', also for infinite `xs' |
| 2024-04-28 13:04:52 +0200 | <tomsmeding> | there are none in base and I'm salty about that |
| 2024-04-28 13:04:46 +0200 | <ski> | yes |
| 2024-04-28 13:04:36 +0200 | <tomsmeding> | inductive peano nats? |
| 2024-04-28 13:04:11 +0200 | <ski> | (well, i guess it's called `Natural' .. but lambdabot doesn't have that loaded, anymore, afaik) |
| 2024-04-28 13:02:23 +0200 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2024-04-28 13:02:13 +0200 | <ski> | int-e : yea, was just thinking about that, in relation to ordering on `Nat' |
| 2024-04-28 13:01:48 +0200 | <ski> | sounds relevant, tomsmeding |
| 2024-04-28 13:01:48 +0200 | mrmr1553343 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-04-28 13:01:40 +0200 | <int-e> | ski: I guess [] <= undefined *could* be defined but the report defines everything in terms of `compare` and [] `compare` undefined has to be bottom |
| 2024-04-28 13:01:19 +0200 | <tomsmeding> | ski: that would be the Last-Modified http header, right? |
| 2024-04-28 13:01:16 +0200 | <yin> | *good |
| 2024-04-28 13:01:11 +0200 | <yin> | goog conversation nontheless |
| 2024-04-28 12:59:41 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-28 12:59:35 +0200 | <yin> | lol i need to wake up |
| 2024-04-28 12:59:18 +0200 | <ski> | (it was an answer) |
| 2024-04-28 12:59:06 +0200 | <int-e> | yin: that wasn't a question |
| 2024-04-28 12:58:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-04-28 12:58:42 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2024-04-28 12:58:35 +0200 | <yin> | int-e: is it clear now? |
