Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
lmm
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
40 ms
·
931.
▲
by
lmm
1y ago
Yes - or, being more principled, you can tell it to only use mainline commits (first parent) if landing on a whole PR is what you want.
932.
▲
by
lmm
1y ago
> git-bisect works best when every commit works, contains a single idea, and stacks in a linear history. That works best in a publicly visible branch, and is why it is helpful to squash an entire pull-request into a single, atomic commit
933.
▲
by
lmm
1y ago
> you are using a super set of letters (or am I reaching too far) You're not though. The original letters are not available, so uppercase is not a superset of lowercase. (Unless you're just stating your opinion that the set of
934.
▲
by
lmm
1y ago
Warts are the product of caring about backwards compatibility with initial design mistakes. So I'm not sure they're a reliable heuristic for better choice of technology. E.g. YAML is definitely much wartier than JSON, but I think
935.
▲
by
lmm
1y ago
Why do you care? Small commits are great for git bisect, and having to come up with a fancy message can break your flow. Code reviewers generally review a whole PR diff, not the individual commits. Fussing about commit messages smacks of pr
936.
▲
by
lmm
1y ago
Well, maybe fast-food restaurants were a low-interest-rate phenomenon or whatever the equivalent term is (a high-labour-supply phenomenon?). If that kind of business can't afford good enough working conditions to get a decent supply of
937.
▲
by
lmm
1y ago
They've been gradually making it more difficult (you now have to use a backdoor route with a machine access token if you want to register a new sending address).
938.
▲
by
lmm
1y ago
It's a .inc domain name, are those worth anything?
939.
▲
by
lmm
1y ago
For the overwhelming majority of day-to-day, line-of-business software, the nerds are a commodity and the project succeeds or fails on how good or bad the business folks are. They should get the blame for the failures but also the credit fo
940.
▲
by
lmm
1y ago
> Not playing is not an option, and being obstinate is a good way to get fired. On the contrary, you can absolutely opt out of this stuff if your skills are valuable enough. Maybe you could get a bit more money or status by participating
941.
▲
by
lmm
1y ago
> Going back to table layouts? Nested tables and inline styling yeah. It works better. It's always worked better, unless you're handwriting your HTML, and virtually no-one does that anymore.
942.
▲
by
lmm
1y ago
> The majority of marriages end in divorce. This doesn't mean that I should treat all prospective partners as someone I will eventually divorce. That is not healthy for me, the people I interact with, or my future. You should be awa
943.
▲
by
lmm
1y ago
> if I had more experience implementing dependently typed languages, then perhaps I would not find it so weird, as it really just makes type constructors similar to functions, which they would be in a fully dependently typed language. Ye
944.
▲
by
lmm
1y ago
What would it take to get people to abandon the whole thing? CSS has never delivered on any of its promises, yet somehow people still defend it.
945.
▲
by
lmm
1y ago
Discoverability is a big one. People really underestimate the value of having a menu, an actual fucking menu, listing all the functions you can use. Typing and getting autocomplete is a poor substitute, and you don't get even that in S
946.
▲
by
lmm
1y ago
I like to call it one's capitalist credit score. It's different but very much analogous.
947.
▲
by
lmm
1y ago
It hasn't been done, because it's impossible. You might get the first 80%, maybe even the first 90% if you had enough money to hire top designers for several years, but you'll never reach Slack level polish.
948.
▲
by
lmm
1y ago
> That is not even wrong. You are mixing up syntax and semantics, and that is because type theorists don't have a concept of semantics. Right back at you. I don't have to treat notation as something different from semantics, be
949.
▲
by
lmm
1y ago
> Just because two apples are both green doesn't mean that they are equal. In fact, if there are two apples, that means they are definitely not equal, otherwise there would be just one green apple. Well, a green apple had better be
950.
▲
by
lmm
1y ago
> Does two equal two? What if the first one is written in a larger font? Exactly. Obviously they're different, but they're equivalent for most purposes. In traditional mathematics you have to handle this in a very awkward way:
951.
▲
by
lmm
1y ago
> I have 2 green apples and 2 red apples right here in my bag (eh, set), and the size of the set is 4, and all elements of the set are apples, some of them are red, some are green. Well, is your set equal to a set of 3 green apples and 1
952.
▲
by
lmm
1y ago
> Is there nothing like some sort of number to register any tax withholding or the like? There is, but it's not tied to any strong identity verification process, and so there's a thriving fraud where unemployed citizens will re
953.
▲
by
lmm
1y ago
> I watched the video and the suggestion is that this makes it easier for employers to verify that someone is authorized to work. Is that actually true? Yes. The rules are complex, and currently the government essentially deputizes emplo
954.
▲
by
lmm
1y ago
Chess is the biggest game on Twitch, but getting addicted to it is pretty rare, and you certainly don't hear of people losing their house over their chess addiction.
955.
▲
by
lmm
1y ago
> I suggested some edits; they appreciated the free work... Civic engagement is a power transfer from the lazy and nihilistic to the engaged. In terms of broadly-accessible power, I’d argue it’s one of the fairest. I'd argue that ti
956.
▲
by
lmm
1y ago
The problem is that you have model everything in a lossy way to make that work. If you want to say that 2 green apples plus 2 red apples equals 4 apples, you have to just say that you have 2 apples plus 2 apples, and you can't then go
957.
▲
by
lmm
1y ago
> Sure, if you forget about C, Java, TypeScript, SQL, and many others. C has had multiple implementations from multiple implementors for decades. Java wasn't really tied into Sun's ecosystem, and had an enormous marketing blitz
958.
▲
by
lmm
1y ago
Their point is that Golang has seen adoption and use outside the Google ecosystem, which is perhaps surprising, and something few other "company languages" have managed (e.g. Swift is actually quite a nice language design, but alm
959.
▲
by
lmm
1y ago
Much lower risk of people getting addicted to games of skill, and much less expensive for people who do get addicted?
960.
▲
by
lmm
1y ago
> Analog fire computers are continuous mappings from a continuum, a line segment (curved about a cam), to another continuum, a dial perhaps. > Symbolic operations, mapping from patterns of 0s and 1s (say) to other patterns are discret
More ›