4ad

16 ms·

181.
by 4ad 2y ago
SSH certificates solve this issue. AFAIK there is no equivalent for Passkeys.
182.
by 4ad 2y ago
It's the same, you should not store or backup SSH Keys.
183.
by 4ad 2y ago
Passkeys are exactly like SSH keys. You should use them exactly like you use SSH keys.
184.
by 4ad 2y ago
To reason about programs one can't consider only the good features and forget about the bad ones. But yes, it's good that languages are moving in this direction.
185.
by 4ad 2y ago
I forgot about Swift, that's true (and great). Kotlin (and even Java 15+ nowadays) can emulate ADTs with sealed classes, but the ergonomics are incredibly bad and the ecosystem is not build around the concept. Scala has ADTs, but I wou
186.
by 4ad 2y ago
If you use a software-based password manager, passkeys are indistinguishable from passwords both from a UX perspective and a security perspective. If you store passkeys in hardware, then yes, passkeys are more secure, but you lose portabili
187.
by 4ad 2y ago
This is why you need to enrol the secondary passkey at the same time you enrol the first one, not later when you might not have the authenticator present. In reality websites should not allow setting up a single passkey.
188.
by 4ad 2y ago
I can't speak for OP, but for every service that I use passkeys with I enrolled both iCloud Passkeys (for convenience) and several YubiKeys (for portability and backup). This is not different at all from a SSH public/private key
189.
by 4ad 2y ago
I would argue that languages are not ready for perfect information representation. Programs explode when presented with minor inconsistencies. And changing the representation in minor way requires rewriting the program. With CUE, we are try
190.
by 4ad 2y ago
> it was too late to make invalid states unrepresentable It wasn't, that's exactly what you did, albeit not with types, but by removing redundancies from the state. It's the same reason why normalizing relational databases
191.
by 4ad 2y ago
> The less out-and-out math used to make a point about programming, the better, I think. Imagine if an electrical engineer said this. Or an aerospace engineer. Or any real engineer.
192.
by 4ad 2y ago
That only works if your language is value-oriented, but most existing languages use references and mutation extensively.
193.
by 4ad 2y ago
Invariants need to be encoded one way or another anyway, you can't escape that. If your type system is not sophisticated enough this gets tedious and awkward to do in the type system, so it's easier to do in (dynamic) code. But de
194.
by 4ad 2y ago
Oops, I meant the TCP/IP stack. Tailscale SSH uses a userspace network stack.
195.
by 4ad 2y ago
Tailscale doesn't need special handling for SSH. You can run your plain old sshd just fine. Tailscale comes with an additional SSH server, which runs in parallel with your other SSH server. It does use Wireguard keys directly, so eff
196.
by 4ad 2y ago
The problem with Unix is the abstractions it provides, not its implementation. Basing Unix off seL4 changes nothing of what makes Unix inadequate in 2024.
197.
by 4ad 3y ago
There is a salary threshold, but it is very low, $60k/yr IIRC. It was last updated during the 90s. A salary ranking scheme would cut most professions out.
198.
by 4ad 3y ago
> phone handsets and headsets don't have the power to do it in real time. Until quite recently my phone was the faster computer I owned. What phone cannot decode these?
199.
by 4ad 3y ago
As an EU citizen, it's easier to open an LLC in the US, without even stepping a foot in the US than opening an LLC in the EU. The most depressing thing is that EU citizens don't even see any problem with that.
200.
by 4ad 3y ago
If you use contactless payments, this is a non-issue, they can't detect it. Although they wish they could.
201.
by 4ad 3y ago
As bad as Germany is, it is better than average. Eastern Europe is harder, and Asia borders on impossible. Africa is literally impossible.
202.
by 4ad 3y ago
Obligatory: https://dwheeler.com/trusting-trust .
203.
by 4ad 3y ago
> Perforce isn't trying to gain adoption by giving its software for free to distro maintainers Perforce has been giving its software for free to OSS projects since forever. FreeBSD used to use Perforce, for example. OSS people and p
204.
by 4ad 3y ago
This is pure propaganda, one of the many reasons HF is really bad is because it doesn't hurt at all , at least in the beginning. Environmental disasters are really bad by themselves, adding propaganda on top only weakens the cause and
205.
by 4ad 3y ago
The empty board is a repeating pattern of length one.
206.
by 4ad 3y ago
Such patterns are of measure zero due to the uncountability of the reals.
207.
by 4ad 3y ago
It can't have a finite number of layers because of an argument very similar to the uncountability of reals.
208.
by 4ad 3y ago
You always have a choice between RSUs and cash. Negotiation is always on the table regardless of what anybody will tell you. Of course, it might be that you don't have enough negotiating power, but you can always choose another job. Pe
209.
by 4ad 3y ago
> Sell them immediately and diversify. I can diversity even quicker with the extra cash I'd get instead RSUs and ESPPs.
210.
by 4ad 3y ago
No, that is dark energy. From the pov. of gravity dark matter is simply regular matter that we can't see.

More ›