Newest at the top
| 2026-06-17 03:54:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 03:46:06 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2026-06-17 03:43:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-17 03:42:39 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-06-17 03:40:04 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2026-06-17 03:36:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 03:29:47 +0000 | oats | (~oats@user/oats) oats |
| 2026-06-17 03:29:32 +0000 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2026-06-17 03:26:43 +0000 | synchromesh | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh |
| 2026-06-17 03:26:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-17 03:22:35 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-06-17 03:20:51 +0000 | synchromesh | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) (Read error: Connection reset by peer) |
| 2026-06-17 03:20:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 03:19:22 +0000 | m2 | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-06-17 03:15:55 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-17 03:13:40 +0000 | Axman6352 | (~Axman6@user/axman6) Axman6 |
| 2026-06-17 03:10:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-17 03:05:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 03:03:57 +0000 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2026-06-17 03:03:35 +0000 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2026-06-17 03:01:38 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2026-06-17 02:58:46 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-06-17 02:57:57 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) |
| 2026-06-17 02:54:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-17 02:54:23 +0000 | wickedjargon | (~user@64.114.24.74) (Ping timeout: 268 seconds) |
| 2026-06-17 02:51:44 +0000 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 244 seconds) |
| 2026-06-17 02:50:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 02:40:41 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-17 02:39:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 254 seconds) |
| 2026-06-17 02:38:42 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 256 seconds) |
| 2026-06-17 02:34:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 02:32:49 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-06-17 02:28:49 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-17 02:27:51 +0000 | <monochrom> | (But Kleisli arrow is the better destination if you want to start with semicolon.) |
| 2026-06-17 02:24:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-17 02:24:23 +0000 | <monochrom> | Ironically "semicolon" is a good idea on its own because people already expect associativity and identity of it. That I can work with. |
| 2026-06-17 02:23:26 +0000 | spew | (~spew@user/spew) spew |
| 2026-06-17 02:19:25 +0000 | <monochrom> | Here is a true story. I saw https://medium.com/better-programming/monads-are-just-fancy-semicolons-ffe38401fd0e . Then I put it on an exam and the question was "show that it breaks a monad law". An example of being intuitive, makes you feel great, and falsified. |
| 2026-06-17 02:19:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 02:16:49 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-17 02:15:26 +0000 | <monochrom> | I also mentioned "work with". I only know how to work with falsifiable definitions, that's why that's my bottom line. I have to be able to use something, not just "feel" that I "understand". |
| 2026-06-17 02:13:36 +0000 | wickedjargon | (~user@64.114.24.74) wickedjargon |
| 2026-06-17 02:11:24 +0000 | <monochrom> | BTW you don't really want "context = monad". Applicatives feel like "context" too. |
| 2026-06-17 02:10:49 +0000 | <monochrom> | Likewise, I know how to falsify "foo is a monad". I don't know how to falsify "foo is a context", unless we just define "context = monad", at which point we don't need it either. |
| 2026-06-17 02:10:03 +0000 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2026-06-17 02:10:01 +0000 | <monochrom> | Here is an example. You have heard "survival of the fittest". I know how to falsify "this species survives". I don't know how to falsify "fit", unless we just say "it's just a synonym for survival", at which point we don't need it. |
| 2026-06-17 02:07:58 +0000 | <monochrom> | I know how to formalize those too. But perhaps my point is not formalization. I mentioned "falsifiable", that's my real bottom line. It just happens that math is a very good way to do that. |
| 2026-06-17 02:07:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-17 02:06:48 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-17 02:05:34 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 276 seconds) |