ndriscoll

4 ms·

31.
by ndriscoll 9d ago
Fair, I suppose there's no end to the level of insanity that a programmer can do in a dynamic language. I'd think it could perhaps still look to see there's no catch, but maybe eval makes even that impossible.
32.
by ndriscoll 9d ago
Why is it still active? Even an interpreter with no lookahead could see that it goes out of scope immediately when f returns (it gets shadowed on that line), so as long as there's no guarantee about when finalizers get called, it shoul
33.
by ndriscoll 9d ago
It just means if you have some functor F (generic type with a well-behaved `map` function, like List), then you have a `flatten` operation F[F[_]] - > F[_], and like a monoidal product, it's associative. So if you have a triply nest
34.
by ndriscoll 9d ago
What if I, the owner of Standard Oil, don't want my oil in inferior cars? Or if I, the owner of AT&T, don't want inferior phones on my network? Too bad. The correct course of action to take with companies that try that is to d
35.
by ndriscoll 9d ago
def reduce(acc, f): for v in self: acc = f(acc, v) return acc The current acc goes out of scope each time you call f. There's no shared reference (assuming f doesn't sneak store it elsewhere, which for strin
36.
by ndriscoll 9d ago
Okay, but nobody can pay a random software engineer to go take the Apple driver's code and use it to make a working Linux driver that they can use on the hardware they purchased. So Apple's monopoly on their source code is not inc
37.
by ndriscoll 10d ago
And yet we have proof right in front of us that e.g. Apple will not port their GPU drivers to Linux, and people had to reverse engineer it, so clearly the evidence says it does not create that incentive. In fact, copyright law for software
38.
by ndriscoll 10d ago
That's the ostensible point, and I think does the job extremely poorly, and is often if not usually counterproductive. Without payment, there'd be nothing to take, since as you say, the world doesn't work for free. Software e
39.
by ndriscoll 10d ago
Precise wording aside, the essential content of the back-and-forth here is: > When should one use Java on projects? > One shouldn't consider Java because it lets you use null. > That's easily solvable by just not using nu
40.
by ndriscoll 10d ago
Of course I think it would change things. You think I haven't considered that? But I also think society would be a better place if we worked to produce new software that people desire instead of gatekeeping what already exists, and if
41.
by ndriscoll 10d ago
I don't see why that's a technicality. Youtube has plenty of rules already for their business partners. They could definitely make it so e.g. no paid advertising is allowed, or all paid advertising must have metadata attached so t
42.
by ndriscoll 10d ago
I write software for a living and think we should abolish software copyright, and furthermore, source availability should be a basic consumer protection requirement. Basically the free software definition should be law.
43.
by ndriscoll 10d ago
Wouldn't B's publication of the information make it by definition no longer a trade secret? It is now public knowledge, regardless of whether the current or former engineers might be liable for the original leak. Any other interp
44.
by ndriscoll 11d ago
Of course you assume that; if you're talking about what a policy should be, then you work in a hypothetical world where the policy can be chosen. You don't say "but what about some other minor detail! That would require an ad
45.
by ndriscoll 11d ago
If someone's asking "why Java" or is saying nulls make it a hard no, then you'd assume that they have a choice in the first place, which generally means they also have some ability to set coding standards at the same tim
46.
by ndriscoll 11d ago
Most engineers don't get to decide to use a language either. Usually someone with the clout to pick a language has the clout to set style requirements too.
47.
by ndriscoll 11d ago
Scala's ZIO also demonstrates that they're a great idea and can be perfectly ergonomic, but you need type inference, which Java devs were resistant to for a long time (maybe still are? I remember lots of "how will I ever know
48.
by ndriscoll 11d ago
Every job I've has has used different languages so I don't really understand the need to find a dev for a specific language. I went from network firmware in C to banking application servers in Scala and it took like 2 weeks to ram
49.
by ndriscoll 11d ago
IME they're both in a place where Rust is maybe ~40% faster for a decent CRUD web application server, but with go you need to write much lower level code to get there (e.g. using composable generic iterators will ruin your allocations,
50.
by ndriscoll 11d ago
Golang gives you none of nice features of a modern language while being about the same performance tier as Scala or Java, so there's basically no reason not to use Scala.
51.
by ndriscoll 11d ago
I'm saying the client can take the action, but the user never sees the client because they interact with it through e.g. their AdBuster box, a glorified PiKVM that interacts with client, OCRs it, and produces simple filtered HTML for t
52.
by ndriscoll 11d ago
As long as the client supports external display/input (e.g. USB-C with DP alt mode) you could always attach a KVM and run a proxy with vision capabilities to filter.
53.
by ndriscoll 12d ago
I don't believe it does give them your credentials? It's more like running something like AutoHotkey and having it send screenshots to Perplexity and inject whatever input events they send back, but integrated directly into the br
54.
by ndriscoll 13d ago
The worker does have agency. They did not have to take a job installing mass surveillance systems. They're directly doing the bad thing, and the "harassers" are literally doing the same thing the worker is doing, but back to
55.
by ndriscoll 14d ago
I don't see turning in piles of Lean as bad-faith somehow. They were first, and they did prove the result (assuming no hidden exploit deep in the middle). The thing they produced is just different, and both giant raw proofs and distill
56.
by ndriscoll 14d ago
e.g. Zenni has sold $7 glasses for like 20+ years. They appeared shortly after Luxotica started buying retailers. If there's a problem, it's that advertising reduces consumer information (basically economic jamming) and distorts m
57.
by ndriscoll 14d ago
Maybe your management has no idea what you work on. If so that's its own issue. Or maybe they do, and the person trying to take credit for more than they did just looks like an idiot. Like I said, I intentionally give throwaway PoC cre
58.
by ndriscoll 14d ago
Who said anything about unpaid? I'm pretty sure professors don't show up just for fun. Our taxes pay them. I'd be happy to do the job. Actually I still dabble recreationally (clarifying Codex's Lean proofs, even!). But l
59.
by ndriscoll 14d ago
Your analogy is far enough away from the way that the real world works that I'm not sure that I can really even strain my experiences to fit within it. Sure, I guess that would be annoying? But mathematicians define their field. They&#
60.
by ndriscoll 14d ago
We are given time though. Maybe not at some small sweatshop? But at least at big companies all the jobs are salaried, and either no one cares how exactly you spend your time, or they explicitly say it's fine to spend some time learni

More ›