Logs: liberachat/#haskell
| 2026-02-23 07:24:09 | <gentauro> | c_wraith: fair enough. Btw, good to see that Hackage only allows for names [A .. Z] and [a .. z]. Otherwise, we might begin to see naming like with emojis and stuff (just like you see all around in README.md) xd |
| 2026-02-23 07:27:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-23 07:30:46 | × | carter quits (sid14827@id-14827.helmsley.irccloud.com) (Server closed connection) |
| 2026-02-23 07:31:22 | → | carter joins (sid14827@id-14827.helmsley.irccloud.com) |
| 2026-02-23 07:31:26 | × | mustafa quits (sid502723@rockylinux/releng/mustafa) (Server closed connection) |
| 2026-02-23 07:31:37 | → | mustafa joins (sid502723@rockylinux/releng/mustafa) |
| 2026-02-23 07:31:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-23 07:33:26 | × | iphy quits (sid67735@user/iphy) (Server closed connection) |
| 2026-02-23 07:33:37 | → | iphy joins (sid67735@user/iphy) |
| 2026-02-23 07:33:57 | × | bgtdsword quits (b968c1779f@user/titibandit) (Server closed connection) |
| 2026-02-23 07:34:06 | → | bgtdsword joins (b968c1779f@user/titibandit) |
| 2026-02-23 07:36:21 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-02-23 07:37:49 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-02-23 07:42:37 | <jackdk> | Counter-example: `lucid2` |
| 2026-02-23 07:42:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-23 07:43:03 | → | tromp joins (~textual@2001:1c00:3487:1b00:309d:e3b0:b1c4:2c66) |
| 2026-02-23 07:48:49 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-23 07:48:49 | × | apache2 quits (apache2@anubis.0x90.dk) (Read error: Connection reset by peer) |
| 2026-02-23 07:49:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-23 07:49:18 | → | apache joins (apache2@anubis.0x90.dk) |
| 2026-02-23 07:49:24 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2026-02-23 07:54:54 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-23 07:55:33 | → | chele joins (~chele@user/chele) |
| 2026-02-23 07:56:47 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-02-23 07:58:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-23 07:59:13 | <gentauro> | jackdk: «A Cabal package name can use any alphabetic Unicode code-point, however Hackage rejects package names that use alphabetic code-points other than those from the Latin alphabet (that is, A to Z and a to z)». Source: https://hackage.haskell.org/upload |
| 2026-02-23 07:59:52 | <gentauro> | jackdk: but you are right https://hackage.haskell.org/packages/search?terms=lucid2 |
| 2026-02-23 08:00:19 | gentauro | first time ever that docs deviate from implementation |
| 2026-02-23 08:00:56 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-23 08:02:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-23 08:07:40 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-23 08:09:02 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2026-02-23 08:10:06 | × | gaze__ quits (sid387101@id-387101.helmsley.irccloud.com) (Server closed connection) |
| 2026-02-23 08:10:17 | → | gaze__ joins (sid387101@id-387101.helmsley.irccloud.com) |
| 2026-02-23 08:12:44 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-23 08:13:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-23 08:15:20 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-02-23 08:17:45 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2026-02-23 08:20:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-23 08:20:35 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-02-23 08:21:14 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-02-23 08:21:32 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 2026-02-23 08:26:11 | → | Enrico63 joins (~Enrico63@host-79-19-156-232.retail.telecomitalia.it) |
| 2026-02-23 08:26:46 | × | taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (Server closed connection) |
| 2026-02-23 08:26:58 | → | taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com) |
| 2026-02-23 08:31:05 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-02-23 08:32:05 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-23 08:38:45 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:ab8d:eb71:9d8d:8bea) |
| 2026-02-23 08:41:28 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-23 08:48:15 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-23 08:50:07 | → | mange joins (~mange@user/mange) |
| 2026-02-23 08:50:59 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 2026-02-23 08:52:35 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-23 08:58:12 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-02-23 09:00:18 | × | LUCKY_NOOB quits (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Read error: Connection reset by peer) |
| 2026-02-23 09:00:35 | → | LUCKY_NOOB joins (~LUCKY_NOO@user/LUCKY-NOOB:44374) |
| 2026-02-23 09:04:28 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-23 09:08:37 | × | ursa-major quits (114efe6c39@2a03:6000:1812:100::11f3) (Server closed connection) |
| 2026-02-23 09:08:46 | → | ursa-major joins (114efe6c39@2a03:6000:1812:100::11f3) |
| 2026-02-23 09:09:17 | × | sherbert quits (d006a0b946@2a03:6000:1812:100::155) (Server closed connection) |
| 2026-02-23 09:09:25 | → | sherbert joins (d006a0b946@2a03:6000:1812:100::155) |
| 2026-02-23 09:12:34 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-23 09:13:14 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-23 09:14:06 | <probie> | Also, I'm pretty sure hyphens are allowed in cabal package names. They seem to turn up all over the place |
| 2026-02-23 09:22:06 | × | tdammers quits (~tdammers@1-133-178-143.ftth.glasoperator.nl) (Server closed connection) |
| 2026-02-23 09:22:30 | → | tdammers joins (~tdammers@1-133-178-143.ftth.glasoperator.nl) |
| 2026-02-23 09:25:17 | × | thatonelutenist quits (8216c46202@2a03:6000:1812:100::fb3) (Server closed connection) |
| 2026-02-23 09:25:24 | → | thatonelutenist joins (8216c46202@2a03:6000:1812:100::fb3) |
| 2026-02-23 09:29:19 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-23 09:45:01 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2026-02-23 09:49:31 | → | comerijn joins (~merijn@77.242.116.146) |
| 2026-02-23 09:50:06 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-23 09:51:01 | <mauke> | gentauro: that just says that alphabetic characters outside of ASCII are rejected |
| 2026-02-23 09:51:05 | <mauke> | 2 is not alphabetic |
| 2026-02-23 09:51:33 | <mauke> | "A valid package name comprises an alphanumeric ‘word’; or two or more such words separated by a hyphen character (-). A word cannot be comprised only of the digits 0 to 9." |
| 2026-02-23 09:51:53 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2026-02-23 09:55:32 | <newmind> | there goes my dream of naming a surveilance package "1984" |
| 2026-02-23 09:56:46 | × | integral quits (sid296274@user/integral) (Server closed connection) |
| 2026-02-23 09:57:00 | → | integral joins (sid296274@user/integral) |
| 2026-02-23 10:00:06 | × | down200 quits (~down200@shell.lug.mtu.edu) (Server closed connection) |
| 2026-02-23 10:01:28 | → | down200 joins (~down200@shell.lug.mtu.edu) |
| 2026-02-23 10:10:28 | × | Enrico63 quits (~Enrico63@host-79-19-156-232.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-23 10:16:26 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-02-23 10:16:39 | → | fp joins (~Thunderbi@130.233.70.214) |
| 2026-02-23 10:16:44 | × | housemate quits (~housemate@202.7.248.67) (Max SendQ exceeded) |
| 2026-02-23 10:18:37 | × | uint64_t quits (ec7b9bb9f3@2a03:6000:1812:100::139b) (Server closed connection) |
| 2026-02-23 10:18:46 | → | uint64_t joins (ec7b9bb9f3@2a03:6000:1812:100::139b) |
| 2026-02-23 10:20:37 | × | Ankhers quits (e99e97ef8e@2a03:6000:1812:100::2a2) (Server closed connection) |
| 2026-02-23 10:20:46 | → | Ankhers joins (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 2026-02-23 10:26:17 | → | erty joins (~user@user/aeroplane) |
| 2026-02-23 10:27:00 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2026-02-23 10:27:01 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-23 10:27:52 | divlamir_ | is now known as divlamir |
| 2026-02-23 10:28:12 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2026-02-23 10:28:37 | × | alethkit quits (23bd17ddc6@sourcehut/user/alethkit) (Server closed connection) |
| 2026-02-23 10:28:46 | → | alethkit joins (23bd17ddc6@sourcehut/user/alethkit) |
| 2026-02-23 10:32:25 | <probie> | newmind: nineteen-eightyfour is valid though |
| 2026-02-23 10:32:26 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-23 10:33:27 | <newmind> | don't know... might get on the US blacklist-of-forbidden-words in the near future, better not risk it |
| 2026-02-23 10:33:53 | <comerijn> | It's fine, I already lost my visa-less travel privilege anyway :p |
All times are in UTC.