| 2026-04-22 00:04:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-22 00:15:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 00:19:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-22 00:27:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 00:28:56 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a0ab:ded3:9a8e:f68) (Ping timeout: 244 seconds) |
| 2026-04-22 00:29:38 +0000 | vetkat | (~vetkat@user/vetkat) (Ping timeout: 248 seconds) |
| 2026-04-22 00:31:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 00:32:16 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-04-22 00:32:41 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e575cc18418ef4c2db48.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-22 00:32:55 +0000 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2026-04-22 00:34:15 +0000 | califax | (~califax@user/califx) califx |
| 2026-04-22 00:34:52 +0000 | czan | (~czan@user/mange) czan |
| 2026-04-22 00:37:37 +0000 | <janus> | @sm swagger2 got fixed :) |
| 2026-04-22 00:37:46 +0000 | <haskellbridge> | <sm> nice! |
| 2026-04-22 00:37:54 +0000 | <janus> | i have updated servant-swagger |
| 2026-04-22 00:42:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 00:45:50 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-22 00:45:58 +0000 | <haskellbridge> | <alexfmpe> dutchie: asum $ fmap ($ x) [f, g] |
| 2026-04-22 00:47:00 +0000 | alhazrod | (uid662262@user/alhazrod) (Quit: Connection closed for inactivity) |
| 2026-04-22 00:47:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-22 00:58:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 00:59:51 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 01:00:08 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 01:02:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 01:11:06 +0000 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-04-22 01:11:52 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-04-22 01:13:34 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-22 01:18:00 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2026-04-22 01:21:30 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-22 01:25:21 +0000 | skum | (~skum@user/skum) (Read error: Connection reset by peer) |
| 2026-04-22 01:28:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 01:35:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-22 01:46:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 01:51:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 02:02:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 02:05:06 +0000 | yin | (~zero@user/zero) (Ping timeout: 248 seconds) |
| 2026-04-22 02:06:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 02:09:13 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2026-04-22 02:15:59 +0000 | yin | (~zero@user/zero) zero |
| 2026-04-22 02:17:27 +0000 | Guest30 | (~Guest15@168.234.74.11) |
| 2026-04-22 02:17:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 02:21:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-22 02:23:05 +0000 | Guest30 | (~Guest15@168.234.74.11) (Quit: Client closed) |
| 2026-04-22 02:30:59 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-22 02:32:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 02:37:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 02:41:51 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:846b:977e:db81:bd5c) |
| 2026-04-22 02:41:51 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:846b:977e:db81:bd5c) (Changing host) |
| 2026-04-22 02:41:51 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 02:43:19 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-22 02:46:10 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-04-22 02:48:22 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-22 02:52:34 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-22 02:59:15 +0000 | rekahsoft | (~rekahsoft@76.67.111.168) (Remote host closed the connection) |
| 2026-04-22 03:03:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 03:11:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-22 03:21:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 03:26:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-22 03:26:52 +0000 | hsw | (~hsw@106.104.103.195) (Quit: Leaving) |
| 2026-04-22 03:37:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 03:41:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-22 03:52:30 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-22 03:57:09 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-22 04:07:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 04:10:45 +0000 | <ski> | gentauro : that misuses `Show' :( |
| 2026-04-22 04:11:30 +0000 | <ski> | also, aren't bold and faint supposed to be mutually exclusive, being at the two opposite ends of the scale which has "normal weight" in the middle ? |
| 2026-04-22 04:12:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 04:15:31 +0000 | bgamari | (~bgamari@64.223.168.27) (Ping timeout: 268 seconds) |
| 2026-04-22 04:15:46 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-22 04:17:22 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-04-22 04:18:45 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-22 04:18:55 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-04-22 04:23:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 04:27:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-22 04:28:11 +0000 | bgamari | (~bgamari@64.223.158.17) |
| 2026-04-22 04:34:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 04:34:30 +0000 | michalz | (~michalz@185.246.207.205) |
| 2026-04-22 04:38:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-22 04:48:18 +0000 | foul_owl | (~kerry@94.156.149.94) (Ping timeout: 244 seconds) |
| 2026-04-22 04:49:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 04:53:37 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2026-04-22 04:56:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-22 05:04:18 +0000 | foul_owl | (~kerry@94.156.149.94) foul_owl |
| 2026-04-22 05:05:05 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-22 05:05:42 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-22 05:05:45 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2026-04-22 05:07:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 05:07:30 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-22 05:09:15 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-04-22 05:10:32 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-22 05:11:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 05:21:28 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-22 05:22:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 05:26:58 +0000 | traxex | (traxex@user/traxex) traxex |
| 2026-04-22 05:27:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 05:28:58 +0000 | ephapticpulse | (~user@user/ephapticpulse) ephapticpulse |
| 2026-04-22 05:32:50 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-22 05:34:14 +0000 | ephapticpulse | (~user@user/ephapticpulse) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2026-04-22 05:35:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 05:37:07 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 05:37:21 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 05:39:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-22 05:40:15 +0000 | synchromesh | (~john@139.180.114.128) synchromesh |
| 2026-04-22 05:44:34 +0000 | <gentauro> | ski: I have no clue |
| 2026-04-22 05:49:36 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-22 05:50:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 05:51:45 +0000 | <gentauro> | ski: but I would say it looks pretty cool -> https://imgur.com/a/gent-looking-cool-X49HD5E (colourblind here so, don't take my word for it) |
| 2026-04-22 05:52:25 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-22 05:54:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 06:05:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 06:10:39 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-04-22 06:10:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-22 06:11:05 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-22 06:13:40 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 06:16:00 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-22 06:16:15 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-22 06:18:25 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-22 06:18:41 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-22 06:19:37 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-22 06:21:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 06:21:32 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-22 06:25:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 06:26:53 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-04-22 06:27:36 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-04-22 06:30:49 +0000 | <dminuoso> | gentauro: It is quite curious how Haskell on one hand strong advertises catching bugs with a type system, and then at the same time offers bottom in so many ways, even across our standard libraries. |
| 2026-04-22 06:31:07 +0000 | <dminuoso> | But perhaps the case can be made that outright crashing a program is a better behavior than being easily caught. |
| 2026-04-22 06:31:28 +0000 | <dminuoso> | If one caught a bottom, without any knowledge of its provenance, how could one reasonably recover anyway |
| 2026-04-22 06:32:45 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-04-22 06:36:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 06:36:32 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 06:36:55 +0000 | Square3 | (~Square4@user/square) Square |
| 2026-04-22 06:40:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 06:51:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 06:52:40 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-22 06:56:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-22 06:58:30 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-04-22 06:58:54 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-04-22 07:04:47 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 07:06:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 07:11:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-22 07:15:06 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-22 07:16:35 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-22 07:29:33 +0000 | <ski> | gentauro : hm, i meant that your `Show' instance ought to be a separate function, named something different, leaving `Show' to be composable with other `Show' instances (try `show' on a `Maybe SelectGraphicRendition', a `Map String SelectGraphicRendition', or a `[SelectGraphicRendition]', e.g.), so you can use `Show' for debugging |
| 2026-04-22 07:30:52 +0000 | <ski> | gentauro : is "Λ-gent" relating to lambda calculus, in some way ? |
| 2026-04-22 07:32:00 +0000 | <ski> | (maybe the upper case lambda refers to System F ? or perhaps some linear algebra, or maybe some other theory ?) |
| 2026-04-22 07:32:45 +0000 | <ski> | gentauro : is the response to the `/help' command, at the prompt, in faint weight ? |
| 2026-04-22 07:34:22 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish |
| 2026-04-22 07:45:09 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-22 07:47:26 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-22 08:02:22 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-04-22 08:03:14 +0000 | <gentauro> | ski: the inital lambda term was `^` (SHIFT+6). Cos of the capital lambda. I never understood why we left doing that for: `\ _ -> …` (Haskell, Elm); `fun _ -> …` (OCaml, F#); `function _ -> …` (ML, F#) :-\ |
| 2026-04-22 08:03:31 +0000 | gentauro | `^x.x` looks SO MUCH better :( |
| 2026-04-22 08:04:05 +0000 | <merijn> | Much more annoying to type though |
| 2026-04-22 08:04:28 +0000 | <gentauro> | ski: `Λ-mode>` is bold, input text is "regular" and ouput is "fainted" |
| 2026-04-22 08:05:08 +0000 | <gentauro> | merijn: yeah, but so are Emacs shortkeys. You tend to get used to them ;) |
| 2026-04-22 08:05:40 +0000 | <gentauro> | I will take `^` over `fun …` and `function _` anyday |
| 2026-04-22 08:12:15 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-22 08:30:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-04-22 08:32:45 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-22 08:36:11 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 08:38:10 +0000 | <[exa]> | dminuoso: tbh the bottoms follow the pretty good practice of "if you don't know, crash it loudly" |
| 2026-04-22 08:38:21 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-22 08:38:35 +0000 | <[exa]> | at least I didn't spot one that wouldn't behave so |
| 2026-04-22 08:39:52 +0000 | <[exa]> | gentauro: what would you use the \ for btw |
| 2026-04-22 08:41:23 +0000 | <haskellbridge> | <Liamzee> monochrom: the question is more, given foo = undefined being extremely cheap, whether Haskell is more given to this type of top down architecting |
| 2026-04-22 08:41:32 +0000 | <haskellbridge> | <Liamzee> i mean it's basically various forms of TyDD anyways |
| 2026-04-22 08:45:02 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-04-22 08:51:39 +0000 | <merijn> | Liamzee: better use typed holes via "foo = _" then you not only get a crash, but also a line number AND a type |
| 2026-04-22 08:53:15 +0000 | <merijn> | *and* a warning *and* a way to turn any you forgot into compile time errors :p |
| 2026-04-22 08:53:36 +0000 | <gentauro> | [exa]: funny enough, the .NET (with C#) don't anything at all :o: `Select(x => …);` |
| 2026-04-22 08:55:51 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-22 09:03:14 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-22 09:09:04 +0000 | tristanC | (~tristanC@user/tristanc) (Ping timeout: 276 seconds) |
| 2026-04-22 09:10:24 +0000 | tristanC | (~tristanC@2602:61:712f:b700:a215:c067:33c4:f43e) |
| 2026-04-22 09:10:24 +0000 | tristanC | (~tristanC@2602:61:712f:b700:a215:c067:33c4:f43e) (Changing host) |
| 2026-04-22 09:10:24 +0000 | tristanC | (~tristanC@user/tristanc) tristanC |
| 2026-04-22 09:15:58 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e575659a3cc58dc6913c.dip0.t-ipconnect.de) |
| 2026-04-22 09:18:27 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-04-22 09:20:50 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-22 09:22:05 +0000 | <ski> | gentauro : mhm, i see. fwiw, `function _ -> ...' is also OCaml, but not SML (which uses `fn _ => ...') |
| 2026-04-22 09:22:57 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-22 09:23:53 +0000 | <ski> | (you said "ML", which is (nowadays) an umbrella term for all of SML,OCaml,F# (you could also mention Alice ML if you want, and MetaML,MetaOCaml, and the original Caml)) |
| 2026-04-22 09:23:54 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-04-22 09:26:18 +0000 | walt | ggVGc |
| 2026-04-22 09:26:50 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds) |
| 2026-04-22 09:29:10 +0000 | davl_ | (~davl@207.154.228.18) davl |
| 2026-04-22 09:29:42 +0000 | davl | (~davl@207.154.228.18) (Ping timeout: 255 seconds) |
| 2026-04-22 09:31:13 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-22 09:43:33 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-22 09:47:30 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5836dc6d0caa2ab8c45.dip0.t-ipconnect.de) acidjnk |
| 2026-04-22 09:48:35 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-22 09:49:04 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-04-22 09:50:42 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e575659a3cc58dc6913c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-22 09:53:30 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 09:53:34 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 10:02:51 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-04-22 10:12:27 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2026-04-22 10:21:45 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-22 10:22:25 +0000 | nmeum_ | (~nmeum@barium.8pit.net) nmeum |
| 2026-04-22 10:24:47 +0000 | <nmeum_> | I have a question regarding Control.Monad.Catch: I do exception handling via `catch` in the context of a stateful monad `m`, in the exception handler `(e -> m a)` I want to access information about the state of my monad in which the exception occured. however, the exception handler action is executed in the state of the `catch` caller. how do access the error `m` state? |
| 2026-04-22 10:24:50 +0000 | nmeum_ | nmeum |
| 2026-04-22 10:43:11 +0000 | <mauke> | ski: and don't forget YAML |
| 2026-04-22 10:47:16 +0000 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2026-04-22 10:48:50 +0000 | pfc | (~pfc@user/pfc) (Ping timeout: 248 seconds) |
| 2026-04-22 10:50:15 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-04-22 10:50:32 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-04-22 10:57:43 +0000 | <merijn> | nmeum: You do not |
| 2026-04-22 10:58:10 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-22 10:58:24 +0000 | <merijn> | nmeum: Or rather, in that scenario you probably just want a Reader of an IORef/MVar to access the state |
| 2026-04-22 11:00:03 +0000 | <nmeum> | hm, that would presuppose changing the entire internal state representation of my monad. I think I would rather throw a custom exception which also includes the state or something along those lines then |
| 2026-04-22 11:02:14 +0000 | <merijn> | nmeum: The problem is that catch is effectively unwrapping/rewrapping the stack, and there's no general way to make e.g. `StateT` handler that |
| 2026-04-22 11:04:00 +0000 | <merijn> | nmeum: i.e. imagine `StateT s (EitherT e IO) a`, it ends up doing `runStateT` + `runEitherT` to turn it into `IO (Either e (s, a))` and then rewrapping that. But if the EitherT (or MaybeT) early aborts you don't get a state to return. |
| 2026-04-22 11:04:21 +0000 | <nmeum> | yea, makes sense |
| 2026-04-22 11:15:33 +0000 | tv | (~tv@user/tv) tv |
| 2026-04-22 11:17:39 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-22 11:19:22 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a57a:c3e:71fc:8409) |
| 2026-04-22 11:21:08 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-04-22 11:24:36 +0000 | <ski> | mm, YAML is unrelated |
| 2026-04-22 11:24:53 +0000 | <ski> | @unmtl StateT s (EitherT e IO) a |
| 2026-04-22 11:24:53 +0000 | <lambdabot> | s -> EitherT e IO (a, s) |
| 2026-04-22 11:25:07 +0000 | <ski> | @unmtl StateT s (ExceptT e IO) a |
| 2026-04-22 11:25:07 +0000 | <lambdabot> | s -> IO (Either e (a, s)) |
| 2026-04-22 11:25:38 +0000 | <ski> | @unmtl ExceptT e (StateT s IO) a |
| 2026-04-22 11:25:38 +0000 | <lambdabot> | s -> IO (Either e a, s) |
| 2026-04-22 11:26:28 +0000 | <ski> | @unmtl StateT s (MaybeT IO) a |
| 2026-04-22 11:26:28 +0000 | <lambdabot> | s -> IO (Maybe (a, s)) |
| 2026-04-22 11:26:35 +0000 | <ski> | @unmtl MaybeT (StateT s IO) a |
| 2026-04-22 11:26:36 +0000 | <lambdabot> | s -> IO (Maybe a, s) |
| 2026-04-22 11:29:55 +0000 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-04-22 11:42:28 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 11:54:19 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:a164:435b:6188:a364) |
| 2026-04-22 11:54:19 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:a164:435b:6188:a364) (Changing host) |
| 2026-04-22 11:54:19 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 11:54:43 +0000 | aka_dude | (~aka_dude@192.71.166.120) (Quit: Gateway shutdown) |
| 2026-04-22 11:55:42 +0000 | aka_dude | (~aka_dude@2a03:f80:30:f490::1) |
| 2026-04-22 11:58:40 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-04-22 12:00:52 +0000 | aka_dude | (~aka_dude@2a03:f80:30:f490::1) (Quit: Gateway shutdown) |
| 2026-04-22 12:01:43 +0000 | aka_dude | (~aka_dude@2a03:f80:30:f490::1) |
| 2026-04-22 12:04:41 +0000 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-04-22 12:04:48 +0000 | gAy_Dragon | (A_D@libera/staff/dragon) (Quit: ZNC - https://znc.in) |
| 2026-04-22 12:05:02 +0000 | A_Dragon | (A_D@libera/staff/dragon) ad |
| 2026-04-22 12:32:33 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-04-22 12:37:02 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 12:51:07 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-22 12:56:59 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 13:00:16 +0000 | hsw | (~hsw@106.104.103.195) hsw |
| 2026-04-22 13:08:25 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 13:24:23 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-22 13:25:14 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) rekahsoft |
| 2026-04-22 13:28:37 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 13:29:30 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2026-04-22 13:35:27 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-04-22 13:42:39 +0000 | misterfish | (~misterfis@37-74-4-201.biz.kpn.net) misterfish |
| 2026-04-22 13:54:27 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2026-04-22 13:54:41 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-04-22 14:00:31 +0000 | danza | (~danza@user/danza) danza |
| 2026-04-22 14:05:35 +0000 | A_Dragon | gAy_Dragon |
| 2026-04-22 14:20:51 +0000 | misterfish | (~misterfis@37-74-4-201.biz.kpn.net) (Ping timeout: 255 seconds) |
| 2026-04-22 14:27:28 +0000 | misterfish | (~misterfis@145.15.244.231) misterfish |
| 2026-04-22 14:41:33 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2026-04-22 14:43:47 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 14:44:51 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 14:45:12 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 14:45:40 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-04-22 14:51:53 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-22 14:58:06 +0000 | emaczen | (~user@user/emaczen) emaczen |
| 2026-04-22 15:06:57 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 15:07:33 +0000 | misterfish | (~misterfis@145.15.244.231) (Ping timeout: 246 seconds) |
| 2026-04-22 15:09:25 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-22 15:14:26 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-22 15:17:52 +0000 | Guest43 | (~Guest43@p200300dcb73c46000040a0829b6a9131.dip0.t-ipconnect.de) |
| 2026-04-22 15:22:36 +0000 | Guest43 | (~Guest43@p200300dcb73c46000040a0829b6a9131.dip0.t-ipconnect.de) (Client Quit) |
| 2026-04-22 15:38:05 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-22 15:43:45 +0000 | kimiamania40 | (~67ff9c51@user/kimiamania) (Quit: PegeLinux) |
| 2026-04-22 15:44:33 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2026-04-22 15:44:36 +0000 | kimiamania40 | (~67ff9c51@user/kimiamania) kimiamania |
| 2026-04-22 15:48:52 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-22 15:50:53 +0000 | kimiamania40 | (~67ff9c51@user/kimiamania) (Quit: PegeLinux) |
| 2026-04-22 15:52:09 +0000 | kimiamania40 | (~67ff9c51@user/kimiamania) kimiamania |
| 2026-04-22 15:55:54 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2026-04-22 16:13:58 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-22 16:21:26 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-04-22 16:25:22 +0000 | <gentauro> | .cabal files are YAML right? |
| 2026-04-22 16:25:51 +0000 | jle` | (~jle`@2603:8001:3b00:11:4360:f9b:cc52:4598) (Ping timeout: 272 seconds) |
| 2026-04-22 16:26:00 +0000 | <c_wraith> | no |
| 2026-04-22 16:26:08 +0000 | jle` | (~jle`@2603:8001:3b00:11:f3e:9fc4:5dc4:9a6) jle` |
| 2026-04-22 16:26:44 +0000 | <gentauro> | c_wraith: hmmmm, the syntax is very similar then |
| 2026-04-22 16:27:10 +0000 | <gentauro> | however, I don't think YAML has `if-statements` |
| 2026-04-22 16:27:45 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2026-04-22 16:27:48 +0000 | <c_wraith> | Think of it the other way around. YAML has a *ton* of syntactic constructs that cabal doesn't support. |
| 2026-04-22 16:27:48 +0000 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2026-04-22 16:28:31 +0000 | <c_wraith> | If you try to treat it as YAML, you'll quickly discover it's not even close |
| 2026-04-22 16:32:06 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-22 16:33:56 +0000 | Square2 | (~Square@user/square) Square |
| 2026-04-22 16:34:04 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-04-22 16:34:18 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 16:34:30 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
| 2026-04-22 16:34:49 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 16:35:18 +0000 | <EvanR> | has anyone ever heard of a FRP + cybernetics blog post or article or something |
| 2026-04-22 16:38:02 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-04-22 16:38:06 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2026-04-22 16:38:26 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-04-22 16:40:45 +0000 | <gentauro> | EvanR: that sound like something Elon Musk would do … |
| 2026-04-22 16:41:02 +0000 | bggd | (~bgg@user/bggd) (Quit: std::move) |
| 2026-04-22 16:41:10 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-04-22 16:41:11 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 16:45:12 +0000 | confusedalex_ | (~confuseda@user/confusedalex) confusedalex |
| 2026-04-22 16:45:57 +0000 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 244 seconds) |
| 2026-04-22 16:45:57 +0000 | confusedalex_ | confusedalex |
| 2026-04-22 16:46:24 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-22 16:52:35 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-22 16:52:57 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-22 17:07:50 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 17:08:28 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-22 17:19:19 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 17:20:42 +0000 | ephapticpulse | (~user@user/ephapticpulse) ephapticpulse |
| 2026-04-22 17:27:33 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 17:31:03 +0000 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2026-04-22 17:37:11 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 268 seconds) |
| 2026-04-22 17:44:04 +0000 | rabbull | (~rabbull@user/rabbull) (Quit: Ping timeout (120 seconds)) |
| 2026-04-22 17:44:17 +0000 | rabbull | (~rabbull@user/rabbull) rabbull |
| 2026-04-22 17:50:25 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-04-22 17:50:50 +0000 | <monochrom> | (Belated) If one wants to ban bottoms, the only two currently widely deployed ways are System F (eg Dhall) and dependent type theory (eg Agda, Lean). |
| 2026-04-22 17:51:32 +0000 | <monochrom> | To be sure, I would be happy if someone found a third way much more ergonomic than those two. |
| 2026-04-22 17:52:06 +0000 | <monochrom> | For now, IMO banning bottoms is just a lot of high-horse unpragmatic talk. |
| 2026-04-22 17:52:49 +0000 | <monochrom> | (unless the talker actually advocates going all out for those two) |
| 2026-04-22 17:53:51 +0000 | <int-e> | monochrom: if it can implement the Ackermann function, is it really terminating ;) |
| 2026-04-22 17:54:23 +0000 | <monochrom> | Yeah my thesis supervisor is like "termination is uninformative" because of that. |
| 2026-04-22 17:56:07 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) ft |
| 2026-04-22 18:01:22 +0000 | <monochrom> | When I took a compiler course, I submitted as a test case the Ackermann function! (The prof gave bonus marks for supporting recursion.) |
| 2026-04-22 18:02:35 +0000 | <monochrom> | (When I took a compiler course and submitted its toy compiler project) |
| 2026-04-22 18:20:46 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-22 18:25:09 +0000 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2026-04-22 18:29:24 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-04-22 18:30:03 +0000 | ski | . o O ( "Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking" by Baltasar Trancón y Widemann in 2018-09-17 at <https://arxiv.org/abs/1602.05010> ) |
| 2026-04-22 18:34:34 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-22 18:35:39 +0000 | <gentauro> | monochrom: can you ban `bottom` with Liquid Haskell comments? |
| 2026-04-22 18:36:03 +0000 | <monochrom> | I guess yes. |
| 2026-04-22 18:36:32 +0000 | <monochrom> | But I have a feeling that Liquid Haskell is even less widely used than Lean. |
| 2026-04-22 18:38:38 +0000 | <gentauro> | I tried to use it, couldn't make it build (nightly though) |
| 2026-04-22 18:38:44 +0000 | <gentauro> | must try again I guess |
| 2026-04-22 18:41:25 +0000 | <monochrom> | Personally I just fight bottom mistakes with test cases. This is more powerful in Haskell than in many other languages. Due to parametricity, if a sufficiently polymorphic function terminates for one test, then it terminates for a large generality. |
| 2026-04-22 18:43:47 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-22 18:52:53 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:a809:4899:76b6:a7ce) |
| 2026-04-22 18:52:53 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:a809:4899:76b6:a7ce) (Changing host) |
| 2026-04-22 18:52:53 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 19:03:03 +0000 | lewisbrown | (~user@15.218.2.231) |
| 2026-04-22 19:03:52 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2026-04-22 19:22:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 19:27:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-22 19:32:42 +0000 | lewisbrown | (~user@15.218.2.231) (Changing host) |
| 2026-04-22 19:32:42 +0000 | lewisbrown | (~user@user/lewisbrown) lewisbrown |
| 2026-04-22 19:37:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 19:44:13 +0000 | Square2 | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2026-04-22 19:44:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 19:55:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 19:58:24 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-22 19:58:42 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2026-04-22 20:00:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-22 20:01:14 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-04-22 20:09:42 +0000 | lewisbrown | (~user@user/lewisbrown) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-22 20:10:43 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.9.0) |
| 2026-04-22 20:11:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 20:14:09 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-22 20:16:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-22 20:20:16 +0000 | slomp | (~slomp@47-158-199-90.lsan.ca.frontiernet.net) (Ping timeout: 244 seconds) |
| 2026-04-22 20:22:47 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 20:23:05 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 20:27:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 20:27:56 +0000 | slomp | (~slomp@47-158-199-90.lsan.ca.frontiernet.net) |
| 2026-04-22 20:28:57 +0000 | <EvanR> | monochrom, also HTML has no bottoms |
| 2026-04-22 20:29:04 +0000 | <EvanR> | it's widely deployed |
| 2026-04-22 20:29:45 +0000 | <EvanR> | though I now see my old suggestion to add "functions" to HTML would then need some dhall sauce or lean sauce to not ruin that |
| 2026-04-22 20:30:27 +0000 | <EvanR> | or homotopy type theory sauce |
| 2026-04-22 20:30:28 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-22 20:30:57 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-04-22 20:32:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 20:43:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 20:46:06 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds) |
| 2026-04-22 20:48:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-22 20:49:21 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 20:51:28 +0000 | digitteknohippie | (~user@user/digit) Digit |
| 2026-04-22 20:54:05 +0000 | tok | (~user@user/tok) tok |
| 2026-04-22 20:54:46 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 20:54:47 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 20:55:00 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 20:57:10 +0000 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2026-04-22 20:59:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 21:02:52 +0000 | digitteknohippie | Digit |
| 2026-04-22 21:04:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-22 21:05:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:a56a:4a91:e4ea:bb3f) |
| 2026-04-22 21:05:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:a56a:4a91:e4ea:bb3f) (Changing host) |
| 2026-04-22 21:05:31 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 21:14:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 21:16:06 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-22 21:20:53 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 21:21:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 21:26:39 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-04-22 21:28:50 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 21:32:35 +0000 | <haskellbridge> | <Liamzee> does anyone know if Discord mirrors are now legal? |
| 2026-04-22 21:32:42 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 21:33:09 +0000 | <haskellbridge> | <Liamzee> man, this webdev stuff is nuts, you can have Haskell be a secure backend over multiple clients, and vibecode the client |
| 2026-04-22 21:34:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 21:38:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 21:47:46 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 21:49:45 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-22 21:51:05 +0000 | <monochrom> | EvanR: Yeah I thought about saying "I'm going to be facetious, html and css have no bottoms either, are you happy now?" :) |
| 2026-04-22 21:51:56 +0000 | <monochrom> | (facetious in implying "html is a programming language too" and starting WW3) |
| 2026-04-22 21:52:10 +0000 | <EvanR> | HTML is just a dumb programming language |
| 2026-04-22 21:54:07 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Ping timeout: 276 seconds) |
| 2026-04-22 21:54:24 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-22 21:54:49 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Ping timeout: 248 seconds) |
| 2026-04-22 21:55:42 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-22 21:56:19 +0000 | <EvanR> | this ought to satisfy either camp |
| 2026-04-22 21:56:48 +0000 | <monochrom> | No I think it angers both camps. :) |
| 2026-04-22 21:57:18 +0000 | <monochrom> | one side is like "whadayamean programming language", the other "whadayamean dumb" |
| 2026-04-22 21:58:35 +0000 | <EvanR> | lol |
| 2026-04-22 21:58:55 +0000 | yin | (~zero@user/zero) (Ping timeout: 245 seconds) |
| 2026-04-22 22:02:38 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-22 22:04:21 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-04-22 22:05:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 22:10:05 +0000 | yin | (~zero@user/zero) zero |
| 2026-04-22 22:10:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 22:10:53 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-04-22 22:14:13 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-22 22:17:02 +0000 | ephapticpulse | (~user@user/ephapticpulse) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2026-04-22 22:22:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 22:27:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |