akkartik

41 ms·

1. 751.▲
   by akkartik 5y ago

   Ah right :) I thought perhaps you were alluding to something I said.
2. 752.▲
   by akkartik 5y ago

   But you're expanding the scope now. Yes, LP isn't going to guarantee you always preserve semantics in any change. But hopefully we can agree that it's not going to make it more difficult . Unit tests or proofs are extremely
3. 753.▲
   by akkartik 5y ago

   It does make me flinch every time it shows up on the HN frontpage. I wrote it at a time when I cared about getting on the HN frontpage. That said, though, I do still believe it and stand by it in all particulars. We'll see how I feel i
4. 754.▲
   by akkartik 5y ago

   Jonesforth is awesome. But it is not LP. Semi-literate systems are not LP. The essence of LP is to not be constrained by some language's compiler when deciding how to explain a system to another person. Now, lots of languages today are
5. 755.▲
   by akkartik 5y ago

   Why compromise?! I never said LP is bad. I just said we can do it better than Knuth does it. Knuth didn't take us to the promised land, but he did show us a path to it.
6. 756.▲
   by akkartik 5y ago

   That is, for me, the genius of LP. It's not just a "style" you garnish on top of your code. When you do LP you become more likely to reread the documentation as you maintain the program. Which makes it easier to keep it up to
7. 757.▲
   by akkartik 5y ago

   That's pretty funny, thanks for the feedback on my style. More on my worldview regarding readability: http://akkartik.name/post/readable-bad In particular: "In practice, a series of locally well-chosen names
8. 758.▲
   by akkartik 5y ago

   Thanks for all the quotes. This one's my favorite of them, I think. I've chatted with you in the past, and I think we largely see eye to eye. I love LP! I still use it. Here's an x86 VM I maintained for several years: https:
9. 759.▲
   by akkartik 5y ago

   The way I see it, the choice is pretty risk-free. I currently mirror repos on repo.or.cz (the original git host), codeberg.org, tildegit.org and sr.ht. (Feel free to suggest more!) I use pushurl extensively to transparently keep them all in
10. 760.▲
    by akkartik 5y ago

    I tend to agree with you about generic awesome lists, but this one seems useful as a reference. Bookmarking for the next time I can't remember what the Lindy Effect is called. ..wait, it doesn't include the Lindy Effect :D
11. 761.▲
    by akkartik 5y ago

    I work on ways to write programs that help outsiders understand their big picture (rather than insiders understand incoming contributions). The goal: you (any programmer) should be able to use an open-source program, get an idea for a simpl
12. 762.▲
    by akkartik 5y ago

    This is the closest thing to a teleology I believe in (some of the time). Why do anything? Because the aliens are coming. (I literally think of it using the same verb as you.) And then, death match time. Which may well get settled by utter
13. 763.▲
    by akkartik 5y ago

    Thanks! I'll do that. I plan to carefully try each of the solutions mentioned in this thread. (FYI, you can always get around the comment reply timer (I don't think it's a depth limit) by clicking on a comment's permalin
14. 764.▲
    by akkartik 5y ago

    Ah, yes, this ([c-]tab-always-indent) seems to work. On both my machines. I'm slightly leery of declaring victory, but this might do the trick for me. I think the major reason I care about this so much (I don't have any unique-sno
15. 765.▲
    by akkartik 5y ago

    No! I've somehow never encountered `tab-always-indent`, according to my detailed past records. It actually looks like `(setq tab-always-indent nil)` should get me pretty close, according to the documentation. "If the value is t (
16. 766.▲
    by akkartik 5y ago

    Update: now nothing is working. I think maybe it's because I switched machines from Linux to Mac. Nothing is working on Mac OS running GNU Emacs 27.2 installed using `brew install`. I'll circle back in a few hours and post a more
17. 767.▲
    by akkartik 5y ago

    Thanks a lot! Yeah, I'm already realizing I need to be careful what I wish for, because I can't tab complete anymore after C-x C-f. I think I'm going to follow the process outlined by CyberShadow: https://news.ycom
18. 768.▲
    by akkartik 5y ago

    Thank you! global-map did the trick for me, though I seem to have tried it a few years ago without success: https://news.ycombinator.com/item?id=29726398#29731027
19. 769.▲
    by akkartik 5y ago

    Here's what I have so far: * I installed Emacs 26.3 using `sudo apt install emacs` * I installed Melpa by following https://github.com/melpa/melpa/blob/master/README.md#usage * I installed use-packa
20. 770.▲
    by akkartik 5y ago

    Oh! Let me try that.
21. 771.▲
    by akkartik 5y ago

    Thanks! I'll look into this in combination with https://nullprogram.com/blog/2013/02/06 the next time I try out Emacs.
22. 772.▲
    by akkartik 5y ago

    Thank you! This is very actionable.
23. 773.▲
    by akkartik 5y ago

    I eagerly tried this out, and unfortunately it doesn't fix the biggest stumbling block for me: Emacs's tab behavior. Coming from Vim, I never . ever . want to hit Tab and see nothing happen. Regardless of how strongly my editor
24. 774.▲
    by akkartik 5y ago

    These days Twitter can't even show the 280 characters of a tweet without JavaScript.
25. 775.▲
    An Algorithmic Solution to Insomnia (2017)(ilya.sukhar.com)

    109 points by akkartik 5y ago|33 comments
26. 776.▲
    by akkartik 5y ago

    The flip side of getting great performance is all the exposure to security vulnerabilities. Git seems to have an excellent security track record: https://www.cvedetails.com/vulnerability-list/vendor_id-4008... However,
27. 777.▲
    by akkartik 5y ago

    Approximately. Moral hazard typically refers to sins of commission. Deliberately taking on more risk because you're insured. Here I'm thinking more of sins of omission. You just forgot to do something. You didn't have enough
28. 778.▲
    by akkartik 5y ago

    To reiterate, I'm not saying there's malicious intent in any single bug. Yes, billing errors don't lead to more revenue for the firm. I'm describing rather a systemic bias in incentives for the people doing the work (pro
29. 779.▲
    by akkartik 5y ago

    It's a bug, but it's also an example of what I think of as differential accountability : * Bugs in the bot inevitably assign ownership to the writer rather than from the writer. * Bugs in the billing system invariably overcharge
30. 780.▲
    by akkartik 5y ago

    "The main thing we know about the QHL’s software is that it is large and complex enough to defeat a years-long “software archeology” effort directed at determining whether the nodes can be trusted (in the end, they cannot)." &q