| 2026-01-28 00:00:10 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c4c:3bb8:a5c6:557e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-28 00:00:37 +0100 | <Rembane> | tomsmeding: Now we just need to figure out how to shake fist recursively and we will have the ultimate old-man-yelling-at-clouds sourcery! |
| 2026-01-28 00:01:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-28 00:01:11 +0100 | <tomsmeding> | there's probably a way to make a circular Shake build recipe called "fist" |
| 2026-01-28 00:01:30 +0100 | ski | idly ponders corecursion |
| 2026-01-28 00:03:01 +0100 | <Rembane> | fix . Shake $ fist |
| 2026-01-28 00:03:27 +0100 | Googulator | (~Googulato@77-234-89-65.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-01-28 00:04:04 +0100 | Guest41 | nods |
| 2026-01-28 00:04:14 +0100 | Guest41 | runs away as fast as he can towards textbooks |
| 2026-01-28 00:04:20 +0100 | Guest41 | (~Guest41@137.83.217.79) (Quit: Client closed) |
| 2026-01-28 00:04:35 +0100 | <tomsmeding> | I think #haskell is not the right place to go if you want to talk about LLMs lol |
| 2026-01-28 00:05:03 +0100 | <jreicher> | Oh dear, we really did scare them off. |
| 2026-01-28 00:05:45 +0100 | <tomsmeding> | well, some amount of scaring was appropriate, perhaps; not sure if scaring them away was necessary |
| 2026-01-28 00:05:47 +0100 | <tomsmeding> | oh well |
| 2026-01-28 00:06:04 +0100 | ski | doubts it was scaring off |
| 2026-01-28 00:06:30 +0100 | <Rembane> | Maybe they'll come back. We'll see. |
| 2026-01-28 00:07:17 +0100 | <ski> | they could just be humorously expressing that they want to go to focus on the links provided, and not be distracted |
| 2026-01-28 00:07:46 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c4c:3bb8:a5c6:557e) |
| 2026-01-28 00:07:55 +0100 | <tomsmeding> | possible yes, and in any case if we did scare them off I think we were considerate enough; opinions were expressed, but then, that's what you go on the internet for |
| 2026-01-28 00:08:41 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-28 00:12:11 +0100 | <__monty__> | While I'm sure an LLM could also tell you, DDG gives me two hits in the first three results with the query `GHC foo @Int`. Burning a whole lot less energy in the process and not being built on nearly as exploitative a technology. |
| 2026-01-28 00:12:32 +0100 | <tomsmeding> | that's better than I expected |
| 2026-01-28 00:12:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-28 00:12:51 +0100 | <tomsmeding> | and the user guide is even one of them! |
| 2026-01-28 00:15:04 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-01-28 00:16:33 +0100 | <jreicher> | The whole energy consumption aspect is pretty depressing. I really struggle with that. |
| 2026-01-28 00:17:00 +0100 | <tomsmeding> | it's one of the main reasons I hesitate to use them even for tasks they are appropriate for |
| 2026-01-28 00:17:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-01-28 00:20:59 +0100 | <haskellbridge> | <magic_rb> For me also the moral, copyright, and corporate control aspects |
| 2026-01-28 00:21:59 +0100 | <[exa]> | c'mon guys no one ever had issues from listening to a good advisor with plenty of great ideas coming from whoknowswhere |
| 2026-01-28 00:22:10 +0100 | <jreicher> | I really like Hinton's point (other people have probably made it to) that biological brains provide a tradeoff of being uncopyable but very low power consumption. It's a surprising (for me) way of looking at it, but makes sense. |
| 2026-01-28 00:22:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c4c:3bb8:a5c6:557e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-28 00:23:30 +0100 | <[exa]> | jreicher: wouldn't say "uncopyable", more like "gotten too squishy to do much else than thinking" |
| 2026-01-28 00:23:58 +0100 | tomsmeding | likes squishy matrices |
| 2026-01-28 00:25:24 +0100 | <jreicher> | "Uncopyable" is my paraphrase. The full point is that with software you can produce multiple instances from the one training history. But when you train a biological brain, you only have that instance. |
| 2026-01-28 00:26:47 +0100 | <[exa]> | like, getting identical copies of fresh brains ain't easy for sure |
| 2026-01-28 00:26:50 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-28 00:27:11 +0100 | [exa] | -> back to haskell |
| 2026-01-28 00:28:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-28 00:29:14 +0100 | <Rembane> | I want a hot spare |
| 2026-01-28 00:33:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-28 00:38:16 +0100 | <__monty__> | Are brains really that low energy? 2000 kcal/day = 2.3 kWh/day. From a random website a computer used 8 h/day will use about 146 kWh/year. So that's roughly half a brain. Unless we face that fact that most of our brain power is probably dedicated to "wasted" computation, like acquiring food, procreating etc. |
| 2026-01-28 00:43:32 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-28 00:44:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-28 00:48:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-28 00:49:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2026-01-28 00:55:55 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-01-28 00:58:51 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-28 00:59:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-28 01:04:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-28 01:05:20 +0100 | <geekosaur> | right, we're doing a lot more than computers are |
| 2026-01-28 01:08:33 +0100 | jmcantrell_ | jmcantrell |
| 2026-01-28 01:11:07 +0100 | Googulator39 | Googulator |
| 2026-01-28 01:15:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-28 01:19:16 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2026-01-28 01:19:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-28 01:20:03 +0100 | otto_s | (~user@p5de2f740.dip0.t-ipconnect.de) |
| 2026-01-28 01:24:01 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2026-01-28 01:24:18 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-28 01:26:40 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2026-01-28 01:26:57 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-01-28 01:27:51 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-01-28 01:30:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-28 01:33:42 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-28 01:34:25 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-28 01:37:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-28 01:40:28 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-28 01:41:01 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-28 01:44:29 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-28 01:48:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-28 01:53:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-28 01:55:49 +0100 | xff0x | (~xff0x@ai083101.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 2026-01-28 01:56:30 +0100 | Square3 | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2026-01-28 01:57:09 +0100 | kimiamania | (~b4b260c9@user/kimiamania) (Quit: PegeLinux) |
| 2026-01-28 01:58:27 +0100 | kimiamania4 | (~b4b260c9@user/kimiamania) kimiamania |
| 2026-01-28 02:11:19 +0100 | attlin | (~user@user/attlin) (Ping timeout: 240 seconds) |
| 2026-01-28 02:13:23 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-01-28 02:16:01 +0100 | otto_s | (~user@p5de2f740.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-01-28 02:18:02 +0100 | otto_s | (~user@p4ff27357.dip0.t-ipconnect.de) |
| 2026-01-28 02:20:11 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-01-28 02:20:41 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-01-28 02:21:44 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-28 02:21:58 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-28 02:24:50 +0100 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-01-28 02:28:17 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-28 02:29:52 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-28 02:30:45 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-01-28 02:32:01 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-28 02:32:04 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-01-28 02:37:45 +0100 | omidmash7 | (~omidmash@user/omidmash) omidmash |
| 2026-01-28 02:39:54 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 256 seconds) |
| 2026-01-28 02:39:55 +0100 | omidmash7 | omidmash |
| 2026-01-28 02:42:15 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-28 02:42:29 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-28 02:45:34 +0100 | bggd__ | (~bgg@2a01:e0a:fd5:f510:4e41:2ae3:b076:993f) |
| 2026-01-28 02:48:04 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:8882:d44f:ddaa:9d2) (Ping timeout: 244 seconds) |
| 2026-01-28 02:49:52 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-28 02:53:20 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-01-28 03:02:31 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-28 03:04:56 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-28 03:05:09 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-28 03:16:44 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e523c8ca6d674f934d23.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-01-28 03:17:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-28 03:21:16 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2026-01-28 03:22:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-28 03:32:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-28 03:37:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-01-28 03:47:00 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-28 03:48:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-28 03:53:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-28 03:59:12 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-28 04:02:23 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-28 04:04:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-28 04:06:36 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-01-28 04:08:14 +0100 | <monochrom> | Brains are really high-power-consumption compared to other parts of the human body. But I guess you're comparing to electronic computers. |
| 2026-01-28 04:08:36 +0100 | <monochrom> | (But you should s/energy/power/. kcal/day is a power unit, not an energy unit.) |
| 2026-01-28 04:08:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-28 04:19:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |