tikhonj

6 ms·

1.
by tikhonj 4d ago
Row types are great. I'm doing a PureScript project right now and absolutely love having row polymorphism. I'm also a fan of effect systems, although I haven't used them as much. Having an IO type in Haskell is great, but the
2.
by tikhonj 6d ago
Neat, I had never heard of those.
3.
by tikhonj 6d ago
That's a big if. I've learned far more from settings and courses I enjoyed than from ones I hated. I expect the causation flowed in both directions, and there's no way I'm unique in that regard.
4.
by tikhonj 6d ago
In my big box of cables I have, among other things, a double-ended USB-A cable. I understand that this is absolutely not standards compliant, and I have absolutely no idea of where I got it from. I have never used it. But it is a thing that
5.
by tikhonj 7d ago
If driving is dangerous and carries a bunch of negative externalities, shouldn't we expect "good people" to look for alternatives? Not self-driving cars, necessarily, but maybe transit and walking and biking. And, of course
6.
by tikhonj 9d ago
It really isn't. You could—and we did!—solve that problem by letting people defer property tax payments or borrow against their equity. California literally has a property tax postponment program for seniors. If we just wanted to keep
7.
by tikhonj 9d ago
I do own a house in California and I pay closer to $30k in property taxes. The previous owners of my house paid $7k. My neighbor—who has a bigger, more expensive house!—pays $9k. It's pretty clear that this kind of tax policy is going
8.
by tikhonj 9d ago
Prop 13 massively distorts the real estate market and creates some strong incentives for home owners. Those distortions and incentives would go away regardless of whether abolishing Prop 13 led to a net increase or decrease in total taxes
9.
by tikhonj 13d ago
I made Claude write noöp instead of no-op and it's still amusing a couple of days later :P
10.
by tikhonj 15d ago
They're different situations for the person, but not for the banking system. And reading some lack of empathy into a comment about the banking system is wholly unwrannted.
11.
by tikhonj 17d ago
Let's sort git branches by quality, better branches towards the top, slop at the bottom.
12.
by tikhonj 17d ago
I worked at a startup that did this and it was... totally fine? Like, we hired a guy who knew how to set Kubernetes up, he spent like a week or two setting it up, and then it was totally solid and the development experience was great. I was
13.
by tikhonj 17d ago
This is one of the things I like with NixOS: it's easy enough to add new packages and patch existing ones that stuff like this can either live in the core nixpkgs repo or be managed through some community-supported overlay. (Great exam
14.
by tikhonj 18d ago
Why not put the content from the md file in the code as documentation? Ideally, the code can actually help you structure that information. I've written a bunch of Haskell and OCaml like this, where the types in each module let me struc
15.
by tikhonj 18d ago
You can never understand complex adaptive systems to anywhere near 95%, and leaders believing that they can—that the map is the territory—leads to some pretty bad dynamics.
16.
by tikhonj 18d ago
You can also exercise your voice by... talking. That might mean trying to convince leadership, it might mean trying to coordinate a bunch of people who agree with you but don't want to act on their own, or, who knows, it might mean som
17.
by tikhonj 18d ago
Part of the value is to help the people stuck in bad cultures realize that it's the culture that's broken, not them. It's easy to lose sight of that! If you can recognize it, it's easier to do something about it whether
18.
by tikhonj 23d ago
> You couldn't just put something down, and walk away. This seems like a pretty big problem. A lot of tasks should be put down. And, on the flip side, you absolutely need room for people to do things without needing to publicly ju
19.
by tikhonj 23d ago
Arithmetic skills. And they probably have?
20.
by tikhonj 24d ago
There are a lot of known problems... but there are also a lot of unknown, or at least unrecognized problems. Some of those unrecognized problems are going to be more useful and higher-leverage than recognized problems. The same "being
21.
by tikhonj 25d ago
I had some typing classes in middle school but they never stuck. The only reason I became a reasonably fast and confident typer—which ended up being amazing for everything from work (emails and Slack more than code!) to HN to writing a lot
22.
by tikhonj 26d ago
The exams aren't the thing that matter, they're an experiment to measure the thing that matters. Which, presumably, still matters at work!
23.
by tikhonj 27d ago
I was in the same position in high school and college and then—over a decade later!—I got diagnosed with ADHD and everything made a lot more sense. Just having the diagnosis on its own made me happier because it let me understand what was h
24.
by tikhonj 28d ago
I mean, in a lot of these cases people take those jobs because they're able to work remotely initially... and then get hit with an inflexible, top-down RTO mandate once they've settled into the role.
25.
by tikhonj 28d ago
Too bad so many companies insist on top-down management practices that actively make this harder: planning and tracking work in individually owned tickets, individual stack-ranked performance evaluations, "productivity" metrics th
26.
by tikhonj 28d ago
Exactly the same thing happens with in-office work. I've certainly had that experience! But it's hard to talk about because in-person work is the "default", and it feels like if you have problems with that it's a si
27.
by tikhonj 28d ago
If I get lucky in IPO land I'll have my eye on a Jaeger-LeCoultre watch with a meteorite dial, so I guess things have not changed all that much in the last 3500 years :P
28.
by tikhonj 1mo ago
My personal view is that programming languages are amazing tools for understanding. Some more than others, but even the worst—the most verbose, the lowest level—are better than they have any right to be. So I think that we are leaving a l
29.
by tikhonj 1mo ago
Bloomberg is big enough that different aspects of the system are going to be absolutely key for substantial subsets of its customers.
30.
by tikhonj 1mo ago
It's a sign of how much distribution matters to VCs . Whether that is enough in the medium- and long-term is unclear. I'm a bit skeptical but not very confident either way... which is part of the reason I am not a VC!

More ›