Logs: liberachat/#haskell
| 2025-11-15 14:35:36 | → | Googulator17 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 14:40:30 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-11-15 14:42:48 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-15 14:49:59 | → | acarrico1 joins (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-15 14:50:51 | → | looking joins (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) |
| 2025-11-15 14:51:34 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 14:56:24 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-11-15 14:57:14 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-15 15:03:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 15:04:02 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-15 15:04:11 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-15 15:06:59 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-15 15:07:23 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-15 15:15:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 15:21:29 | × | looking quits (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed) |
| 2025-11-15 15:23:11 | → | looking joins (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) |
| 2025-11-15 15:37:03 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-15 15:43:51 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-15 15:46:02 | × | tromp quits (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-15 15:47:05 | × | acarrico1 quits (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 250 seconds) |
| 2025-11-15 15:54:53 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 250 seconds) |
| 2025-11-15 15:55:09 | → | Guest2000 joins (~Guest2000@83.172.89.229) |
| 2025-11-15 15:55:46 | <Guest2000> | Is it just me, or the link/thumb to "Functional Programming in Haskell by Graham Hutton" dead? |
| 2025-11-15 15:55:52 | <Guest2000> | or is* |
| 2025-11-15 15:57:44 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 15:59:13 | <Guest2000> | at haskell.org frontpage that is. |
| 2025-11-15 16:00:20 | × | acidjnk quits (~acidjnk@p200300d6e7171920f5066731f9227f8d.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-11-15 16:01:08 | <Rembane> | This one? https://www.youtube.com/watch?v=IzQTfh-Iuds&list=PLF1Z-APd9zK7usPMx3LGMZEHrECUGodd3&index=2 Yeah, it's private |
| 2025-11-15 16:01:12 | <Rembane> | ...for me too |
| 2025-11-15 16:01:26 | <mauke> | "Websites prove their identity via certificates, which are valid for a set time period. The certificate for haskell.org expired on 11/4/2025." |
| 2025-11-15 16:02:19 | <int-e> | Guest2000: interesting. the play list still exists: https://www.youtube.com/playlist?list=PLF1Z-APd9zK7usPMx3LGMZEHrECUGodd3 |
| 2025-11-15 16:02:52 | <int-e> | (but the video ids have changed) |
| 2025-11-15 16:03:14 | <int-e> | presumable they've been replaced by newer recordings |
| 2025-11-15 16:04:05 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-11-15 16:04:09 | <Guest2000> | Oh ok. Lets hope someone fixes it soon. Gives a bit of a bad look for anyone new arriving at the page. |
| 2025-11-15 16:04:11 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-11-15 16:04:49 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-15 16:05:47 | → | Googulator90 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 16:06:20 | <int-e> | That seems overly dramatic. |
| 2025-11-15 16:06:26 | ljdarj1 | is now known as ljdarj |
| 2025-11-15 16:07:30 | <mauke> | oh good, haskell.org has different ssl certificates on ipv4 and ipv6 |
| 2025-11-15 16:07:47 | <int-e> | ...lol? |
| 2025-11-15 16:08:04 | <mauke> | https://www.ssllabs.com/ssltest/analyze.html?d=haskell.org |
| 2025-11-15 16:09:15 | × | Googulator17 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-11-15 16:11:15 | → | traxex joins (traxex@user/traxex) |
| 2025-11-15 16:15:44 | × | Guest2000 quits (~Guest2000@83.172.89.229) (Quit: Client closed) |
| 2025-11-15 16:16:58 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-15 16:17:51 | <int-e> | mauke: heh maybe lead with the fact that the IPv6 one has expired :) |
| 2025-11-15 16:20:15 | → | tromp joins (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) |
| 2025-11-15 16:20:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-15 16:21:06 | <int-e> | mauke: is it safe to assume that you've told #haskell-infrastructure about this? |
| 2025-11-15 16:24:28 | <haskellbridge> | <sm> @irc_libera.chat_guest2000:kf8nh.com: certainly |
| 2025-11-15 16:24:29 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-11-15 16:24:57 | × | looking quits (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed) |
| 2025-11-15 16:25:25 | <mauke> | int-e: no |
| 2025-11-15 16:25:35 | <mauke> | and I didn't know it was only the ipv6 one |
| 2025-11-15 16:25:50 | → | Googulator85 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 16:25:53 | <mauke> | all I saw was that I couldn't open haskell.org anymore |
| 2025-11-15 16:25:54 | × | Googulator90 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 16:28:45 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2025-11-15 16:29:43 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-11-15 16:30:13 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-15 16:34:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 16:39:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 16:39:44 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2025-11-15 16:45:31 | × | Googulator85 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 16:45:42 | → | Googulator85 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 16:51:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 16:54:21 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-15 16:54:40 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-11-15 16:57:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-15 16:57:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-15 16:58:38 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-15 17:01:46 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-11-15 17:05:44 | × | Googulator85 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 17:05:50 | → | Googulator69 joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-15 17:13:15 | AlexNoo_ | is now known as AlexNoo |
| 2025-11-15 17:15:22 | → | acidjnk joins (~acidjnk@p200300d6e71719200dae54d3d04eac45.dip0.t-ipconnect.de) |
| 2025-11-15 17:16:19 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-15 17:17:09 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-11-15 17:20:39 | → | Googulator18 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 17:20:49 | × | Googulator69 quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 17:20:50 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-11-15 17:25:38 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-11-15 17:31:19 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2025-11-15 17:40:10 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 256 seconds) |
| 2025-11-15 17:40:38 | → | Googulator24 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 17:40:43 | × | Googulator18 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 17:54:30 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-15 17:54:48 | × | vanishing quits (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2025-11-15 17:55:15 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-11-15 17:57:40 | <codolio> | jreicher: That sounds like fixing an evaluation order. Like I said, you can do that, but then Church-Rosser becomes vacuous, because the fixed evaluation order means there is only ever one reduction step for each term, so there is no actual branching that needs to be reconciled. |
| 2025-11-15 17:58:44 | <codolio> | It's not necessarily a bad solution. And you can have multiple evaluation orders in a single calculus. |
| 2025-11-15 18:00:35 | <codolio> | But, it doesn't really fix what is hard to think about with regard to 'effects' and laziness. I think the aspect that makes it hard to think about is that you can no longer think about the delimiting lexically, because the shifts do not actually happen until they are evaluated. |
| 2025-11-15 18:00:38 | × | Googulator24 quits (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-15 18:00:42 | → | Googulator68 joins (~Googulato@2a01-036d-0106-0180-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-15 18:02:02 | <codolio> | So when you write `reset (... shift ...)` that doesn't mean that the `shift` is actually delimited by that `reset`, because the expression within may not evaluate the shift. |
| 2025-11-15 18:02:15 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-15 18:03:53 | × | tromp quits (~textual@2001:1c00:3487:1b00:4c1:1ab1:3da5:a5d5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-15 18:04:35 | <codolio> | The systems I know of that have both laziness and continuations are significant departures from just lambda calculus. |
All times are in UTC.