| 2026-05-13 00:06:04 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-13 00:07:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 00:10:44 +0000 | <x9> | i think "physically" the haskell ecosystem being so powerful is absolutely justified: it seems to provide a very "high level of assurance" about computation being what "we think it is" and possibly in a somewhat unique way (which may be due to the call by name part). in this sense, it is necessary that it be so complicated and bigger than any |
| 2026-05-13 00:10:44 +0000 | <x9> | single one of us. but what about the re-programmability? say i want to "remove all names and to replace them with new ones" in the way one can CUT in gentzen and replace what was cut with some different symbol (that denotes the same). sometimes the names might be parts of new programs in some languages, which complicates this process. but i think |
| 2026-05-13 00:10:45 +0000 | <x9> | purely functional ought to mean, that the haskell code can be converted to a single very long lambda expression, that has "none of the names and only does the computation [not needing the names for it, beyond being called]", and then those names being replaced with something else. does this make any sense? |
| 2026-05-13 00:11:27 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-05-13 00:14:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-13 00:15:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 00:19:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-13 00:27:28 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) rekahsoft |
| 2026-05-13 00:30:11 +0000 | Deltaspace | (~Deltaspac@user/Deltaspace) (Read error: Connection reset by peer) |
| 2026-05-13 00:31:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 00:32:09 +0000 | rabbull | (~rabbull@user/rabbull) (Quit: And in case I don't see you, good afternoon, good evening and good night!) |
| 2026-05-13 00:32:30 +0000 | rabbull7 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) |
| 2026-05-13 00:32:50 +0000 | rabbull7 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) (Client Quit) |
| 2026-05-13 00:33:58 +0000 | rabbull7 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) |
| 2026-05-13 00:36:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-13 00:46:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 00:47:01 +0000 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 272 seconds) |
| 2026-05-13 00:48:03 +0000 | xff0x | (~xff0x@2405:6580:b080:900:ffc8:625b:25a4:9ec2) (Ping timeout: 244 seconds) |
| 2026-05-13 00:48:04 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2026-05-13 00:52:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-13 00:56:20 +0000 | <EvanR> | not really because there are tons of low level primitives whose meaning to provided by the compiler |
| 2026-05-13 00:56:31 +0000 | <EvanR> | pure lambda calculus can only go so far |
| 2026-05-13 00:56:38 +0000 | <EvanR> | meaning is* |
| 2026-05-13 01:02:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 01:05:59 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-05-13 01:07:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-13 01:15:16 +0000 | <x9> | thanks :) |
| 2026-05-13 01:18:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 01:23:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-13 01:34:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 01:39:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-13 01:44:33 +0000 | <Axman6> | x9: evaluating Haskell by hand is much easier than most languages, IMO. We have quite a lot of syntax sugar, but a hell of a lot of things boil down to function calls and case statements, and once you can translate those into that, evaluation is trivial - when a function is applied, substitute its definition; when a case statement is applied to something, you evaluate that expression enough to perform the pattern match. All this can be done trivially on a piec |
| 2026-05-13 01:44:33 +0000 | <Axman6> | e of paper |
| 2026-05-13 01:47:37 +0000 | <monochrom> | In practice, pure functions are much easier to trace by human than imperative procedures. (In theory, a pure function of 100 arguments is as bad as an imperative procedure of 100 state variables. But you don't have 100 arguments and you do have 100 state variables. That's why.) |
| 2026-05-13 01:49:29 +0000 | <Axman6> | on the refactoring side, x9 you might fund Unison interesting. It'sd a haskell like language but the "true" code is just a hashed AST of the functions, and things like names of vairables are just metadata, so the same codebase can be used by two different people who name the same function differently, but changing those names doesn't change what's executed. It's more like a projection of the real code |
| 2026-05-13 01:49:42 +0000 | <Axman6> | it = the testual representation humans interact with |
| 2026-05-13 01:49:46 +0000 | <Axman6> | textual* |
| 2026-05-13 01:49:48 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-05-13 01:50:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 01:50:29 +0000 | <x9> | thanks! |
| 2026-05-13 01:50:42 +0000 | <x9> | you are right. i do find it interesting. krivine machines too. |
| 2026-05-13 01:51:06 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) (Read error: Connection reset by peer) |
| 2026-05-13 01:52:18 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) synchromesh |
| 2026-05-13 01:56:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-13 02:03:42 +0000 | x9 | (~x9@91-157-105-12.elisa-laajakaista.fi) (Quit: Client closed) |
| 2026-05-13 02:04:06 +0000 | <jackdk> | x9: I think some forths have this renaming property you're looking for because words get looked up in the dictionary when they're called or compiled, I don't remember which. |
| 2026-05-13 02:07:40 +0000 | td_ | (~td@i5387092D.versanet.de) (Ping timeout: 245 seconds) |
| 2026-05-13 02:08:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 02:09:42 +0000 | td_ | (~td@i5387093E.versanet.de) td_ |
| 2026-05-13 02:12:37 +0000 | <geekosaur> | I want to say "compiled" but forth has changed a bit since when I learned it early on |
| 2026-05-13 02:14:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-13 02:26:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 02:30:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-13 02:35:14 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-13 02:49:27 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-05-13 02:53:30 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-05-13 02:57:38 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-13 03:00:27 +0000 | meejah | (~meejah@rutas.meejah.ca) (Ping timeout: 255 seconds) |
| 2026-05-13 03:01:52 +0000 | meejah | (~meejah@104.236.166.239) meejah |
| 2026-05-13 03:02:23 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-13 03:02:40 +0000 | sp1ff | (~user@2601:1c2:4080:14c0::6eb4) (Remote host closed the connection) |
| 2026-05-13 03:03:07 +0000 | pierrot | (~pi@user/pierrot) (Ping timeout: 265 seconds) |
| 2026-05-13 03:03:36 +0000 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2026-05-13 03:03:36 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 2026-05-13 03:03:55 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-05-13 03:04:00 +0000 | pierrot | (~pi@user/pierrot) pierrot |
| 2026-05-13 03:04:06 +0000 | werneta | (~werneta@71.83.160.242) (Ping timeout: 265 seconds) |
| 2026-05-13 03:04:06 +0000 | scula | (~scula@user/scula) (Ping timeout: 265 seconds) |
| 2026-05-13 03:04:07 +0000 | Adran | (~adran@botters/adran) (Ping timeout: 265 seconds) |
| 2026-05-13 03:04:08 +0000 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) (Ping timeout: 265 seconds) |
| 2026-05-13 03:04:08 +0000 | endokqr | (~kqr@irc-1.xkqr.org) (Ping timeout: 265 seconds) |
| 2026-05-13 03:04:25 +0000 | scula | (~scula@user/scula) scula |
| 2026-05-13 03:05:14 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-05-13 03:05:31 +0000 | Adran | (~adran@botters/adran) Adran |
| 2026-05-13 03:06:23 +0000 | distopico | (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) distopico |
| 2026-05-13 03:09:18 +0000 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-05-13 03:11:35 +0000 | sp1ff | (~user@2601:1c2:4080:14c0::6eb4) sp1ff |
| 2026-05-13 03:13:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 03:17:45 +0000 | endokqr | (~kqr@irc-1.xkqr.org) |
| 2026-05-13 03:18:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-13 03:23:35 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) (Remote host closed the connection) |
| 2026-05-13 03:29:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 03:30:09 +0000 | Digitteknohippie | Digit |
| 2026-05-13 03:36:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-13 03:41:54 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2026-05-13 03:41:59 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 245 seconds) |
| 2026-05-13 03:47:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 03:52:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-13 03:55:21 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-05-13 04:03:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 04:08:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-13 04:11:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 04:16:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-13 04:27:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 04:30:00 +0000 | hakutaku | (~textual@user/hakutaku) (Quit: Textual IRC Client: www.textualapp.com) |
| 2026-05-13 04:31:34 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-05-13 04:31:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-13 04:32:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-13 04:39:27 +0000 | lantti | (~lantti@xcalibur.cc.tut.fi) (Ping timeout: 272 seconds) |
| 2026-05-13 04:40:48 +0000 | lantti | (~lantti@xcalibur.cc.tut.fi) |
| 2026-05-13 04:42:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 04:42:43 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-13 04:47:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-13 04:58:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 05:03:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-13 05:09:05 +0000 | michalz | (~michalz@185.246.207.197) |
| 2026-05-13 05:12:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 05:19:07 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-13 05:19:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-13 05:23:07 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Client Quit) |
| 2026-05-13 05:30:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 05:35:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-13 05:38:10 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-13 05:46:30 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-05-13 05:48:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-13 05:50:21 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-13 05:53:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-13 06:06:12 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-05-13 06:18:05 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
| 2026-05-13 06:22:47 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-13 06:28:50 +0000 | Guest42 | (~Guest42@103.173.124.138) |
| 2026-05-13 06:28:53 +0000 | Guest42 | (~Guest42@103.173.124.138) (Write error: Broken pipe) |
| 2026-05-13 06:38:59 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-05-13 06:41:25 +0000 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2026-05-13 06:52:42 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-05-13 06:53:06 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-05-13 06:54:18 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-05-13 07:01:54 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-13 07:05:05 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-13 07:13:28 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-13 07:13:54 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-13 07:28:31 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Ping timeout: 264 seconds) |
| 2026-05-13 07:32:02 +0000 | ft | (~ft@p4fc2aefd.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-05-13 07:37:20 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-05-13 07:47:00 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-05-13 07:52:15 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-13 08:06:22 +0000 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2026-05-13 08:06:37 +0000 | oats | (~oats@user/oats) oats |
| 2026-05-13 08:15:33 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 276 seconds) |
| 2026-05-13 08:17:14 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-13 08:19:06 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-13 08:22:58 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-05-13 08:23:16 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-13 08:27:26 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-05-13 08:36:35 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-05-13 08:37:34 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-13 08:37:37 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-05-13 08:39:29 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 272 seconds) |
| 2026-05-13 08:39:30 +0000 | divlamir_ | divlamir |
| 2026-05-13 08:39:45 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-05-13 08:40:46 +0000 | supersecant | (~superseca@2a02:6b6f:e715:4f00:34d4:1987:8d0b:c51d) supersecant |
| 2026-05-13 08:47:55 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2026-05-13 08:48:07 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-13 08:56:20 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e583007c728d84604d6c.dip0.t-ipconnect.de) acidjnk |
| 2026-05-13 08:58:53 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-05-13 08:59:29 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 245 seconds) |
| 2026-05-13 08:59:45 +0000 | divlamir_ | divlamir |
| 2026-05-13 09:15:20 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5416f8ea815b85e39c9.dip0.t-ipconnect.de) |
| 2026-05-13 09:16:15 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Ping timeout: 265 seconds) |
| 2026-05-13 09:16:55 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-13 09:18:33 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e583007c728d84604d6c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-05-13 09:20:17 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-13 09:39:33 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-13 09:43:37 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Client Quit) |
| 2026-05-13 10:12:02 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-13 10:13:52 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) random-jellyfish |
| 2026-05-13 10:14:29 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-05-13 10:14:40 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2026-05-13 10:14:53 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-13 10:15:17 +0000 | <random-jellyfish> | I remember that on freenode the haskell channel was among the few channels where you could step out of the main topic of the channel and talk about other things |
| 2026-05-13 10:15:29 +0000 | <random-jellyfish> | like math, physics, computer science |
| 2026-05-13 10:15:37 +0000 | <random-jellyfish> | is that still the case on libera? |
| 2026-05-13 10:23:00 +0000 | rembo10_ | (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-13 10:23:54 +0000 | rembo10 | (~rembo10@2a01:4f9:c010:b5b9::1) rembo10 |
| 2026-05-13 10:26:19 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Quit: WeeChat 4.9.0) |
| 2026-05-13 10:32:13 +0000 | pyook | (~puke@user/puke) puke |
| 2026-05-13 10:32:14 +0000 | puke | Guest8522 |
| 2026-05-13 10:32:14 +0000 | pyook | puke |
| 2026-05-13 10:34:50 +0000 | Guest8522 | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-05-13 10:48:36 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-13 10:48:57 +0000 | dtman34 | (~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) dtman34 |
| 2026-05-13 10:55:12 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-05-13 10:55:32 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:a590:933b:ca73:cf1f) |
| 2026-05-13 10:55:33 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:a590:933b:ca73:cf1f) (Changing host) |
| 2026-05-13 10:55:33 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-13 10:58:27 +0000 | <bggd> | amho on most on IRC an interesting [pardon my English] discussion can goes on. Just on-topic have priority. A long discussion about AI took place on #lad recentrly for example. |
| 2026-05-13 10:58:43 +0000 | <bggd> | *can go* |
| 2026-05-13 10:58:50 +0000 | <bggd> | *recently* |
| 2026-05-13 10:59:48 +0000 | <bggd> | There is not a totalitary spirit here :) |
| 2026-05-13 11:00:59 +0000 | <bggd> | sorry for this terribly written sentence pff :( |
| 2026-05-13 11:04:20 +0000 | <bggd> | And, for haskell like for high-school science students, a bit a brain relaxation is sometimes needed :) |
| 2026-05-13 11:08:11 +0000 | <danza> | there is #haskell-offtopic |
| 2026-05-13 11:08:25 +0000 | bggd | (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-05-13 11:11:08 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-13 11:13:07 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2e72:17da:e837:e967) |
| 2026-05-13 11:18:04 +0000 | <[exa]> | any users of Network.DNS around? (wondering how hard it would be to ship a completely custom-domain-serving DNS server that systems would still talk to) |
| 2026-05-13 11:30:54 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-13 11:33:55 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2026-05-13 11:39:07 +0000 | Deltaspace | (~Deltaspac@178.252.83.109) |
| 2026-05-13 11:39:25 +0000 | Deltaspace | (~Deltaspac@178.252.83.109) (Changing host) |
| 2026-05-13 11:39:25 +0000 | Deltaspace | (~Deltaspac@user/Deltaspace) Deltaspace |
| 2026-05-13 11:42:15 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-05-13 11:47:11 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-13 11:48:40 +0000 | [exa] | finds pocket-dns, oh wow |
| 2026-05-13 11:48:52 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-13 11:51:13 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-05-13 11:54:25 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2026-05-13 11:56:58 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-13 11:58:31 +0000 | <ski> | random-jellyfish : yes |
| 2026-05-13 12:05:55 +0000 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 244 seconds) |
| 2026-05-13 12:13:14 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) (Read error: Connection reset by peer) |
| 2026-05-13 12:13:41 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) synchromesh |
| 2026-05-13 12:15:53 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2e72:17da:e837:e967) (Quit: xff0x) |
| 2026-05-13 12:17:38 +0000 | xff0x | (~xff0x@ai083050.d.east.v6connect.net) |
| 2026-05-13 12:56:42 +0000 | Digit | (~user@user/digit) (Ping timeout: 255 seconds) |
| 2026-05-13 12:57:16 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-13 12:59:53 +0000 | layline_ | (~layline@149.154.26.39) layline |
| 2026-05-13 13:18:49 +0000 | rscastilho2024 | (~rscastilh@user/rscastilho2024) rscastilho2024 |
| 2026-05-13 13:19:41 +0000 | rscastilho2024 | (~rscastilh@user/rscastilho2024) (Remote host closed the connection) |
| 2026-05-13 13:22:52 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-05-13 13:35:10 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-13 13:35:39 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-13 13:40:09 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Ping timeout: 265 seconds) |
| 2026-05-13 13:49:35 +0000 | Lears | (~Leary@user/Leary/x-0910699) Leary |
| 2026-05-13 13:51:34 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 245 seconds) |
| 2026-05-13 13:59:07 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-13 13:59:11 +0000 | Lears | Leary |
| 2026-05-13 14:05:35 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Ping timeout: 245 seconds) |
| 2026-05-13 14:13:29 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-13 14:19:38 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-13 14:24:19 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Ping timeout: 264 seconds) |
| 2026-05-13 14:24:55 +0000 | craunts795335385 | (~craunts@136.158.7.226) |
| 2026-05-13 14:28:32 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-05-13 14:30:54 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-05-13 14:30:59 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-05-13 14:35:28 +0000 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2026-05-13 14:35:57 +0000 | <janus> | random-jellyfish: there is #haskell-offtopic . why would it exist? |
| 2026-05-13 14:42:27 +0000 | <ski> | #haskell-offtopic was kinda forked from #haskell-blah |
| 2026-05-13 14:44:10 +0000 | <ski> | longer offtopic chatter, or if there's an on-topic query going on, may be requested to be moved to another channel |
| 2026-05-13 14:47:21 +0000 | Square | (~Square@user/square) Square |
| 2026-05-13 14:47:37 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-13 14:49:14 +0000 | <geekosaur> | also on-topic but off the rails (i.e. started delving into the math or internals) chatter may be asked to move to #haskell-in-depth |
| 2026-05-13 14:50:37 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2026-05-13 14:52:41 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-13 14:57:25 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Ping timeout: 276 seconds) |
| 2026-05-13 15:02:01 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-13 15:07:54 +0000 | ft | (~ft@p4fc2aefd.dip0.t-ipconnect.de) ft |
| 2026-05-13 15:10:02 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-13 15:11:21 +0000 | <gentauro> | how many haskell channels are there on libera? |
| 2026-05-13 15:12:55 +0000 | itaipu | (~itaipu@168.121.98.126) (Ping timeout: 264 seconds) |
| 2026-05-13 15:13:55 +0000 | Digit | (~user@user/digit) Digit |
| 2026-05-13 15:19:44 +0000 | <ski> | @wiki IRC channel#Related channels |
| 2026-05-13 15:19:44 +0000 | <lambdabot> | https://wiki.haskell.org/IRC_channel#Related_channels |
| 2026-05-13 15:20:28 +0000 | <ski> | also |
| 2026-05-13 15:20:41 +0000 | <ski> | /msg ALis list haskell |
| 2026-05-13 15:26:54 +0000 | layline_ | layline-away |
| 2026-05-13 15:29:20 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-05-13 15:41:42 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2026-05-13 15:42:48 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2026-05-13 15:56:32 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2026-05-13 15:57:25 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 265 seconds) |
| 2026-05-13 16:01:34 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-13 16:12:41 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-05-13 16:13:01 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:c347:f768:e2bf:15ae) |
| 2026-05-13 16:14:23 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-05-13 16:17:37 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:c347:f768:e2bf:15ae) (Client Quit) |
| 2026-05-13 16:22:31 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2026-05-13 16:27:15 +0000 | Deltaspace | (~Deltaspac@user/Deltaspace) (Remote host closed the connection) |
| 2026-05-13 16:27:38 +0000 | Deltaspace | (~Deltaspac@178.252.83.109) |
| 2026-05-13 16:37:01 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) (Ping timeout: 272 seconds) |
| 2026-05-13 16:44:17 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2026-05-13 16:44:24 +0000 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2026-05-13 16:45:55 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-13 16:57:30 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-13 16:59:07 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-05-13 17:12:11 +0000 | layline-away | (~layline@149.154.26.39) (Quit: ZZZzzz…) |
| 2026-05-13 17:13:42 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:c347:f768:e2bf:15ae) |
| 2026-05-13 17:14:57 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Ping timeout: 246 seconds) |