chubot

63 ms·

1. 661.▲
   by chubot 3y ago

   Oh yeah for sure, I can only imagine Adobe in its early days was just as exceptional as Microsoft or Apple back then. I would have thought another Google would come along in the last 25 years, but weirdly/arguably it was Apple, Amazon,
2. 662.▲
   by chubot 3y ago

   What's also incredible about early Google is how FAST the company created unique technology that led to decades-long profits. The company IPO'd in August 2004, less than 6 years after it was founded. I think the market cap was ar
3. 663.▲
   by chubot 3y ago

   Yes definitely. Though in this case it's kinda awesome that he mayor insisted on some accomodations for his constituents? He could have just been bribed by the superhighway folks and ignored his constituents, and maybe they would have
4. 664.▲
   by chubot 3y ago

   That’s funny, I’m not vegetarian but I like veggie burgers, and the shake shack one is the one I like I think they have both plant meat and real veggie burgers at different shake shacks, and I always look for the real one
5. 665.▲
   by chubot 3y ago

   FWIW the JSON/JavaScript design is roughly where we're going with Oils We have JSON support for literal data, pure data But you can also interleave code and data in what turns out to be a very Lisp-y fashion, which is useful for c
6. 666.▲
   by chubot 3y ago

   FWIW this wiki page I started may help frame discussions like this: Survey of Config Languages - https://github.com/oilshell/oil/wiki/Survey-of-Config-Langua... It puts a bunch of languages in 5 cateogires.
7. 667.▲
   by chubot 3y ago

   Thanks for the link. I watched the first part, and an interesting story/claim is that before Cyc started, many "smart people" including Marvin Minsky came up with "~1 million" as the number of things you would have
8. 668.▲
   by chubot 3y ago

   Also, Twitter already did this bait and switch. https://www.cnet.com/news/social-media/twitter-to-pay-150-mi... Twitter to Pay $150 Million Fine Over Using Phone Numbers for Targeted Ads FTC says personal data
9. 669.▲
   by chubot 3y ago

   Yeah I guess the problem is that WASM has only i32 i64 f32 f64, so there's no consensus on what a char* argument or return value looks like? I'm a little surprised that hasn't been worked out by now Most C structs seem to hav
10. 670.▲
    by chubot 3y ago

    I agree with you, the language design implications are just as interesting / important. What I imagine the problem statement as is to make a definition like this: // layout.h struct MyRecord { ... } #define N 1
11. 671.▲
    by chubot 3y ago

    I dispute that, if the metric is a chess game between an ant and a human
12. 672.▲
    by chubot 3y ago

    I agree with you, and did exactly that by generating C++ from typed Python -- https://www.oilshell.org/blog/2022/05/mycpp.html However the usual counter-argument is that you're inheriting horrible C&#x2F
13. 673.▲
    by chubot 3y ago

    I maintain that python and javascript are semantically the same thing in terms of the properties that make ahead of time compilation With respect, this attitude goes back at least 15 years, and usually comes from compiler people who don&#
14. 674.▲
    by chubot 3y ago

    I glossed over this the first time around, and it seems like others did too, but once you add the following constraint, it takes many languages off the table -- Java, basically all Lisps, Julia, OCaml, etc. > Ability to use static dispat
15. 675.▲
    by chubot 3y ago

    Great examples, thanks!! I typed them all into the TypeScript playground. I agree this is weird, and seems to follow from TypeScript's heritage as "trying to describe whatever dynamic JS does" I mean that's probably wh
16. 676.▲
    by chubot 3y ago

    I'm not the author, but my impression is that he wanted a single compiler that both compiles fast and generates fast code. I think it's a good goal, although if you take into account total engineering effort, my suspicion is that
17. 677.▲
    by chubot 3y ago

    There's also this community wisdom, echoed in the article, that python can't be made fast because the runtime extensible language semantics get in the way. Somehow that is known to be true despite javascript having the same prope
18. 678.▲
    by chubot 3y ago

    Judging by the example of Babashka, Graal apparently does give you a "huge opaque runtime", and also there seem to be severe limitations on loading code. I think it basically has to include all the Clojure code up front, which ma
19. 679.▲
    by chubot 3y ago

    Yes, that was my initial reaction to this post. I like the framing a lot, and the references to copy-and-patch, Umbra, and so forth are great. But my suspicion is that rather than trying to make the hard tradeoff, it may be less effort to
20. 680.▲
    by chubot 3y ago

    I actually want the imperative Python style, but with sum types. So it's more like "Rust with GC" I suppose. I used to write in a functional style, and then I wrote Python for decades, and my brain flipped. Now I like imper
21. 681.▲
    by chubot 3y ago

    I think if you're writing code from scratch, this doesn't really apply -- I'm talking about prototyping language implementations without any libraries at all, sorta like you would do with OCaml from a textbook (e.g. TAPL by P
22. 682.▲
    by chubot 3y ago

    Me three! I came from Python (now with MyPy), learned OCaml and liked some aspects, was intrigued by Reason -- and also sad it seems to be in limbo. I also miss early returns, and break/continue. I would like "modern ML" &#
23. 683.▲
    by chubot 3y ago

    Ah thanks for the answer, funnily enough that's what I recently read here - https://dev.realworldocaml.org/gadts.html They have a bool / int expression language example. (And funny thing I'm coding up such a
24. 684.▲
    by chubot 3y ago

    This part is interesting: A good concrete example here is a compiler project I was involved in where our first implementation had AST nodes which used a type parameter to represent their expression types: in effect, this made it impossible
25. 685.▲
    by chubot 3y ago

    Right, that's why moving collectors are only used in the young/fast generation, for reasons of space and time. - you don't want the 2x space overhead for your entire heap - I don't know that any copying/moving GCs a
26. 686.▲
    by chubot 3y ago

    Sure, most of the links are in the posts I wrote about it: https://www.oilshell.org/blog/2022/10/garbage-collector.html https://www.oilshell.org/blog/2023/01/garbage-collector.h
27. 687.▲
    by chubot 3y ago

    I haven't used the Files app in awhile, but I think it might have special permissions? I know I had a real hard time deleting music to free up space (As mentioned, I don't think the Unix security model would have been enough -- n
28. 688.▲
    by chubot 3y ago

    Yeah it's not really a good comparison, but I guess my point is that when you have that much code, it's not a surprise that it's hard to get work done, and the products work poorly
29. 689.▲
    by chubot 3y ago

    Yup, I cited that Unix vs Google video in my post The Internet Was Designed With a Narrow Waist https://www.oilshell.org/blog/2022/02/diagrams.html A narrow waist is an idea or interface that gives you O(
30. 690.▲
    by chubot 3y ago

    Android is a great NEGATIVE example of the Unix philosophy! The code is based on the Linux kernel, which might make you think it's Unix, but isn't Unix [1] An OS is where 3 things meet: code, data, and people. AKA apps, files, an