sterlind

29 ms·

391.
by sterlind 2y ago
These and your past few posts are obviously ChatGPT, but you posted something real only an hour ago, and your account is years old. So what's the deal? Why are you doing this?
392.
by sterlind 2y ago
Matching V8's perf would be infeasible, but couldn't a small team get within an order of magnitude of V8's perf for a decent chunk of websites? How much slower is Fabrice Bellard's QuickJS?
393.
by sterlind 2y ago
The system isn't behind and over budget because of renaming the branch, that's peanuts. It's behind (at least the I-90 segment) because they managed to screw up laying the concrete twice . The second time they just didn&#x27
394.
by sterlind 2y ago
When I joined MS my boss told me that Microsoft apps weren't allowed to use internal APIs, I think as part of the anti-trust settlement. Windows components (e.g. the Settings app) can, but actual apps (e.g. Word) couldn't do anyth
395.
by sterlind 2y ago
The medical system has blindspots, and stigmas that extend even to well-documented diseases. I have EDS, which is a genetic disorder that causes loose connective tissue. One subtype (vascular EDS) is life-threatening, the others are merely
396.
by sterlind 2y ago
PowerShell lets you script Windows itself. You can configure network interfaces, set group policy settings, change registry keys, install programs, gather diagnostics, etc. etc. Linux has systemctl, Windows has Start-Service. Linux has ki
397.
by sterlind 2y ago
Wanting Salesforce rather than clean drinking water is a rare take, I'll give you that.
398.
by sterlind 2y ago
The enshittification of the Internet? Search results overrun with SEO, internet-connected dishwashers, toxic social media full of dark patterns, discarded Juuls littering the streets, ads on paid streaming services that cut half their conte
399.
by sterlind 2y ago
That Jesus story comes from Rabbi Onkelos, a Roman convert who performed necromancy (!) to summon Jesus and ask questions about the afterlife. Apparently Gehinnom as described by the conjured spirit was indeed reserved for Jews who sinned;
400.
by sterlind 2y ago
I concede, though I think this is a later innovation of the Rabbinate; Gehenna is an actual place, an ancient garbage dump, on the outskirts of Jerusalem. It is not referenced as a spiritual plane in the Torah like the Lake of Fire (Hell) i
401.
by sterlind 2y ago
Whereas Judaism, for all the smiting G-d does, doesn't have a hell. Though to be fair to the NT, forgiveness is Jesus's whole schtick, but the penal system hardly seems forgiving. Maybe because of the deleterious legacy of Puritan
402.
by sterlind 2y ago
Olof Palme in 1986? https://en.m.wikipedia.org/wiki/Assassination_of_Olof_Palme
403.
by sterlind 2y ago
And once everyone's walking around wearing welding masks, the dorky look of AR goggles will no longer hold back mass adoption.
404.
by sterlind 2y ago
Imagine cooking with no herbs or spices, save for salt. Your food would be nutritionally complete and inoffensive, but bland. You could translate novels into Simple English or Newspeak, but would you enjoy reading them? And isn't it a
405.
by sterlind 2y ago
I'm amused that Hetalia: Axis Powers gets the highest possible score.
406.
by sterlind 2y ago
F# defines a parallel map with the same type signature as sequential map, but you have to ask for Array.Parallel.map rather than Array.map or whatever, because of the possibility of side effects. Only in a pure language like Haskell could y
407.
by sterlind 2y ago
Automatic theorem provers are stuck in AI winter. Pre/post-conditions and dependent types currently need too much handholding. Once the AI firms deign to release heuristic language models for proof discovery, we can have nice things li
408.
by sterlind 2y ago
He didn't really suggest a backdoor. None of his writing touched on the technical aspects of Signal, or Moxie Marlinspike (which is weird - it's like talking about Apple's history without mentioning Steve Jobs.) He doesn&#x27
409.
by sterlind 2y ago
What a bizarre article. So Katherine Maher was apparently CEO of Wikipedia, and CEO of NPR, and said some rhetoric about diversity and combatting disinformation. So what? Signal is encrypted, and it's a private messenger - not a social
410.
by sterlind 3y ago
It's kind of a root of trust problem, isn't it? I think the algorithm for checking proofs is relatively simple. All those fancy tactics boil down to a sequence of rewrites of an expression tree, using a small handful of axiomatic
411.
by sterlind 3y ago
Term rewriting is woefully overlooked, maybe because the paradigm is rather open-ended. Questions about fixed or variable arity, what rules to apply in what order, what kinds of pattern matching to support, can make the language very limite
412.
by sterlind 3y ago
if you're exposed to HIV and take post-exposure prophylaxis quickly enough, you can avoid lifelong infection. the trick is realizing you need it, which is why PrEP (pre-exposure) can be a good idea if you're at risk.
413.
by sterlind 3y ago
you're not my real dad!
414.
by sterlind 3y ago
ah, my mistake. I saw the word and didn't realize the context.
415.
by sterlind 3y ago
I'm fascinated that this apparently supports Itanium.
416.
by sterlind 3y ago
isn't this basic Prolog? ?- member(X,[1,2,3]),member(Y,[4,5,6]),X*Y#=8.
417.
by sterlind 3y ago
> Microsoft Co-President Jim Allchin stated in a memo, "If you're going to kill someone there isn't much reason to get all worked up about it and angry. Any discussions beforehand are a waste of time. We need to smile at
418.
by sterlind 3y ago
Conflict of interest disclaimer. It's pretty standard in journalism.
419.
by sterlind 3y ago
I think you have to take the credibility of the maintainer into account. If it's a large company, made of people with names and faces, with a lot to lose by hacking its users, they're unlikely to abuse private disclosure. If it&#x
420.
by sterlind 3y ago
I want one so bad I've wanted one since I read Diamond Age I'm an adult but ahhh

More ›