sterlind

28 ms·

421.
by sterlind 3y ago
the potential for future repayment?
422.
by sterlind 3y ago
Shrine is a self-described heretical TempleOS fork: https://github.com/minexew/Shrine Notably, it has networking, though ironically it seems to hew closer to Terry's vision than ZealOS.
423.
by sterlind 3y ago
Isn't that how those Fortezza crypto cards worked? The chips leave the factory unclassified, then the NSA loads their classified Suite A algorithms onto them?
424.
by sterlind 3y ago
what you're describing is arithmetic coding, correct?
425.
by sterlind 3y ago
I'm incredibly curious about what this demographic is.
426.
by sterlind 3y ago
so web apps are sexy and cutting edge, while sensor fusion is boring and stale? I'm not a defense contractor, but that take just seems wild. most of SV isn't cutting-edge tech. most SV devs are generalists.
427.
by sterlind 3y ago
the chained hashes approach is an extremely elegant method, thank you for linking it.
428.
by sterlind 3y ago
hrm. I was going to say it's extremely wasteful, but since it's sequential I guess you're only burning one core. There's no computational arms race like with blockchain PoW. How does the math work? The decryption key is
429.
by sterlind 3y ago
No, Sandoz produced LSD tartarate back in the '50s. It's the common salt form of LSD. The freebase is lipophilic, and is typically dissolved in ethanol, while the salt form is water-soluble, and can be soaked into blotter paper or
430.
by sterlind 3y ago
Ketamine is a dissociative that's used as an anesthetic. General anesthesia is a different beast. The precise mechanism GAs use isn't understood, but they cause slow waves of electrical activity to wash over the brain, constantly
431.
by sterlind 3y ago
exploded? the house... exploded? like, a gas leak or something?
432.
by sterlind 3y ago
holy mackerel, I had no idea their operation was so large. that's terrifying; I hope their network has been rolled up following Crowdstrike's article. in any event, it sounds like they don't have any shortage of outbound conn
433.
by sterlind 3y ago
Are GTP packets exchanged between peering providers? As in, would the C2 server have to be operated by a complicit telco in order to receive the packets? Or do they make it to the public Internet somewhere? If it's the former, then it
434.
by sterlind 3y ago
Yes, Pure is a term-rewriting system, similar to SymPy. Transformation rules define patterns to match in expressions, what bindings to capture from the match, and what to transform the matched pattern into. This is also how the XL language
435.
by sterlind 3y ago
Please don't be the jerk who leaves fake bills that say tipping is detrimental. I promise you that servers don't have power over management to change the tipping system, you'll just come off as an asshole. The difference is t
436.
by sterlind 3y ago
The letter didn't say anything about actually taking vice.com offline, only that they'd stop publishing content to it.
437.
by sterlind 3y ago
But won't the projected value of the project go up with the discount rate? Why would the project still only make $40K on year 3, rather than now making $40K*1.10^3?
438.
by sterlind 3y ago
In a socialist economy (in theory!) the lives of people have intrinsic value regardless of their productivity. In a (purely) capitalist economy, a person's value comes instead from the value they contribute to society. Under socialism,
439.
by sterlind 3y ago
McDonalds has automated the ordering process away, though.
440.
by sterlind 3y ago
I'm financially illiterate, but what does this mean? Companies have the revenue to pay their employees, but they choose to terminate them instead, because... why?
441.
by sterlind 3y ago
they're syntactically related in that both come from the Prolog world, and you can indeed use ASP to do planning (there's examples of Towers of Hanoi and Blockworld in the ASP guidebook), and you can incorporate heuristics into AS
442.
by sterlind 3y ago
can't you just use the strong duality theorem to reframe an integral optimization problem as a system of integer inequalities? I thought you usually don't do that because the satisfaction problem is harder in practice.
443.
by sterlind 3y ago
Gurobi is a MIP solver right, not a planner? I use Gurobi at work for a certain kind of bi-level programming and it's amazing, like literally ~500x faster than CBC. Picat's planner is more like a Prolog flavor of PDDL (e.g. fast-d
444.
by sterlind 3y ago
I've actually used Picat's planning mode at work! I prototyped a system to orchestrate maintenance on fleets of devices. The idea was that, rather than telling the system how to do it (e.g. workflows to roll out an update), you&
445.
by sterlind 3y ago
Considering an assembly of ~10 cells an "unborn child," to the point of allowing wrongful death suits, seems quite extreme to me. That's a far cry from accidentally decapitating a baby during delivery. Also, embryos are so ea
446.
by sterlind 3y ago
so there are reservations that don't have tribal sovereignty? or did you mean off-rez holdings, or federally unrecognized tribes?
447.
by sterlind 3y ago
But the product name isn't English, it's Esperanto. Most native English speakers won't have a clue how to pronounce it correctly, since /j/ in English is always produced like the "dg" in "edge",
448.
by sterlind 3y ago
Assuming OpenAI's lobbyists don't convince Congress to ban open models because of {deepfakes, CP, disinfo, copyright infringement} or make it impossible to gather open datasets without spending billions on licensing. I'm not
449.
by sterlind 3y ago
GOFAI is vital. Where are the automated theorem provers? The planning algorithms? The expert systems, the optimizers, the constraint solvers? All those problem domains still exist, but they've been totally forsaken by new AI. Prolog is
450.
by sterlind 3y ago
Reminds me of the baffling license on redistributing MS's C runtime as a DLL rather than an MSI, leading to everyone having 12 different versions installed, and not being able to ship programs that run without being installed first. I

More ›