Newest at the top
| 2025-10-31 12:38:52 +0100 | <yahb2> | https://paste.tomsmeding.com/GlIradAP |
| 2025-10-31 12:38:51 +0100 | <tomsmeding> | %% putStr$unlines[["#."!!fromEnum(i.&.j>0)|j<-[0..31]]|i<-[0..31::Int]] -- sm |
| 2025-10-31 12:36:11 +0100 | nerdychip | (~nerdychip@user/nerdychip) nerdychip |
| 2025-10-31 12:36:11 +0100 | nerdychip | (~nerdychip@212.129.76.47) (Changing host) |
| 2025-10-31 12:36:11 +0100 | nerdychip | (~nerdychip@212.129.76.47) |
| 2025-10-31 12:35:04 +0100 | <kuribas> | [exa]: I don't know. I like the applicative inside monad pattern. |
| 2025-10-31 12:33:53 +0100 | nerdychip | (~nerdychip@user/nerdychip) (Ping timeout: 256 seconds) |
| 2025-10-31 12:30:59 +0100 | <tomsmeding> | sm: bitwise AND is enough https://lcamtuf.substack.com/p/sierpinski-triangle-in-my-bitwise |
| 2025-10-31 12:29:15 +0100 | tomsmeding | doesn't know |
| 2025-10-31 12:25:16 +0100 | <[exa]> | tomsmeding kuribas: are there free selectives already in the libraries? (just saw the messages above so kinda wondering) |
| 2025-10-31 12:21:46 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-31 12:08:06 +0100 | catties | C477135 |
| 2025-10-31 12:04:38 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-10-31 12:04:21 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Client Quit) |
| 2025-10-31 12:03:59 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2025-10-31 12:03:39 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2025-10-31 11:48:26 +0100 | halloy8008 | (~halloy800@2405:201:a00a:b009:95f6:89f8:41dc:a5ef) (Quit: halloy8008) |
| 2025-10-31 11:47:08 +0100 | halloy8008 | (~halloy800@2405:201:a00a:b009:95f6:89f8:41dc:a5ef) |
| 2025-10-31 11:46:31 +0100 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 264 seconds) |
| 2025-10-31 11:45:10 +0100 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-31 11:38:50 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 11:38:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-10-31 11:37:15 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 11:34:25 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 11:34:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-31 11:32:22 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 11:25:37 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 11:25:37 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-10-31 11:23:39 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 11:19:22 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 11:19:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-31 11:18:00 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 11:16:36 +0100 | Googulator54 | Googulator |
| 2025-10-31 11:09:28 +0100 | omentic | jj |
| 2025-10-31 10:52:51 +0100 | trickard_ | trickard |
| 2025-10-31 10:43:35 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) |
| 2025-10-31 10:41:08 +0100 | ljdarj1 | ljdarj |
| 2025-10-31 10:41:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-31 10:39:21 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 10:38:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-31 10:35:14 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-10-31 10:31:48 +0100 | Googulator54 | (~Googulato@team.broadbit.hu) |
| 2025-10-31 10:28:26 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-31 10:25:33 +0100 | <lambdabot> | Consider it noted. |
| 2025-10-31 10:25:33 +0100 | <tomsmeding> | @tell kuribas Sure, free monads end up as a bunch of uninspectable closures, but that's because (>>=)'s typing does that: there are monad operation calls inside a closure argument to (>>=). With applicatives, there are no (<*>) or pure calls inside a closure, so there is still black-box computation, but the Applicative structure is all visible |
| 2025-10-31 10:19:55 +0100 | bggd | (~bgg@2a01:e0a:819:1510:aa28:625d:5af8:625b) |
| 2025-10-31 10:08:33 +0100 | acidjnk | (~acidjnk@p200300d6e71719308df0744f2dc6c30e.dip0.t-ipconnect.de) acidjnk |
| 2025-10-31 10:07:52 +0100 | chele | (~chele@user/chele) chele |
| 2025-10-31 10:05:23 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-31 10:05:09 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |