Logs: liberachat/#haskell
| 2026-02-26 19:04:39 | <ethan1> | you don't have to do everything in RPN |
| 2026-02-26 19:06:46 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-26 19:07:23 | <ethan1> | nvm i thought RPN was exclusively tied to math for some reason |
| 2026-02-26 19:07:33 | <ethan1> | everything is postfix |
| 2026-02-26 19:09:00 | × | earthy quits (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Quit: ein reboot macht gut) |
| 2026-02-26 19:09:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-26 19:09:51 | → | morj_away joins (~morj@user/morj) |
| 2026-02-26 19:09:54 | → | rncwnd joins (~quassel@2a01:4f8:221:27c6::1) |
| 2026-02-26 19:11:26 | → | arthurvl joins (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2026-02-26 19:16:36 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-26 19:17:06 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 19:19:32 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 2026-02-26 19:19:42 | × | tromp quits (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-26 19:19:47 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-26 19:19:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-26 19:20:23 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-02-26 19:20:57 | <haskellbridge> | <ijouw> I made a curry that works for any Arrow; used it to define ($) = curryArrow ArrowApply.app; and noticed it is useless for Arrows that are not (->) |
| 2026-02-26 19:23:45 | <monochrom> | It should be useful for any ArrowApply then, aka Monad. |
| 2026-02-26 19:25:44 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-26 19:26:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 19:30:34 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 276 seconds) |
| 2026-02-26 19:35:21 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-26 19:37:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-26 19:40:02 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 19:42:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-26 19:43:51 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-26 19:45:56 | × | petrichor quits (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-26 19:47:24 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-26 19:47:27 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2026-02-26 19:47:43 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-02-26 19:48:05 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 19:48:35 | → | petrichor joins (~jez@user/petrichor) |
| 2026-02-26 19:49:05 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-02-26 19:53:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-26 19:54:05 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-02-26 19:54:17 | → | cipherrot joins (~jez@user/petrichor) |
| 2026-02-26 19:54:45 | × | petrichor quits (~jez@user/petrichor) (Ping timeout: 245 seconds) |
| 2026-02-26 19:56:20 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-02-26 19:58:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 20:00:59 | <jreicher> | "The idea that there are infinitely many numbers between 0 and 1 is really amazing to me". Just wait until they learn about dense vs compact. |
| 2026-02-26 20:02:07 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-26 20:02:18 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-02-26 20:05:21 | <EvanR> | alternatively imagine a number system where there are finite numbers between 0 and 1, like fixed point numbers |
| 2026-02-26 20:05:33 | <EvanR> | is this more or less mindblowing |
| 2026-02-26 20:05:46 | <EvanR> | some finite numbers are... really big |
| 2026-02-26 20:06:27 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 255 seconds) |
| 2026-02-26 20:06:33 | <EvanR> | sometimes jumping straight to infinity is much easier to comprehend |
| 2026-02-26 20:06:43 | ← | ethan1 parts (ethan@tilde.team) (WeeChat 4.7.1) |
| 2026-02-26 20:07:06 | <monochrom> | On odd-numbered days everything blows my mind. On even-numbered days everything looks unsurprising. |
| 2026-02-26 20:08:49 | <EvanR> | "curry that works for any Arrow" is screaming to me "actually, any cartesian category category" ? |
| 2026-02-26 20:09:00 | <EvanR> | which has some overlap with Arrow ? |
| 2026-02-26 20:09:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-26 20:09:43 | × | Axman6 quits (~Axman6@user/axman6) (*.net *.split) |
| 2026-02-26 20:09:51 | <mauke> | cartesian category category |
| 2026-02-26 20:10:01 | <EvanR> | blahhhhh |
| 2026-02-26 20:10:06 | <EvanR> | cartesian closed category |
| 2026-02-26 20:10:08 | <monochrom> | Every Arrow is also a Category so I think you're right on. |
| 2026-02-26 20:10:39 | <monochrom> | Oh heh my mind auto-corrected that typo. :) |
| 2026-02-26 20:11:22 | <mauke> | chaos computer category |
| 2026-02-26 20:12:28 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds) |
| 2026-02-26 20:14:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 20:14:46 | <jreicher> | EvanR: one of the most confounding results I ever heard is that logic is not complete with respect to all finite models. You only get completeness if you allow infinite models. (Roughly speaking) |
| 2026-02-26 20:15:28 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-02-26 20:15:29 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-26 20:15:34 | <EvanR> | I don't follow that precisely but knee jerk reaction is that's probably an eventually trivial consequence of whatever the definition of complete is xD |
| 2026-02-26 20:16:18 | <monochrom> | Yeah, I saw logic homework questions that showed some unprovable sentences that had only infinite counter-models. |
| 2026-02-26 20:16:21 | <jreicher> | https://en.wikipedia.org/wiki/Trakhtenbrot%27s_theorem |
| 2026-02-26 20:16:48 | <jreicher> | (I can never remember the name) |
| 2026-02-26 20:18:48 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-02-26 20:20:02 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 20:21:50 | <mauke> | that's like the English transliteration of the phonetic Russian spelling of the German words for <traditional costume> <bread> |
| 2026-02-26 20:22:16 | <monochrom> | haha |
| 2026-02-26 20:22:52 | <mauke> | Mandelbrot being "almond bread", of course |
| 2026-02-26 20:23:25 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-26 20:25:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-26 20:25:37 | <monochrom> | English b and v are associated with Greek beta and its Cyrillic equivalent. So you can have a transmutation from English b to Greek/Cyrillic beta to English v. This is known as beta reduction. >:) |
| 2026-02-26 20:25:54 | → | pavonia joins (~user@user/siracusa) |
| 2026-02-26 20:25:56 | <monochrom> | (In a Physics channel I would be saying "beta decay" >:) >:) ) |
| 2026-02-26 20:27:49 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 20:29:39 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-26 20:30:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 20:33:54 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 20:36:33 | ChanServ | sets mode +o monochrom |
| 2026-02-26 20:37:38 | → | Pixi` joins (~Pixi@user/pixi) |
| 2026-02-26 20:41:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-26 20:41:07 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 2026-02-26 20:41:56 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-26 20:45:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 20:46:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-26 20:47:20 | × | glguy quits (glguy@libera/staff/glguy) (*.net *.split) |
| 2026-02-26 20:47:20 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split) |
| 2026-02-26 20:47:24 | → | glguy joins (glguy@libera/staff/glguy) |
| 2026-02-26 20:47:38 | × | enikar quits (~enikar@user/enikar) (*.net *.split) |
| 2026-02-26 20:47:41 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 2026-02-26 20:47:58 | → | enikar joins (~enikar@user/enikar) |
| 2026-02-26 20:48:16 | × | glguy quits (glguy@libera/staff/glguy) (*.net *.split) |
| 2026-02-26 20:48:23 | → | glguy joins (glguy@libera/staff/glguy) |
| 2026-02-26 20:49:14 | × | tales quits (~tales@149.167.1.176) (Ping timeout: 268 seconds) |
| 2026-02-26 20:50:15 | → | tales joins (~tales@149.167.1.176) |
| 2026-02-26 20:51:21 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
All times are in UTC.