picardo

7 ms·

31.
by picardo 1y ago
Agreed on both points. In my middle age, I've even considered starting drinking again so that I may have a reason to go to the only place where people hang out in my neighborhood, which is obviously a bar. The one and only social activ
32.
by picardo 1y ago
Mixed use zoning is quite common in major American cities. It's much more complicated to implement than Euclidean zoning, though, so I assume it faces some adoption challenges in smaller cities.
33.
by picardo 1y ago
I'd be interested to see an update to this study in the coming years. Starbucks has been pivoting towards take out and mobile orders and removing tables and chairs entirely from some of its stores lately.
34.
by picardo 1y ago
Thanks. I bound it to double up key in zsh. > bindkey '^[[A^[[A' atuin-up-search Works much better now!
35.
by picardo 1y ago
Is there a way to change the key binding of the search screen? I'm too attached to using the up key to recover the last command I used, and it's a little jarring to now have to click tab from the Atuin search interface. It adds a
36.
by picardo 1y ago
Sure, AI makes writing code easy, but code review remains a bottleneck. The individual coders are finding ways to use AI to improve their workflows, but as long as organizational culture remains stuck in the old ways of reviewing code, the
37.
by picardo 2y ago
I like this. It would be interesting to use it for when I need to use authenticated browser sessions.
38.
by picardo 2y ago
This was about 7 years ago. Maybe things were different then? But yeah it did strike me as odd so that’s why I didn’t forget it.
39.
by picardo 2y ago
Someone told me FaunaDB the company had a strict "no one gets fired" policy. However, they also hired a few toxic people, and that created a dilemma for some folks because it was either leave or learn to tolerate toxicity.
40.
by picardo 2y ago
Discovering array languages in the last year was one of the great joys of my programming career. They've made me see my work differently and made me a better programmer in general. If only I could find good reasons to use them for more
41.
by picardo 2y ago
Sounds like you're looking for advice on problem solving. I don't consider myself truly great at solving problems by any means, but I found these books helpful to me in analyzing problems: - Are Your Lights On?: How to Figure Out
42.
by picardo 2y ago
> what OS you use and how much of your software you use daily have you read through the source code of? Very few. It depends on the data I need to store in the program. I don't store sensitive data in Figma or VSCode, so I don'
43.
by picardo 2y ago
> Because as soon as those keys aren't available (either because the endpoint no longer exists, or you cannot connect to the endpoint for whatever reason (like being offline)), you can no longer access your data. The encryption key
44.
by picardo 2y ago
> only with trusted code That's a big assumption. Have you read all the code, and the dependencies of the dependencies of your code? If you haven't, how do you know it can be trusted? What if there is a backdoor in an obscure d
45.
by picardo 2y ago
> This is what we need more often from our software, especially from software that works with sensitive data. Storing sensitive data in local storage makes you vulnerable to XSS attacks and Man-in-the-Browser attacks. You're exposin
46.
by picardo 3y ago
It's not a long amount of time considering the rewards. Many of the second or third round "interviews" were actually mini projects that took weeks of effort, as well.
47.
by picardo 3y ago
It took me 8 months to find a job as a frontend engineer at the top of the market in 2021 with 15 YOE. I was interviewing every day, and most of them were positive, but they didn't bite. At the end of the day, you never know why someon
48.
by picardo 3y ago
This is more of a meta skill, but "learning to learn" was a game changer for me. For a long time, I had approached learning in a set and done kind of way, i.e. I'd read and immerse myself on a new topic, declare I'd lear
49.
by picardo 3y ago
Agreed. Alloy IDE is pretty bad. I tried using external tools like [Sterling]( https://sterling-js.github.io/ ), but they still rely on the IDE for some things.
50.
by picardo 4y ago
Lazy journalism. They're all tech companies and all tech companies have the same business model, of course.
51.
by picardo 4y ago
Same here. I drank the cool aid a few years back, and started using fp-ts in my frontend projects, hoping to use algebraic data types regularly. But today all I use is the Monad. I can't find any motivation to write abstract algebra to
52.
by picardo 4y ago
I think it's more helpful for certain tasks, such as learning a new language, than others, such as creating a complex document. I've been using handwritten notes to improve my Korean recently, and I've noticed that I can reca
53.
by picardo 4y ago
Exactly. There are far too many people who are ready to wave their pitchforks around on claims made with the slightest evidence. I would have thought HN would have a higher burden of proof for such claims than the rest of social media lands
54.
by picardo 4y ago
> Seems like a money printing machine to me. Only if the creatives are making their money on their platform . Since Patreon's entire business model is based on taking a cut of the revenue artists make on their platform, they don&#x
55.
by picardo 4y ago
So it's like an operating system for cloud workloads?
56.
by picardo 4y ago
Dafny's verification system can be too rigorous for high performance and rapidly changing codebases. S3 team had a paper[1] last year on how they verified ShardStore using a lightweight formal verification system. Since the system was
57.
by picardo 4y ago
The hype is well-deserved. The Automated Reasoning Group is doing some remarkable things. Zelkova[1] is making policy compliance a breeze. And the institutional support for Dafny[2] -- a verification aware programming language -- is bringin
58.
by picardo 4y ago
Agree with you. Nudging is a type of user experience design. UX designers nudge with every design decision they make, and the effectiveness of those decisions is quantifiable. So it's hard to argue that all nudges are ineffective, just
59.
by picardo 4y ago
I'm not very familiar with how "nudging" is defined in the behavioral economics, and perhaps someone can enlighten me, but personally I find it hard to believe that it can be disproven that the way a choice is presented doesn
60.
by picardo 4y ago
YouTube has a great personalization algorithm and a lot of content. Content and personalization make up a virtuous cycle, and drive higher engagement rates, which drives ad rates higher. Medium has neither the scale, content nor the engagem

More ›