Gregory's Server
|
Fun little documentary on the design of the Newton Shared a day with an old friend from Montreal who's visiting and our little winter sailing community. We went to watch the waves crash violently on the ocean side for a bit. We made tourtiere gyozas for dinner, it was fabulous, we took some pictures and some notes, so we can turn it into a recipe. I hope everyone is having an enjoyable end of year. @neauoire 😱 I am now salivating at the notion of "tourtière gyoza", that may be the perfect fusion dish. Put some music, made some buckwheat tea, hid under the blanket and implemented a little base1 arithmetic system(church encoding) in purelisp.  An abstraction inversion is the phenomenon that happens when "a simpler notion is defined in terms of more complex notions". The cost of abstraction inversion is paid by high-overhead in implementation, difficulty in semantic analysis and proofs, mismatch of development tools, general bloat, complexity and unsafety. @neauoire That's a good list of costs. Where I work there is a general habit of sending in very large and complex data structures as input to functions (Java), not because the function needs all that data, but because the caller generally already has that data structure prepared. The long-term problems that the code experiences because of this habit pretty much correlates exactly with your list of costs... I ought to take some of this and turn it into evidence. Sopor Aeternus bringing the cheers  @neauoire without social support, girls without a family or husband would have no way to get resources other than by selling their body. Keeping warm in the winter :drake_dislike: compiling rust programs   @neauoire Dialyzer, the static analyzer for Erlang, used to be so resource-intensive that I would kick it off when I got into the office in the morning to warm the place up a bit. Compiling to a textual representation has some advantages in terms of output size, counter-intuitively, even tho the output has spaces(ascii characters and watever), it requires a bit more legwork during parsing but I can imagine a version of this where a 64-bit representation bytecode output would be much longer.
Show previous comments
 @neauoire I had dinner at a chicken bar last night. Man, I had no idea drunk roosters could be so obnoxious. AMVs have improved a lot since I was a teen and spent my evenings make those. :eyes_fast: Writing the first graphical Lisp(that I'm aware of) for uxn. I realized that Varvara's device system is ideal for handing this sort of IO, by assigning program expressions to vectors and passing the device memory as environment variable. So, (on-mouse state x y z) triggers during a Mouse/vector, etc..
Show previous comments
@neauoire Nice. Did quite a lot of fun graphical stuff in AutoLISP some 30+ years ago. Entered memory lane for a while there.   @neauoire somewhat compatible track I was liking recently: https://gammaintel.bandcamp.com/track/little-mirror-man 🤩 I've collected a bit of documentation for the lexically scoped, purely functional subset of Lisp(sometimes called Pure Lisp?) with a focus on its implementation on the SECD runtime.
Show previous comments
  |
@neauoire
(if (this (*happening*))
(so hyped)
(just hyped))