psuedobrain

7 ms·

1. 1.▲
   by psuedobrain 8mo ago

   Slight nitpick, but isn't Agda based on the MLTT family instead of CoC family of languages?
2. 2.▲
   by psuedobrain 3y ago

   I think the question of whether field lines are real is more of a philosophical (of physics) question so it usually falls outside the scope of introductory material on E&M. However, some texts like Purcell and Morin do kinda take a stan
3. 3.▲
   by psuedobrain 4y ago

   am i the only one for which programming language textbooks, papers, blog posts, etc. in racket are really hard to follow? the fact that the languages that is being operated on often looks exactly like racket makes it really hard to separate
4. 4.▲
   by psuedobrain 4y ago

   CEK[1] machines are very clean way of implementing continuations or other features that can be implemented in terms of them in a language with no support for lambdas or closures. they are also reasonably fast too. i implemented a simple unl