Cass Alexandru / is on Nostr

PhD student with Ralf Hinze in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend #meditation Yin #maker 🇪🇺an

Last Notes

2024-12-07 19:24:53

- reply

@nprofile…fa4k I also watched the whole video and do agree that the one point she does seem to miss is that where he comes across as the smart guy he explains how it is often by coincidence and not bc he's claiming to be super smart, and this is an experience I've also had – sometimes one has some particular bit of in-depth knowledge on a topic from which others falsely conclude that one knows the whole topic to that level of depth, whereas this depth is quite narrowly confined.

2024-11-25 22:02:23

- reply

@nprofile…klk6 adding to this (for future reference): the number that will be generated for the column may be some digit which may not necessarily correspond to the column number one sees visually, so it's best to first see what number gets generated, and then copy that number back over to the source

2024-11-25 22:02:23

- reply

2024-11-25 21:16:02

- reply

@nprofile…klk6 ok, I saw that mentioned in the manual as well, I guess the only issue is that that isn't valid Haskell code anymore, so ghci doesn't load it (at least when inside of a `code` environment, idk if bird ticks are different?)

2024-11-25 21:16:02

- reply

2024-11-25 16:03:58

@nprofile…klk6 quick lhs2tex question: Do you know how I would go about aligning the closing paren with the word boundary of y in the line below?
( a -> b ) -> a -> c
bar x -> biz y
(also, I have another more obscure question of less importance, but when I try to use \aligncolumn{2}{c}\aligncolumn{4}{c} I get the error \mathit allowed only in math mode. (this is with the default style, which is "poly", iirc))