Newest at the top
| 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) |
| 2026-06-17 02:01:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 01:56:55 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-06-17 01:51:49 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-06-17 01:50:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-17 01:49:49 +0000 | tremon | (~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) (Remote host closed the connection) |
| 2026-06-17 01:47:45 +0000 | RMSBach | (~RMSBach@2603:6013:9b40:6f2::1040) RMSBach |
| 2026-06-17 01:45:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 01:44:37 +0000 | RMSBach | (~RMSBach@24.210.2.24) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-06-17 01:43:09 +0000 | bdkl | (~bdkl@user/bdkl) (Quit: bdkl) |
| 2026-06-17 01:40:26 +0000 | bdkl | (~bdkl@user/bdkl) bdkl |
| 2026-06-17 01:34:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-17 01:30:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-17 01:30:18 +0000 | <raincomplex> | these are soft definitions that help me to understand when to use these things |
| 2026-06-17 01:26:16 +0000 | <raincomplex> | a coroutine is a function that can yield values part way through its execution, and then be resumed |