Logs: liberachat/#haskell
| 2025-11-08 22:11:20 | × | michalz quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2025-11-08 22:14:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-08 22:16:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 22:21:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-08 22:25:36 | → | Googulator65 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 22:25:43 | × | Googulator2 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 22:25:54 | <dpk> | haskell.org SSL certificate is expired 🧐 |
| 2025-11-08 22:28:29 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-08 22:28:30 | × | Ranhir quits (~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2025-11-08 22:29:18 | <EvanR> | for me it says valid not after Thu, 15 Jan 2026 15:59:00 GMT |
| 2025-11-08 22:30:37 | → | Googulator70 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 22:30:38 | × | Googulator65 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 22:32:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 22:35:03 | <geekosaur> | same here |
| 2025-11-08 22:35:12 | <geekosaur> | dpk, what browser and platform? |
| 2025-11-08 22:35:44 | <dpk> | Firefox, Mac OS, Vodafone Germany |
| 2025-11-08 22:36:37 | <dpk> | hmm, i think the problem may be limited to haskell.org without the www. |
| 2025-11-08 22:36:52 | <geekosaur> | that's what I tried here |
| 2025-11-08 22:37:07 | <geekosaur> | (I rarely bother with the "www." any more |
| 2025-11-08 22:37:10 | <dpk> | usually the non-www. version redirects (presumably without touching HTTPS yet), but i found an old link that didn’t |
| 2025-11-08 22:37:10 | <geekosaur> | ) |
| 2025-11-08 22:37:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-08 22:37:17 | <dpk> | i think |
| 2025-11-08 22:37:20 | × | tromp quits (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-08 22:37:42 | <geekosaur> | no, I landed on https://haskell.org |
| 2025-11-08 22:37:45 | <dpk> | try entering this link: http://haskell.org/ghc/docs/latest/html/libraries/base/Prelude.html#t:Functor |
| 2025-11-08 22:37:48 | <geekosaur> | no redirect |
| 2025-11-08 22:37:49 | <EvanR> | my firefox does flag haskell.org |
| 2025-11-08 22:37:54 | trickard_ | is now known as trickard |
| 2025-11-08 22:37:59 | <EvanR> | when typed exactly |
| 2025-11-08 22:38:25 | <geekosaur> | it did remove a trailing / I forgot to remove when my browser autocompleted to haskell.org/ghc |
| 2025-11-08 22:38:51 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-08 22:38:59 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-11-08 22:39:12 | <geekosaur> | oh, that'll be different, there's some magic redirection going on |
| 2025-11-08 22:39:27 | <EvanR> | also for haskell.org/ghc |
| 2025-11-08 22:39:33 | <geekosaur> | all those pages got moved to haskell-content.haskell.org or something like that |
| 2025-11-08 22:40:45 | → | Square3 joins (~Square@user/square) |
| 2025-11-08 22:41:30 | <geekosaur> | in any case I'm sending this to the infrastructure team. dunno if anyone's around right now to deal with it though |
| 2025-11-08 22:44:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) |
| 2025-11-08 22:45:44 | → | Googulator24 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 22:45:44 | × | Googulator70 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 22:45:55 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-08 22:48:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 22:52:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-08 23:03:38 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) |
| 2025-11-08 23:04:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 23:05:30 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-08 23:07:39 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-11-08 23:07:56 | × | tromp quits (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-08 23:11:04 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-08 23:11:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-08 23:11:59 | × | Googulator24 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 23:12:00 | → | Googulator64 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 23:17:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 23:18:47 | × | kuribas` quits (~user@2a02-1810-2825-6000-6290-a31b-6756-58e1.ip6.access.telenet.be) (Ping timeout: 265 seconds) |
| 2025-11-08 23:22:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-08 23:32:38 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-08 23:33:08 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-08 23:33:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 23:38:07 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-08 23:38:19 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 255 seconds) |
| 2025-11-08 23:38:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-08 23:38:29 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-08 23:41:17 | → | tccq joins (~tccq@user/tccq) |
| 2025-11-08 23:41:44 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-11-08 23:42:11 | <tccq> | Anyone know of a C compiler in simple haskell? I see some educational resources but nothing that looks super usable / better than doing it from scratch myself |
| 2025-11-08 23:43:05 | × | hiredman quits (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2025-11-08 23:43:59 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 2025-11-08 23:44:06 | <glguy> | I'm not aware of anyone talking about one |
| 2025-11-08 23:45:25 | <tccq> | I'll grant it's a tad backwards |
| 2025-11-08 23:46:12 | <tccq> | but my thought it to have a 2 step bootstrap loop of haskell->C (unknown) and C->haskell (Microhaskell) |
| 2025-11-08 23:46:26 | <tccq> | much nicer than writing a 1 step in either |
| 2025-11-08 23:49:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-08 23:49:21 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-08 23:52:49 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-11-08 23:52:52 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-08 23:53:06 | → | trickard joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-08 23:54:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-08 23:55:44 | → | Googulator15 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-08 23:55:44 | × | Googulator64 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-08 23:58:17 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2025-11-09 00:05:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 00:05:48 | → | Googulator73 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-09 00:06:13 | × | Googulator15 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-09 00:09:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 00:14:47 | → | AlexNoo_ joins (~AlexNoo@5.139.232.215) |
| 2025-11-09 00:16:26 | × | qqe quits (~qqq@185.54.21.203) (Read error: Connection reset by peer) |
| 2025-11-09 00:16:32 | → | qqe_ joins (~qqq@185.54.21.203) |
| 2025-11-09 00:17:07 | × | AlexZenon quits (~alzenon@85.174.180.102) (Ping timeout: 264 seconds) |
| 2025-11-09 00:18:13 | × | AlexNoo quits (~AlexNoo@85.174.180.102) (Ping timeout: 250 seconds) |
| 2025-11-09 00:18:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 00:21:26 | → | AlexZenon joins (~alzenon@5.139.232.215) |
| 2025-11-09 00:23:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 00:24:43 | <EvanR> | ehm... a haskell compiler written in C? o_O |
| 2025-11-09 00:25:01 | <EvanR> | sounds like a match made in hell |
| 2025-11-09 00:29:37 | <monochrom> | No no, the other way, a C compiler written in Haskell. :) |
| 2025-11-09 00:31:48 | <geekosaur> | simplified (non-extension-using?) Haskell |
| 2025-11-09 00:32:49 | <EvanR> | the 2nd step |
| 2025-11-09 00:33:27 | × | AlexZenon quits (~alzenon@5.139.232.215) (Ping timeout: 252 seconds) |
| 2025-11-09 00:34:26 | <EvanR> | the haskell written in C just doesn't seem to be doing anyone any favors, esp if you don't have a C compiler |
All times are in UTC.