GregDavidson

6 ms·

1. 31.▲
   by GregDavidson 2y ago

   bash, ksh, zsh and a few other shells have the awesome feature that if you call them with a link named "sh" they accept Posix Bourne-shell syntax. This means you can make them your /bin/sh system shell which will be used
2. 32.▲
   by GregDavidson 2y ago

   I didn't connect miniKanren to Scheme. I said "Host Language." I did suggest the value of a multi-paradigm host language.
3. 33.▲
   by GregDavidson 2y ago

   Oops: s/visible/viable/ Hydrogen fuel cells make more sense for aircraft (weight) and larger vehicles like trucks because of scaling (larger tanks are more efficient, etc.) and fleet advantages (depot refueling). It is amazi
4. 34.▲
   by GregDavidson 2y ago

   By allowing you to use the features of the host language to complement the features of miniKanren. Having good support for multiple programming paradigms is better than trying to make one paradigm fit all needs. Poplog[1] was an earlier at
5. 35.▲
   by GregDavidson 2y ago

   Prolog predicates are not first class values. Data structures are not abstract. Compare both with any modern lisp or better with functional languages. Mapping and filtering is awkward. Arithmetic is awkward. Indexing and search strategi
6. 36.▲
   by GregDavidson 2y ago

   I keep hoping that the amazing engineering feats going into this boondoggle will be applied to applications where hydrogen is visble, e.g. larger vehicles.
7. 37.▲
   by GregDavidson 2y ago

   I have a long standing love affair with Prolog and frustration for its failure to grow. Prolog has poor features for abstraction and is actually not declarative enough! Prolog's limitations can be great for starting to get the paradig
8. 38.▲
   by GregDavidson 2y ago

   SQL with CTEs is also Turing complete, which is not necessarily ideal. The Rule of Least Power https://en.m.wikipedia.org/wiki/Rule_of_least_power suggests avoiding OP languages. Less powerful languages can be more t
9. 39.▲
   by GregDavidson 2y ago

   I want ALL of what Emacs provides, much more than any other "editor" - actually text-centric programmable productivity platform. And I want more than what Emacs provides, e.g. non-destructive editing and collaboration. So yes, t
10. 40.▲
    by GregDavidson 2y ago

    For finding awesome people, the BurningMan community has been the most effective for me, YMMV! For maintaining quality relationships, e.g. with my late wife, the most effective thing was studying NVC together with a small group of friends.
11. 41.▲
    by GregDavidson 2y ago

    1. I would like higher-level datatypes for key abstractions, such as (1.1) Marks -> StableRegions - reference specified text within a buffer - continue to reference same text despite insertions or deletions (1.2) Strings & characters
12. 42.▲
    by GregDavidson 2y ago

    Thanks to influence from Dijkstra, Wirth, et al in my formative years, when I program I construct a (usually informal) correctness proof simultaneously (well, kind of interleaved) with my construction of the code. The two constructions ass
13. 43.▲
    by GregDavidson 2y ago

    The UCSD P-System is the ancestor of many later byte-code VMs: https://en.m.wikipedia.org/wiki/UCSD_Pascal
14. 44.▲
    by GregDavidson 2y ago

    My life is in OrgMode structured plain text files which are themselves managed by git along with scripts for managing link integrity. This works fairly well but I dream of replacing all of that with relational databases and knowledge repres
15. 45.▲
    by GregDavidson 2y ago

    I could really use a nice open and modular low power home office server with ecc ram and (optionally?) suitable to be a file server. It would be awesome if many of its components could be swapped with the laptops.
16. 46.▲
    by GregDavidson 2y ago

    I'm more interested in how they're automating the manufacturing of their robots. Robots making robots driving the learning curve.
17. 47.▲
    by GregDavidson 4y ago

    One of the disappointments of living in the USA is that when I buy that Gouda imported from the Netherlands, etc. it's actually a special (and not very good) product made for the American market and not sold in Europe. It's a guar
18. 48.▲
    by GregDavidson 4y ago

    Inline SQL functions so I can modularize my code without a massive performance penalty. Foreign key references to system tables so I can reliably store, e.g. function oids.
19. 49.▲
    by GregDavidson 7y ago

    I recommend studying the short book "Treat Your Own Back" by Robin McKenzie and also finding a physical therapist familiar with his techniques. I was in similar distress and it was fairly quickly resolved by these techniques and