Logs: liberachat/#haskell
| 2026-01-17 16:55:47 | <geekosaur> | okay, it's my browser. (which was blocking it anyway) |
| 2026-01-17 16:56:07 | <geekosaur> | I suspect an extension |
| 2026-01-17 16:56:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 16:56:30 | <sm> | it's really a model pastebin.. the polar opposite of pastebin.com :) |
| 2026-01-17 16:56:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 16:58:02 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-17 17:01:06 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-17 17:01:36 | → | Zemy_ joins (~Zemy@2600:100c:b0a9:6e2b:882a:87ff:fe9c:2d5a) |
| 2026-01-17 17:01:49 | × | Zemy quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 17:02:28 | → | Zemy joins (~Zemy@72.178.108.235) |
| 2026-01-17 17:02:52 | <monochrom> | Hypotheses: Chrome adds boilerplate html to contain the plain text so that the rendering engine can safely assume html input, then Chrome's devtool shows you the manufactured html; the javascript warning is always there whether it actually sees javascript or not. |
| 2026-01-17 17:03:31 | × | Zemy_ quits (~Zemy@2600:100c:b0a9:6e2b:882a:87ff:fe9c:2d5a) (Read error: Connection reset by peer) |
| 2026-01-17 17:03:35 | → | Core5695 joins (~Zemy@2600:100c:b0a9:6e2b:dc8f:5aff:fe84:9af8) |
| 2026-01-17 17:03:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 17:07:14 | × | Zemy quits (~Zemy@72.178.108.235) (Ping timeout: 265 seconds) |
| 2026-01-17 17:07:49 | <monochrom> | "For IRC I prefer to use curl to connect to https://web.libera.chat/" >:) |
| 2026-01-17 17:09:51 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-17 17:15:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 17:19:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-17 17:20:35 | <haskellbridge> | <Man of Letters (Mikolaj)> Leary, [exa], ncf: this is what I was trying to do and it works (and is readable; thank you again!): https://github.com/Mikolaj/horde-ad/commit/8cc9c15a4fe071439038658ec4ca53f80c3d42e4 |
| 2026-01-17 17:21:53 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-01-17 17:22:52 | <EvanR> | that's some beautiful code |
| 2026-01-17 17:23:03 | <humasect> | =( |
| 2026-01-17 17:23:16 | <geekosaur> | that warning is there, but also a specific JS script is trying to run every few seconds |
| 2026-01-17 17:24:03 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 17:24:16 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 17:24:54 | <geekosaur> | I just pulled it up again and it indeed says the source is an extension… identified by internal ID, so I'll have to dig further |
| 2026-01-17 17:26:30 | <geekosaur> | got it |
| 2026-01-17 17:27:44 | <geekosaur> | it's one I installed deliberately; it looks for sites that participate in a program that contributes part of payments to selected charities |
| 2026-01-17 17:28:09 | → | Zemy joins (~Zemy@mobile-107-80-206-95.mycingular.net) |
| 2026-01-17 17:30:20 | <[exa]> | Mikolaj: okay that paid off. |
| 2026-01-17 17:30:26 | <geekosaur> | (I suspected that was it, but I also had some site insist I install a payment processor plugin. I NOPEd out but wondered if it had maybe slipped it in anyway) |
| 2026-01-17 17:30:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 17:31:19 | × | Core5695 quits (~Zemy@2600:100c:b0a9:6e2b:dc8f:5aff:fe84:9af8) (Ping timeout: 260 seconds) |
| 2026-01-17 17:32:09 | <haskellbridge> | <thirdofmay18081814goya> how would you implement recursive descent where you can propagate something upwards? e.g., say you're writing an interpreter and while recursing downwards you enter two try/catch scopes. the second, deeper one fails to catch an error, so it much propagate upwards to be caught by the first try/catch scope. is there any recursion scheme that specifies what this means, to "propagate upwards"? |
| 2026-01-17 17:32:22 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2026-01-17 17:33:57 | → | karenw joins (~karenw@user/karenw) |
| 2026-01-17 17:34:05 | <[exa]> | geekosaur: re the pastebin, I blame the browser in the end, it was on a cellphone and computer browser works fine. No idea what happened there. |
| 2026-01-17 17:34:33 | → | Zemy_ joins (~Zemy@2600:100c:b0a9:6e2b:701a:11ff:fe19:237) |
| 2026-01-17 17:35:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 17:35:31 | <EvanR> | thirdofmayNUMBERSgoya: on its face that just sounds like folding a tree |
| 2026-01-17 17:35:57 | <EvanR> | or in the explicit recursive descent, returning something from each recursion |
| 2026-01-17 17:35:58 | <geekosaur> | I suspect it interpreted it as HTML instead of text, and the display name prefixes from the bridge and the prefix of the ghci error message as unknown tags |
| 2026-01-17 17:36:17 | × | Zemy quits (~Zemy@mobile-107-80-206-95.mycingular.net) (Ping timeout: 244 seconds) |
| 2026-01-17 17:36:32 | <geekosaur> | maybe misparsed the ghci prompts too |
| 2026-01-17 17:36:43 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2026-01-17 17:37:15 | <[exa]> | yeah... firefox mobile works okay too, this one was some kindof default miui thing |
| 2026-01-17 17:37:19 | <[exa]> | </issue> |
| 2026-01-17 17:38:19 | <haskellbridge> | <thirdofmay18081814goya> EvanR: I thought that yeah this might be the proper way, felt that it is gimmicky/not conceptually simple |
| 2026-01-17 17:38:56 | <haskellbridge> | <thirdofmay18081814goya> i.e. add a conditional branch that tests whether a subcontext has provided a propagation |
| 2026-01-17 17:41:02 | <haskellbridge> | <thirdofmay18081814goya> but it might just be the proper way to do it, don't know why it feels off to me lol |
| 2026-01-17 17:41:27 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 17:42:05 | <haskellbridge> | <thirdofmay18081814goya> i feel like there should be a single statement declaring this, not two (one changing the node for one indicating that a propagation wants to go up, another to handle it) |
| 2026-01-17 17:46:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 17:51:14 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-01-17 17:51:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 17:51:52 | <EvanR> | thirdofmayNUMBERSgoya: any other way sounds like overengineering and/or OOP imperative shenanigans xD |
| 2026-01-17 17:52:23 | <EvanR> | an optional "upward propagation" is just returning a Maybe |
| 2026-01-17 17:57:41 | <haskellbridge> | <thirdofmay18081814goya> makes sense, ty! |
| 2026-01-17 17:57:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 17:58:00 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-01-17 17:58:41 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-01-17 17:59:09 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-17 18:00:24 | → | img joins (~img@user/img) |
| 2026-01-17 18:02:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 18:12:05 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-01-17 18:12:29 | trickard_ | is now known as trickard |
| 2026-01-17 18:12:30 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-01-17 18:13:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 18:14:38 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-01-17 18:15:30 | <geekosaur> | I was thinking that (well, ExceptT, but that's just a fancy Maybe) |
| 2026-01-17 18:16:33 | <monochrom> | thirdofmay18081814goya: If your interpreter is in a monad for exceptions (eg ExceptT like geekosaur says) then you can write it as a straightforward recursive descent. |
| 2026-01-17 18:17:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 18:18:24 | <monochrom> | Hrm I should find mine and post it. I used to teach this in my course. |
| 2026-01-17 18:22:52 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-17 18:26:15 | × | annamalai quits (~annamalai@157.49.250.55) (Ping timeout: 240 seconds) |
| 2026-01-17 18:26:33 | → | annamalai joins (~annamalai@117.231.194.195) |
| 2026-01-17 18:29:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 18:32:03 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-01-17 18:34:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 18:38:40 | → | Zemy joins (~Zemy@mobile-107-80-206-94.mycingular.net) |
| 2026-01-17 18:38:56 | × | Zemy_ quits (~Zemy@2600:100c:b0a9:6e2b:701a:11ff:fe19:237) (Read error: Connection reset by peer) |
| 2026-01-17 18:39:12 | → | Zemy_ joins (~Zemy@2600:100c:b0a9:6e2b:e031:ceff:fe85:a620) |
| 2026-01-17 18:43:03 | × | Zemy quits (~Zemy@mobile-107-80-206-94.mycingular.net) (Ping timeout: 260 seconds) |
| 2026-01-17 18:44:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 18:44:56 | → | gdr3941 joins (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) |
| 2026-01-17 18:45:56 | → | Zemy joins (~Zemy@mobile-107-80-206-95.mycingular.net) |
| 2026-01-17 18:45:59 | × | gdr3941 quits (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) (Remote host closed the connection) |
| 2026-01-17 18:48:04 | × | Zemy_ quits (~Zemy@2600:100c:b0a9:6e2b:e031:ceff:fe85:a620) (Ping timeout: 255 seconds) |
| 2026-01-17 18:49:27 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-01-17 18:51:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 18:51:34 | × | remexre quits (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-01-17 18:53:05 | → | Zemy_ joins (~Zemy@2600:100c:b0a9:6e2b:6cfa:f4ff:fe48:ea2e) |
| 2026-01-17 18:54:35 | × | Zemy quits (~Zemy@mobile-107-80-206-95.mycingular.net) (Ping timeout: 240 seconds) |
| 2026-01-17 18:58:02 | → | remexre joins (~remexre@user/remexre) |
| 2026-01-17 18:58:35 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-01-17 18:58:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 19:02:24 | → | qqq joins (~qqq@185.54.21.105) |
| 2026-01-17 19:03:04 | → | Zemy joins (~Zemy@72.178.108.235) |
| 2026-01-17 19:04:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
All times are in UTC.