Newest at the top
| 2026-02-19 21:20:00 +0100 | <EvanR> | vocabulary intensifies |
| 2026-02-19 21:19:55 +0100 | <newmind> | or "inner rage" for me >.> |
| 2026-02-19 21:19:18 +0100 | <EvanR> | while "enshittification" evokes a transition from "ok" to "no ok anymore" |
| 2026-02-19 21:18:51 +0100 | <EvanR> | it conjures up problematic behaviors or lack of behaviors that have always been there |
| 2026-02-19 21:17:02 +0100 | <tomsmeding> | the GHC user's guide has a list of infelicities :) |
| 2026-02-19 21:16:26 +0100 | <EvanR> | infelicity infelicity. Wow this word is so underused now a days |
| 2026-02-19 21:16:06 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-19 21:15:05 +0100 | <gentauro> | https://pdfs.semanticscholar.org/c42c/2dcd3ab811c85e3962c31fb5f12ee5965b63.pdf |
| 2026-02-19 21:14:48 +0100 | <tomsmeding> | you can :set lots of things |
| 2026-02-19 21:14:39 +0100 | <tomsmeding> | yes |
| 2026-02-19 21:14:35 +0100 | <newmind> | or unset it |
| 2026-02-19 21:14:21 +0100 | <newmind> | so can you :set -interactive-print to something else? |
| 2026-02-19 21:13:30 +0100 | <gentauro> | let me see if I can find likn to slides |
| 2026-02-19 21:13:14 +0100 | <gentauro> | :) |
| 2026-02-19 21:13:12 +0100 | <gentauro> | `data T = F [T] deriving (Eq,Show,Read)` |
| 2026-02-19 21:12:48 +0100 | <tomsmeding> | (isn't that Natural) |
| 2026-02-19 21:12:36 +0100 | <gentauro> | tomsmeding: you need `RecursivelyRunLengthCompressedNaturalNumbers` as well :) |
| 2026-02-19 21:12:07 +0100 | <gentauro> | oh yeah, my bad |
| 2026-02-19 21:11:58 +0100 | <tomsmeding> | no, Peano |
| 2026-02-19 21:11:49 +0100 | <gentauro> | SKI :o |
| 2026-02-19 21:11:01 +0100 | <tomsmeding> | very useful |
| 2026-02-19 21:10:56 +0100 | <yahb2> | S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S Z))))))))))))))))))))))))))))) |
| 2026-02-19 21:10:56 +0100 | <tomsmeding> | % 5 * 6 :: Nat |
| 2026-02-19 21:10:52 +0100 | <newmind> | yeah, already was looking at it :D though i can just see it in code, rather than peppering you with questions |
| 2026-02-19 21:10:17 +0100 | <tomsmeding> | the print function is this one https://git.tomsmeding.com/yahb2/tree/bwrap-files/workdir/Yahb2Defs.hs ; you also get this for some reason https://git.tomsmeding.com/yahb2/tree/bwrap-files/workdir/initdefs.hs |
| 2026-02-19 21:09:24 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-19 21:09:07 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 268 seconds) |
| 2026-02-19 21:08:32 +0100 | <tomsmeding> | but it works well enough |
| 2026-02-19 21:08:29 +0100 | <tomsmeding> | there's an infelicity here in that it could detect it earlier perhaps |
| 2026-02-19 21:08:23 +0100 | newmind | (~newmind@91-133-90-252.dyn.cablelink.at) |
| 2026-02-19 21:08:15 +0100 | <tomsmeding> | the 'print [1..]' was truncated and posted, but the command continued running and no new prompt was found, but it realised that only on the next input (yours), which restarted ghci |
| 2026-02-19 21:07:51 +0100 | <gentauro> | :o |
| 2026-02-19 21:07:43 +0100 | <yahb2> | <interactive>:5:1: error: [GHC-39999] ; • No instance for ‘Enum [Integer]’ arising from a use of ‘it’ ; • In the first argument of ‘Yahb2Defs.limitedPrint’, namely ‘it’ ; In a stmt of... |
| 2026-02-19 21:07:43 +0100 | <tomsmeding> | % [[1..]..] |
| 2026-02-19 21:07:32 +0100 | newmind | (~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed) |
| 2026-02-19 21:07:27 +0100 | <tomsmeding> | try again |
| 2026-02-19 21:07:22 +0100 | <tomsmeding> | ah |
| 2026-02-19 21:07:20 +0100 | <tomsmeding> | oh? |
| 2026-02-19 21:07:20 +0100 | <yahb2> | Oops, something went wrong |
| 2026-02-19 21:07:20 +0100 | <gentauro> | % [[1..]..] |
| 2026-02-19 21:07:13 +0100 | <yahb2> | [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,6... |
| 2026-02-19 21:07:13 +0100 | <tomsmeding> | % print [1..] |
| 2026-02-19 21:07:12 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-19 21:07:08 +0100 | <yahb2> | [[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,... |
| 2026-02-19 21:07:08 +0100 | <gentauro> | % [[1..]] |
| 2026-02-19 21:07:08 +0100 | <tomsmeding> | you can trivially break it by doing |
| 2026-02-19 21:06:56 +0100 | <tomsmeding> | it works by setting the -interactive-print option in ghci so that values are printed with a custom function rather than Prelude.print |
| 2026-02-19 21:06:51 +0100 | califax_ | califax |
| 2026-02-19 21:06:31 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-19 21:06:25 +0100 | <tomsmeding> | it's just a character limit, yes |