benrbray

26 ms·

1. 241.▲
   by benrbray 5y ago

   Is there something like DefinitelyTyped for Python? TypeScript only became useful once the ecosystem reached a critical mass of type definitions available for popular libraries. At the moment the Python community seems pretty anti-static-t
2. 242.▲
   by benrbray 5y ago

   As someone who first learned to code with AS2/3, I agree it was quite disorienting when I first tried to make a few games with HTML5/JS. I do think you're not giving TypeScript enough credit -- I felt right at home the first
3. 243.▲
   We are switching to system fonts on May 10, 2021(meta.stackexchange.com)

   3 points by benrbray 5y ago|0 comments
4. 244.▲
   by benrbray 5y ago

   I'm most saddened by the people who spend their time writing plugins for Notion / Roam (and to a lesser degree, Obsidian), providing extra value for free to a non-free product that will profit off the free labor. (or rather, I&#x
5. 245.▲
   by benrbray 5y ago

   > They are not looking through the code but simply playing with the app on a range of devices. Hence, security theater.
6. 246.▲
   by benrbray 5y ago

   The "both sides" argument doesn't really hold up to scrutiny. The key factor is that there is no measurable cost to, say, conservatives, for conceding on LGBT rights--just general talk in the abstract about moral decay. Ther
7. 247.▲
   by benrbray 5y ago

   That's what I meant by circus as well, but it seemed like the person replying disagreed with me. We have some massive societal problems to deal with relating to wealth inequality, housing, and public health, but none of it seems to ma
8. 248.▲
   by benrbray 5y ago

   Just trying to understand what you're saying. My best guess is UI="Unemployment Insurance", QE="quantitative easing", 1040 is the tax form. What's the circus?
9. 249.▲
   by benrbray 5y ago

   It used to be that bread and circuses kept the peace. Turns out, we only need the circuses.
10. 250.▲
    by benrbray 5y ago

    I mean, they were all working the same jobs for 2-4 years before the pandemic hit. They experienced the decrease in productivity first-hand. And yeah, I'm sure the pandemic had am impact on the effectiveness of remote work. But I&#x2
11. 251.▲
    by benrbray 5y ago

    Among my early-20s friends, I don't think I've talked to a single person who thinks their office is running more effectively than it was before. If there is such a mountain of evidence, you should at least be able to point us to
12. 252.▲
    by benrbray 5y ago

    > after that the resume is useless Literally! I can count on one hand the number of interviewers who have asked me about my past work experience. The most important thing seems to be whether I can regurgitate various tree operations on
13. 253.▲
    by benrbray 5y ago

    For those like wondering, that's 40 states plus DC, PR, Guam, and Northern Mariana. The 10 states that did not sign the letter (either because they declined to sign or weren't asked to) are AL, AZ, AK, CO, FL, GA, IN, ND, PA, WV
14. 254.▲
    by benrbray 5y ago

    With prices constantly changing, how were people compensated at work? What were the dynamics of the job market during that time?
15. 255.▲
    by benrbray 5y ago

    Why do you think that is? I'm not too familiar with local politics. Generally, I believe studies have shown that banning cars from main street in small/medium cities generally increases business, but I've heard of a phenome
16. 256.▲
    by benrbray 5y ago

    I didn't say I was in Sendai. Human societies were designed to a human scale for thousands of years before cars started dividing us all up. American suburbia is one extreme, and Tokyo is another. Somewhere in between, I'd like
17. 257.▲
    by benrbray 5y ago

    I think cars are largely to blame for the sorry state of small businesses. Before moving from America to Tokyo, I had never lived in a place with anything even remotely resembling a walkable city center where you can easily browse and pick
18. 258.▲
    by benrbray 5y ago

    It's a matter of etiquette, and of boundaries. In-person conversations are definitely a net positive if your coworkers are well-mannered. Also, there's this new invention called "doors" that I wish companies would get o
19. 259.▲
    by benrbray 5y ago

    Sometimes I write the title down on a sticky note and put it on my desk before closing the tab. Then, a week later, I don't feel so bad about throwing it away. For things that I actually do intend to read later but just don't hav
20. 260.▲
    UnifiedJS: Content as Structured Data(unifiedjs.com)

    3 points by benrbray 5y ago|0 comments
21. 261.▲
    by benrbray 5y ago

    I use my own not-yet-ready-for-release app called Noteworthy [1], but here is a list of some of the roamlikes I find most inspiring: > Athens Research -- free and open source roam competitor made by someone who failed an interview for a
22. 262.▲
    by benrbray 5y ago

    I use roamlikes as a combined bookmark / note-taking system. I tend to spend a few minutes every day taking some interesting links from HN or elsewhere (that I may or may not read that day) and creating entries for them in my personal
23. 263.▲
    by benrbray 5y ago

    Some other knowledge-graph type projects for comparison: > Metacademy - "Package Manager for Knowledge" - https://metacademy.org/ > MathLingua - language for easily creating a collection of mathematical know
24. 264.▲
    by benrbray 5y ago

    See e.g. Baez & Stay 2009, "Physics, Topology, Logic, and Computation: A Rosetta Stone". [1] [1] https://arxiv.org/abs/0903.0340
25. 265.▲
    by benrbray 5y ago

    Oh yes I completely agree UMN deserves the ban. The code review process for Linux kernel commits clearly needs to be improved as well. Hence "both can be true".
26. 266.▲
    by benrbray 5y ago

    Isn't the idea that bad faith actors will always tell you they're acting in good faith? The researchers should be banned from contributing, but the Linux maintainers shouldn't be assuming all contributions are in good faith.
27. 267.▲
    by benrbray 5y ago

    You're thinking of "theorem".
28. 268.▲
    by benrbray 5y ago

    Actually, the pandemic has pushed many Japanese businesses (and the government) to finally deprecate the use of hanko/faxes for everything. Also, it's not just Japan. Fax machines are still integral to the American medical system
29. 269.▲
    by benrbray 5y ago

    > there would be weekly demands to build more rail capacity As an American living in Japan, part of the reason I moved here is that I think I'd die waiting for any sizable fraction of Americans to demand more rail capacity! I'
30. 270.▲
    by benrbray 5y ago

    Fun Fact: The author of Koka (Daan Leijen) wrote a LaTeX-flavored Markdown editor called Madoko [1] using Koka! It is used to render the "Programming Z3" book [2], for instance. [1] http://madoko.org/reference.ht