instig007

6 ms·

31.
by instig007 7mo ago
GHC Haskell has the best concurrency story among high-level programming languages. SMP parallelism, structured concurrency with M:N multicore mapping, STM transactions for data structures including members of collections ( https:/&#x2F
32.
by instig007 7mo ago
Ok, there's clarity on the side approaching negotiations in bad faith then. "Do as I say and when I say" is not a reasonable negotiating track, it's the final ultimatum and there's clarity on who's the aggresso
33.
by instig007 7mo ago
> I've applied it. (That's why you asked for a general principle. Because I'd applied it to this specific case.) They have not been negotiating in good faith. > My understanding is there was a genuine desire for diploma
34.
by instig007 7mo ago
> Uh sure, yes, it generalizes. Not sure what that does for you, but yes. ok, let's see > do you have a source? The fact that nobody in this subthread has an answer to this and is instead, as you put it, evading the question by g
35.
by instig007 7mo ago
> Read past "are you asking serious questions." I literally answer it. ok, you evaded the answer, I asked specifically about generality of the principle, you kept saying "the US did this, Iran did that". You're s
36.
by instig007 7mo ago
> Are you asking serious questions? Just answer the question whether it applies in general as a principle. Don't "stall and never tell any actual" position on the matter. > We also had the option to terminate negotiatio
37.
by instig007 7mo ago
> If the diplomats' job is to stall and never make any actual concessions, that's germane. does this line of reasoning apply to the US only, or in general? > My understanding is there was a genuine desire for diplomacy on th
38.
by instig007 7mo ago
you don't need an analyst to see who strikes first (and the frequency of that pattern) while diplomats are still at the negotiating table
39.
by instig007 7mo ago
> Ignoring it costs more later, but later is someone else's problem. and then the blame could be shifted to the future generations, it's their incompetence after all. > Correctness wins when the cost of ignoring it becomes i
40.
by instig007 8mo ago
> Yea, so again. Isn't that freaking obvious?! apparently not, as I always find snippets of patterns of this kind from my coworkers (and I've worked in many companies, including the ones that require precision for legal complia
41.
by instig007 8mo ago
You put them however you like, be it in a char or a vector of, but the bottom line is that your parsed items are part of the "sanitized" label that allows you to either tuple-unpack or pattern-match (as long as it's near or l
42.
by instig007 8mo ago
Validating during parsing is still parsing, there's a reason why `Alternative f` exists after all: you have to choose between branches of possibilities and falsehoods. Now consider that there's another kind of validation that happ
43.
by instig007 8mo ago
You can have range-constrained numeric types and collections in Haskell via Liquid Haskell, which has almost seamless integration with the compiler starting from GHC-9.12+
44.
by instig007 8mo ago
Farms can be subsidized by people with money, the ones that you tell have to pay taxes to a proxy that spends it without accountability for the productivity of spending. > You can't pick and choose parts of society that benefit you
45.
by instig007 8mo ago
> I know of one person who got fired from a project due to no small fact that building the system he was presented with took > 24 hours when a full build was triggered, and this happened every week. Incremental Nix builds can take les
46.
by instig007 8mo ago
the unearned money gets spent on real produce you were to say.
47.
by instig007 8mo ago
> You've always had the option to move somewhere far away from society where you could keep 100% of what you make on your own. Ah the good old "if you're homeless just buy a house" argument, only this time coming from
48.
by instig007 8mo ago
> What determines fairness is how the resources in our society are allocated once all is said and done. I propose allocating upfront the work, so that those who disagree don't have to contribute into the "done" part of tho
49.
by instig007 8mo ago
> create cultural wealth and people who create mere monetary wealth the wealth in this case isn't monetary, it's material production, the productive work of people who create material objects, including your food and shelter. I
50.
by instig007 8mo ago
> I mostly agree > managed to throw AI efficiently > and it mostly worked. Looks like you're mostly doing your job, not quite there, but mostly
51.
by instig007 8mo ago
> What you want is guarantees that correct programs typecheck quickly. In practice there's wealth of lemmas provided to you within the inference environment in a way standard library functions are provided in conventional languages.
52.
by instig007 8mo ago
> My point is that it is easier to get AI to get better than try to improve a million developers. No it's not, your whole premise is invalid both in terms of financing the effort and in the AI's ability to improve beyond RNG+pa
53.
by instig007 8mo ago
> This is the "artisanal clothing argument". > it is easier to 'discipline' the top 5 AI agents in the planet - rather than try to get a million distributed devs ("artisans") to produce high quality resul
54.
by instig007 8mo ago
> Also, the assumption that you can do ___ thing ... 3. profit 4. bro down
55.
by instig007 8mo ago
ABC: Always. Build on. Parser Combinators. Python ecosystem has several options, for instance: https://parsy.readthedocs.io/en/latest/tutorial.html
56.
by instig007 9mo ago
Is there a list of MEPs who are just right, without the far prefix?
57.
by instig007 9mo ago
> ASML relies on the United States for several of its components, and it’s this very reliance that has allowed the United States to use the Foreign Direct Product Rule and impose export controls on ASML products. However, there are signs
58.
by instig007 9mo ago
> ASML Who's the customer base of ASML? Are they predominantly based in Europe?
59.
by instig007 9mo ago
> I’m not as certain. The fact that we’ve gone from ASN.1 to COBRA/SOAP to protobuf to Cap’n’web and all the million other items I didn’t list says something. > It absolutely is a decades old set of problems that have never been
60.
by instig007 9mo ago
> When you add distribution you cannot make as many assumptions You absolutely can make all assumptions relevant to the handling/dispatching logic expressed at type-level. > and as such you encode that into the type with a bunch

More ›