tekne

8 ms·

91.
by tekne 9mo ago
I like the end-to-end principle. Good times.
92.
by tekne 10mo ago
That's an uncharitable interpretation. Let's say it takes 10 units of work to build a house, and 200 units of resources to build a skyscraper; on average. Let's further assume, after a point, that skill tends to increase qual
93.
by tekne 10mo ago
One of Rust's core guarantees is that a race condition in safe code will never cause UB. It might return a nondeterministic result, but that result will be safe and well-typed (for example, if it's a Vec, it will be a valid Vec th
94.
by tekne 10mo ago
I mean... There's the concept, and then there's the painting. AI slop from a generic prompt is not the same as "using AI to get my concept in physical form faster." Imagine, for example, a one-man animated movie. But, li
95.
by tekne 10mo ago
People tend to assume optimization means thin. Probably because you are usually optimised, by others, into thin-ness. To be optimiz ed is passive. But I think optimising yourself , or the world, hopefully in a positive way, is one of the
96.
by tekne 10mo ago
Well, because of what you're trusting. - "I want to connect to IP X" - What IP X is is defined by your ISP. You can probably have a trust model here (ISP X cannot reassign IPs from ISP Y) but people don't usually di
97.
by tekne 10mo ago
I mean, if you return an immutable reference, the owner in fact cannot mutate it until that reference is dropped. If you in fact return e.g. an Rc::new(thing) or Arc::new(thing), that's forever (though of course you can unwrap the la
98.
by tekne 10mo ago
I’d say the practice of medicine is extremely primitive, and therefore shockingly sophisticated. Imagine debugging a program with an architecture utterly alien to your intelligence, and a poorly understood highly nondeterministic instruct
99.
by tekne 10mo ago
Alright that’s pretty bad. Have some questions though. - For the bit.ly thing; as far as I understand Gaddafi could at least theoretically order the registrar to point somewhere else and then that somewhere else could get new keys from the
100.
by tekne 10mo ago
Funny… I’ve often felt the exact opposite. Medium articles often look janky; if you’ve got a personal website you’ve at least figured out how to get that working, and if it looks good , that’s a positive signal! Think myname@gmail.com vs m
101.
by tekne 10mo ago
I have often had the thought that CAs could be made obsolete by things like DNSSEC. I have no idea if I am correct, so I would like to ask: please tell me if/why I am wrong. Here is my argument: - If you control the DNS record at the r
102.
by tekne 10mo ago
I agree actually, I said rare not nonexistent. But note that I, as the user, want to block the ads. If I can easily do so (and I usually can) it’s fine. But the moment I can’t, in that very small way, I am disempowered. And that’s usually w
103.
by tekne 10mo ago
I mean, it sounds dumb, but returns from further wealth are logarithmic; after a certain point, the only thing you can buy more of is power. And you’ve already got that, in this case! If you’re in a situation where getting more wealth could
104.
by tekne 11mo ago
It's not ads, honestly. It's quality. The tool being designed to empower the user. Have you ever seen something encrusted in ads be designed to empower the user? At least, it necessitates reducing the user's power to remove t
105.
by tekne 11mo ago
I think the issue is that autism is not necessarily a disorder. I'm mildly autistic and I like the way I am. Really. I don't consider it a disability at all; it's got pros and cons, but for every thing that I'm worse a
106.
by tekne 11mo ago
Outside actual national security, like the military, isn't the moral high ground precisely "we use reason, you use force"? I'm really not interested in picking sides when, as I heard a friend say, "the dog bites t
107.
by tekne 11mo ago
When I started undergrad, my father told me that university was not for learning; that was what the Internet was for, and since I was in tech; it wasn't quite for proving myself either: that was internships and portfolio. It was, rat
108.
by tekne 11mo ago
So, roll-your-own-QUIC?
109.
by tekne 11mo ago
This is an excellent article, but the graph is unreadable on mobile even with a relatively large screen.
110.
by tekne 1y ago
I’d hazard that the 5 20 line functions are sometimes slightly less buggy, since the function signatures act as essentially an enforced comment on how the implementation is done and perhaps which state is accessed/modified. Versus
111.
by tekne 1y ago
You should learn category theory to improve your character - Marcelo Fiore (probably misquoted)
112.
by tekne 1y ago
Weird anecdote, but one of the reasons I have always struggled with writing is precisely that my process seems highly nonlinear. I start with a disjoint mind map of ideas I want to get out, often just single words, and need to somehow coher
113.
by tekne 1y ago
I don't get the first counterargument, since the OP is proposing taxing businesses. So the hypothetical rich guy here would want all the income to go to themselves, rather than the business. Anyways, something something Georgism someth
114.
by tekne 1y ago
EEG input method?
115.
by tekne 1y ago
Question: why not use UUIDv7 but encrypt the user-facing ID you hand out? Then it's just a quick decrypt-on-lookup, and you have the added bonus of e.g. being able to give different users different IDs
116.
by tekne 1y ago
I mean, I spent 7 years of my childhood in Dubai, and it was overall decent. Anecdata, et al.
117.
by tekne 1y ago
This looks super interesting, but on my ancient iPhone, it zooms way out when I try to scroll, making it quite hard to read.
118.
by tekne 1y ago
Umm, signed integers are UB on overflow; unsigned is always fine.
119.
by tekne 1y ago
This is just the Halting Problem, many good introductory expositions of the proof exist.
120.
by tekne 1y ago
I work on verifying compiler optimization passes, mainly using weird category theory, so the traveling is mostly orthogonal!

More ›