Logs: liberachat/#haskell
| 2026-04-27 21:48:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-27 21:53:05 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-04-27 21:58:57 | → | emaczen joins (~user@user/emaczen) |
| 2026-04-27 21:59:22 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 2026-04-27 22:00:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-27 22:02:02 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-27 22:04:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-27 22:05:00 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-27 22:10:47 | → | puke joins (~puke@user/puke) |
| 2026-04-27 22:11:54 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-27 22:12:18 | → | puke joins (~puke@user/puke) |
| 2026-04-27 22:12:18 | × | puke quits (~puke@user/puke) (Client Quit) |
| 2026-04-27 22:15:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-27 22:22:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 22:27:57 | → | puke joins (~puke@user/puke) |
| 2026-04-27 22:33:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-27 22:33:59 | × | nschoe quits (~nschoe@82-65-202-30.subs.proxad.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-04-27 22:34:16 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:308e:5361:802b:f3b6) |
| 2026-04-27 22:36:09 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2026-04-27 22:37:07 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-04-27 22:37:58 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-27 22:38:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-27 22:48:43 | × | Googulator53 quits (~Googulato@78-131-16-66.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-27 22:49:06 | → | Googulator53 joins (~Googulato@78-131-16-66.pool.digikabel.hu) |
| 2026-04-27 22:49:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-27 22:54:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-27 22:57:51 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-27 23:00:29 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 2026-04-27 23:00:34 | → | tzh_ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-27 23:01:12 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-27 23:05:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-27 23:05:32 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-27 23:10:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 23:16:15 | → | karenw joins (~karenw@user/karenw) |
| 2026-04-27 23:21:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-27 23:23:46 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-04-27 23:24:17 | → | Square joins (~Square4@user/square) |
| 2026-04-27 23:26:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 23:27:06 | × | Square2 quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 2026-04-27 23:28:37 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-27 23:30:18 | × | sp1ff` quits (~user@2601:1c2:4080:14c0::6eb4) (Remote host closed the connection) |
| 2026-04-27 23:31:48 | → | poscat joins (~poscat@user/poscat) |
| 2026-04-27 23:35:15 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-04-27 23:36:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-27 23:39:09 | → | czan joins (~czan@user/mange) |
| 2026-04-27 23:39:44 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-27 23:40:09 | → | puke joins (~puke@user/puke) |
| 2026-04-27 23:41:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 23:44:06 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-27 23:52:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-28 00:02:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-28 00:02:48 | × | bkani quits (~bkani@user/bkani) (Ping timeout: 244 seconds) |
| 2026-04-28 00:10:42 | × | Googulator53 quits (~Googulato@78-131-16-66.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-28 00:11:04 | → | Googulator53 joins (~Googulato@78-131-16-66.pool.digikabel.hu) |
| 2026-04-28 00:13:44 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-28 00:17:57 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 246 seconds) |
| 2026-04-28 00:18:08 | → | xff0x joins (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-28 00:22:06 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e5152a5a580b5c2ab95f.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2026-04-28 00:29:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-28 00:31:13 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-28 00:34:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-28 00:34:52 | → | bkani joins (~bkani@user/bkani) |
| 2026-04-28 00:42:48 | × | bkani quits (~bkani@user/bkani) (Ping timeout: 265 seconds) |
| 2026-04-28 00:44:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-28 00:45:10 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-28 00:45:41 | × | tzh_ quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 244 seconds) |
| 2026-04-28 00:48:52 | → | bkani joins (~bkani@user/bkani) |
| 2026-04-28 00:49:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-28 01:00:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-28 01:02:18 | <janus> | did anyone listen to the latest Haskell Interlude? it |
| 2026-04-28 01:02:43 | <janus> | they are kinda explaining where MonadComprehensions and TransformLispComp come from |
| 2026-04-28 01:02:52 | × | havochunter quits (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) (Remote host closed the connection) |
| 2026-04-28 01:03:20 | <janus> | i just feel like it is so very anachronistic and nostalgic, how can anybody stand it |
| 2026-04-28 01:03:59 | <janus> | imagine a college freshman listening to the Interlude, they must feel like Haskell is for dinosaurs :O |
| 2026-04-28 01:05:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-28 01:06:25 | <janus> | regarding the technical content... i know they are talking to an academic. but to my ears, i can't see the practicality in compiling an imperative program to recursive CTEs using trampolines |
| 2026-04-28 01:06:45 | <janus> | am i listening to a code golfing podcast? |
| 2026-04-28 01:07:19 | <janus> | somebody, please explain to me how this has any useful application beside code golfing? |
| 2026-04-28 01:08:41 | <haskellbridge> | <sm> it is hard to handle the intense academic content of the podcast sometimes |
| 2026-04-28 01:08:47 | <janus> | we're compiling an imperative program to SQL (declarative style), only for the query planner to compile it back into a series of index lookups? how is this not esoteric? |
| 2026-04-28 01:08:58 | <haskellbridge> | <sm> damnit jim, I'm an engineer not a professor |
| 2026-04-28 01:09:48 | <janus> | THANK YOU sm |
| 2026-04-28 01:10:00 | <haskellbridge> | <sm> it's not just the technical content, it's sometimes the long story of academic career, moves, etc blah blah blah :) |
| 2026-04-28 01:10:29 | <haskellbridge> | <sm> and while I'm ranting.. that damn music ! It is so depressing ! |
| 2026-04-28 01:11:02 | <janus> | hah well that's a question of taste :D |
| 2026-04-28 01:11:10 | <janus> | but i am so glad i am not the only one ranting |
| 2026-04-28 01:11:30 | <janus> | i do feel like a premise this retrospective is necessarily shaping the culture though |
| 2026-04-28 01:13:04 | <haskellbridge> | <sm> I love the podcast. I like hearing the history and especially from the long time researchers. But it could really use more modern practitioner voices for balance |
| 2026-04-28 01:13:26 | <haskellbridge> | <sm> Real World Haskell ! |
| 2026-04-28 01:13:54 | × | yin quits (~zero@user/zero) (Ping timeout: 248 seconds) |
| 2026-04-28 01:14:16 | <haskellbridge> | <sm> I love the podcast. I like hearing the history and especially from the long time researchers. But it could really use more practitioner interviews for balance |
| 2026-04-28 01:14:33 | <janus> | i like Type Theory Forall a lot, but it is also necessarily academic (just younger academics). so i suppose it is also not the engineer's podcast you're looking for |
| 2026-04-28 01:14:48 | <janus> | the one by Jane Street is more practical, i'd say |
| 2026-04-28 01:15:40 | <monochrom> | I did not listen to the podcast. I would write declaratively in the first place; if something optimizes it, that's a bonus, but even if not, I'm fine with it. My experience is that declarative code is easier to change than imperative code when requirement changes in the future. And easier to reverse-engineer---hell, declarative is defined to mean nothing to reverse-engineer. |
| 2026-04-28 01:16:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-28 01:20:27 | <janus> | they do mention in the podcast that they want guarantees that you don't avoid n+1 queries. and that did make me think of the Orville db library we use at flipstone, which attempts something similar |
| 2026-04-28 01:20:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-28 01:21:01 | <janus> | pretty sure rel8 also has an answer to this question |
| 2026-04-28 01:21:10 | haskellbridge | sm hasn't listened to this episode yet either |
| 2026-04-28 01:22:28 | <janus> | would be interesting to hear if you also recognize guarantees like that in practical database libraries... because i am a bit unsure if what is said maps 1:1 to rel8 and such |
All times are in UTC.