darzu

16 ms·

1. 121.▲
   by darzu 7y ago

   I for one am grateful for the extra scrutiny iOS apps get. I resent that desktop apps can basically reach into any part of my computer, take 20 seconds to close when I tell them to exit, prevent my computer from shutting down, hog all my re
2. 122.▲
   by darzu 7y ago

   No, from my reading, this uses the opposite, it uses the fact that the halting problem is unsolvable to show that MIP* cannot solve harder problems than RE, which are a class easier than nontrivial semantic questions and the halting problem
3. 123.▲
   by darzu 7y ago

   I would argue that Haskell lets you respond to nebulous requirements better than almost any other language, because refactoring is so much easier and safer. I self identify much more with being pragmatic and goal-oriented than math-y and pe
4. 124.▲
   by darzu 7y ago

   For others looking for Factorio-like games, I highly highly recommend Satisfactory.
5. 125.▲
   by darzu 7y ago

   Note that self-reported numbers like that tend to be biased towards those who are optimizing for time or are more experienced.
6. 126.▲
   by darzu 7y ago

   My dream is a "Open in VSCode" button on each GitHub repo that would create a container dev environment (either locally or hosted), and that environment would be ready to run all test, CI, localhost etc. You could trivially create
7. 127.▲
   by darzu 7y ago

   Seems similar to Workflowy which I've been using for 6 years and I'm very happy with.
8. 128.▲
   by darzu 7y ago

   I bought this one: http://www.dasungtech.com/ and it works surprisingly well. Definitely good enough for coding IMO. The only issue I had is that the drivers for Mac were very unreliable (but this was >1 yr ago). My moti
9. 129.▲
   by darzu 7y ago

   * side-effect free programming (aka functional) will continue to take off; most new languages will embrace read-only by default * React will still be very popular * Typescript will be 2x as popular as today * Rust will grow and be regarded
10. 130.▲
    by darzu 7y ago

    > - The next big thing will be something totally unknown and unpredictable now, as user-generated content and social networking were in 1999. However, when it does appear, various 'experts' on it will spring from nowhere to lec
11. 131.▲
    by darzu 7y ago

    > Functional programming / dynamic languages will go out of fashion. Glad this didn't happen. Also it's weird to me to equate functional & dynamic like that.
12. 132.▲
    by darzu 7y ago

    I really wish articles like this put these numbers into a table or graph. Does anyone know of a table comparing train punctuality?
13. 133.▲
    by darzu 7y ago

    Thank you, this is very helpful! I can never keep align-items vs justify-content vs align-content vs justify-items straight and this helps (although it's missing the last one, maybe that only applies to grids).
14. 134.▲
    by darzu 7y ago

    DuckDuckGo is still not ready to be my daily driver. Here's my last significant Google search: "monaco IndentAction.Indent" The documentation I was looking for[0] was the: - 1st hit on Google[1] - 17th hit on DDG[2] but to be
15. 135.▲
    by darzu 7y ago

    Lobbyist are clever. It often isn't the money directly given that matters, but the threat of giving money to the opponent.
16. 136.▲
    by darzu 7y ago

    IMO, yes. Similar to the benefits of learning Haskel as a Javascript programmer, there are ideas better embodied in Coq that translate to all languages. For example, the idea of strengthening & weakening the inputs/outputs of your
17. 137.▲
    by darzu 7y ago

    Except who will know?
18. 138.▲
    by darzu 7y ago

    Great to know, thanks!
19. 139.▲
    by darzu 7y ago

    Which model is the "Magic Keyboard 2"? I don't see any keyboard products in the apple store with a "2" Is it one or both of these? - https://www.apple.com/shop/product/MRMH2LL/A/m
20. 140.▲
    by darzu 7y ago

    Hacks always start as "infeasible". But eventually the technique is refined and there's a kit for $20 that can let anyone do it by following simple instructions.
21. 141.▲
    by darzu 7y ago

    This delta-v map suggests roughly 2x vs. LEO: https://www.reddit.com/r/space/comments/1ktjfi/deltav_map_of... Although it might be significantly easier with gravity assists.
22. 142.▲
    by darzu 7y ago

    Or use Unity?
23. 143.▲
    by darzu 7y ago

    There are no goals to target WebAssembly right now. STS is currently targeted towards MCUs, which makes it more comparable to uPython or AVR than AssemblyScript.
24. 144.▲
    by darzu 7y ago

    > So? Is there a reason left then to use Typescript instead of C or C++? I cannot think of one. How about memory safety and type inference?
25. 145.▲
    by darzu 7y ago

    Like you said, STS and AssemblyScript have very different goals. In fact, STS is generally not faster than vanilla JS on V8. STS is primarily targeted at MCUs which need a low space and memory footprint while still being reasonably performa
26. 146.▲
    by darzu 7y ago

    I wouldn't say all the JS mainstays are gone. In fact, most STS programs have little to no type annotations, so it very much looks like javascript still. The dynamic parts like eval() and "new function" are gone, but the othe
27. 147.▲
    by darzu 7y ago

    Nothing is wrong with TypedArray. This might be added in the future. Currently it hasn't been necessary for the use cases STS is going for (educational programming for MCUs).
28. 148.▲
    by darzu 7y ago

    Hey HN, I work at MSFT on MakeCode.com [5] which is the primary user of Static TypeScript. Happy to answer questions. Michal and others who worked on STS more directly will probably be online in a couple hours. One important clarification:
29. 149.▲
    by darzu 7y ago

    No, it takes less pressure to active the touch bar than physical keys.
30. 150.▲
    by darzu 7y ago

    There's still a dev fixing bugs and improving perf full-time, but it's not getting drastic changes. More people are using Kodu now than ever before.