Logs: liberachat/#haskell
| 2026-02-28 16:37:55 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-02-28 16:38:10 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 248 seconds) |
| 2026-02-28 16:38:20 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-02-28 16:42:13 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-02-28 16:42:26 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2026-02-28 16:44:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-28 16:46:01 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-02-28 16:48:47 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-28 16:48:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-28 16:51:35 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-02-28 16:51:59 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-02-28 16:52:57 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-28 16:53:06 | × | misterfish quits (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 248 seconds) |
| 2026-02-28 16:53:30 | → | emaczen joins (~user@user/emaczen) |
| 2026-02-28 16:58:03 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-28 16:58:18 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-02-28 16:59:34 | <tomsmeding> | Rembane: I've never used regexen in haskell yet, but this seems to list a few? https://hackage.haskell.org/package/regex-base |
| 2026-02-28 16:59:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-28 17:00:36 | <Rembane> | tomsmeding: Sweet! I might have selective parsing vision. |
| 2026-02-28 17:02:53 | × | Vajb quits (~Vajb@2001:999:38:a1b6:95aa:8c38:ae41:ec93) (Remote host closed the connection) |
| 2026-02-28 17:04:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-28 17:05:02 | <monochrom> | Haha pun. (CFG parsing can be done within Selective.) >:) |
| 2026-02-28 17:06:38 | <monochrom> | Selective+Alternative if general CFG. But if LL(k), easily determinizable to Selective. |
| 2026-02-28 17:06:55 | → | tromp joins (~textual@2001:1c00:3487:1b00:303f:bf6:f20e:2c5e) |
| 2026-02-28 17:06:56 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-28 17:09:28 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-28 17:13:36 | → | Vajb joins (~Vajb@n7m5g0hrctljxjtgjiv-1.v6.elisa-mobile.fi) |
| 2026-02-28 17:13:36 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-28 17:14:10 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 2026-02-28 17:15:00 | → | malte joins (~malte@mal.tc) |
| 2026-02-28 17:15:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-28 17:19:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-28 17:21:10 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 2026-02-28 17:23:30 | → | malte joins (~malte@mal.tc) |
| 2026-02-28 17:30:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-28 17:31:28 | <haskellbridge> | <ijouw> I am using RebindableSyntax, OverloadedLists and custom enumFrom (that does not use Enum class). The type checker stil infers that [0..] must be Enum. What is the reason for this behavior? |
| 2026-02-28 17:33:22 | <tomsmeding> | the documentation (https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/overloaded_lists.html#rebindable-syntax), literally read, says that that combination of extensions makes the {to,from}List functions overloadable, but not the Enum functions |
| 2026-02-28 17:34:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-28 17:35:53 | <haskellbridge> | <ijouw> You are correct, I somehow missed that. Thanks |
| 2026-02-28 17:36:52 | <tomsmeding> | (now whether this is a good idea or not is a separate question) |
| 2026-02-28 17:37:17 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-28 17:37:32 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-02-28 17:38:18 | → | Square joins (~Square@user/square) |
| 2026-02-28 17:42:42 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 248 seconds) |
| 2026-02-28 17:45:14 | <tomsmeding> | int-e: IIRC the hackage-content subdomain had to do with "authentication cookies exist" + "package docs can have arbitrary javascript" |
| 2026-02-28 17:45:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-28 17:45:38 | <int-e> | tomsmeding: ah, that makes sense |
| 2026-02-28 17:46:08 | <tomsmeding> | stuff has been written about this, too lazy to look it up now; there has been talk also of this not even being enough as haskell.org is still a parent domain of hackage-content.haskell.org |
| 2026-02-28 17:46:52 | <int-e> | Clearly I'm out of touch. (Unironically.) |
| 2026-02-28 17:46:54 | <tomsmeding> | https://discourse.haskell.org/t/security-advisory-hsec-2024-0004-hackage-package-and-doc-upload-stored-xss-vulnerability/13547 |
| 2026-02-28 17:46:59 | <tomsmeding> | apparently not too lazy |
| 2026-02-28 17:47:58 | <int-e> | I imagine it was a spur-of-the-moment "I can try this one thing" and then it actually works |
| 2026-02-28 17:52:47 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-28 17:55:17 | → | acidjnk_new joins (~acidjnk@p200300d6e700e580c1352a59afaaad8a.dip0.t-ipconnect.de) |
| 2026-02-28 17:56:54 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-28 17:57:19 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-28 17:57:56 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-28 18:03:01 | → | Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) |
| 2026-02-28 18:03:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-28 18:06:41 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-28 18:07:21 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-02-28 18:07:36 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 2026-02-28 18:07:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-28 18:10:23 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-28 18:16:03 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-28 18:16:40 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2026-02-28 18:16:51 | × | hellwolf quits (~user@2826-0651-fbe0-f4a3-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds) |
| 2026-02-28 18:18:04 | → | hellwolf joins (~user@4884-83b1-dc5a-ca70-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 2026-02-28 18:18:26 | × | housemate quits (~housemate@202.7.248.67) (Ping timeout: 248 seconds) |
| 2026-02-28 18:18:44 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-28 18:18:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-28 18:19:13 | × | Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-28 18:23:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-28 18:25:54 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 2026-02-28 18:26:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-28 18:30:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-28 18:32:04 | → | Maeda joins (~Maeda@88-178-251-80.subs.proxad.net) |
| 2026-02-28 18:32:27 | × | Maeda quits (~Maeda@88-178-251-80.subs.proxad.net) (Client Quit) |
| 2026-02-28 18:41:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-28 18:42:20 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-02-28 18:43:12 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-02-28 18:46:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-28 18:46:07 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-28 18:46:25 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-02-28 18:49:27 | → | Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) |
| 2026-02-28 18:50:18 | × | tromp quits (~textual@2001:1c00:3487:1b00:303f:bf6:f20e:2c5e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-28 18:56:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-28 19:01:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-28 19:01:58 | × | Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Ping timeout: 240 seconds) |
| 2026-02-28 19:03:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:303f:bf6:f20e:2c5e) |
| 2026-02-28 19:05:46 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-28 19:09:48 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-28 19:10:10 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-28 19:12:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-28 19:13:41 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-02-28 19:14:05 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2026-02-28 19:14:39 | → | Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) |
| 2026-02-28 19:16:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-28 19:16:27 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-28 19:21:05 | → | emmanuelux joins (~em@user/emmanuelux) |
All times are in UTC.