Newest at the top
| 2025-05-08 13:02:27 +0200 | <JuanDaugherty> | somebody said something was point free |
| 2025-05-08 13:02:18 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-08 13:02:08 +0200 | <hellwolf> | But we pursue a different goal. |
| 2025-05-08 13:02:01 +0200 | <hellwolf> | if all your end goal is to tell machine to do whatever you want it to do, then yes, it's pointless. |
| 2025-05-08 13:01:46 +0200 | jespada | (~jespada@179.26.249.228) jespada |
| 2025-05-08 13:01:45 +0200 | <JuanDaugherty> | u FP ppl |
| 2025-05-08 13:01:44 +0200 | <hellwolf> | I think that's the crust why many don't understand FP's appeal |
| 2025-05-08 13:01:27 +0200 | <JuanDaugherty> | they dont have to understand the code to use it |
| 2025-05-08 13:01:19 +0200 | <hellwolf> | But, we FP people is looking for a different relation with the machine: how can we be told by math to do the right thing using the machien? |
| 2025-05-08 13:01:11 +0200 | <JuanDaugherty> | well no, that's not required |
| 2025-05-08 13:01:06 +0200 | <darkling> | hellwolf: Missal? Are we back to the inaccessible cardinals again? |
| 2025-05-08 13:00:44 +0200 | <hellwolf> | that makes people who work on it, self-labeled programmers, think they are powerful. |
| 2025-05-08 13:00:32 +0200 | <JuanDaugherty> | is there some stunning copilot or llm stuffs with hs i dont know about? |
| 2025-05-08 13:00:06 +0200 | <JuanDaugherty> | can u? |
| 2025-05-08 13:00:04 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-08 13:00:00 +0200 | <hellwolf> | *missile |
| 2025-05-08 12:59:42 +0200 | <hellwolf> | you can ask it to do whatever it can, so long it has the access to the external world, including launching a missle |
| 2025-05-08 12:59:28 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-05-08 12:59:19 +0200 | <hellwolf> | turing-complete machine is such an amazing beast. |
| 2025-05-08 12:58:08 +0200 | <JuanDaugherty> | but it's still "what is this shit?" |
| 2025-05-08 12:58:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-08 12:57:53 +0200 | <JuanDaugherty> | *now they/u know |
| 2025-05-08 12:57:30 +0200 | <JuanDaugherty> | something like that must be how the typical programming IT worker of today views hs except that now know u can do stuff |
| 2025-05-08 12:55:06 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-05-08 12:55:02 +0200 | <JuanDaugherty> | or rather i've been aware of it for some time |
| 2025-05-08 12:54:48 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-05-08 12:54:15 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-05-08 12:53:16 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 276 seconds) |
| 2025-05-08 12:53:07 +0200 | <JuanDaugherty> | c. '06 for me; yes i now realize ML always did have that property i thought it didn |
| 2025-05-08 12:52:33 +0200 | zzz | yin |
| 2025-05-08 12:52:33 +0200 | yin | (~z@user/zero) (Read error: Connection reset by peer) |
| 2025-05-08 12:52:27 +0200 | <JuanDaugherty> | which misimpression wasn dispelled until hs started getting real |
| 2025-05-08 12:52:11 +0200 | <hellwolf> | does it now? |
| 2025-05-08 12:51:54 +0200 | zzz | (~z@user/zero) zero |
| 2025-05-08 12:51:26 +0200 | <JuanDaugherty> | i didn think it (ML) actually did useful, non theoretical programming |
| 2025-05-08 12:50:40 +0200 | <JuanDaugherty> | *b4 1980 |
| 2025-05-08 12:50:10 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-08 12:49:09 +0200 | <JuanDaugherty> | dont forget the smoke |
| 2025-05-08 12:49:07 +0200 | <hellwolf> | (stealing this joke from functional cafe.) |
| 2025-05-08 12:48:54 +0200 | <hellwolf> | with conclave and inaccessible cardinals? |
| 2025-05-08 12:48:25 +0200 | <JuanDaugherty> | i thought the uni just glommed onto haskell and it originated in some amorphose global academic ML cloud |
| 2025-05-08 12:47:09 +0200 | <JuanDaugherty> | i.e. ML was 2 years, unclear when I first heard of it but b6 1980 |
| 2025-05-08 12:46:25 +0200 | <JuanDaugherty> | s/the// |
| 2025-05-08 12:46:17 +0200 | <JuanDaugherty> | edinburgh and the milner and what not |
| 2025-05-08 12:45:48 +0200 | <JuanDaugherty> | i didn realize how straight and well penciled the line was from ML to haskell and GHC |
| 2025-05-08 12:45:45 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-08 12:45:31 +0200 | yin | (~z@user/zero) zero |
| 2025-05-08 12:45:17 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-05-08 12:45:11 +0200 | <JuanDaugherty> | it was 2 years b4 i wrote my first program |
| 2025-05-08 12:44:47 +0200 | <JuanDaugherty> | i was speculating when i first heard of ML, if it coulda been in the '70s |