taeric

30 ms·

541.
by taeric 1y ago
This is why I said ostensibly. I think it should be assumed the financial parts were done on the up and up. Such that disclosures and such can waive a lot of the concerns that would make it illegal. There are non-financial liabilities, as
542.
by taeric 1y ago
Ostensibly, it is in what you left out of your question? If you can buy the assets, specifically, you can not buy the liabilities. Obviously, getting some people off of obligation lists is one of them. There could be others?
543.
by taeric 1y ago
My gut is that the recommendation flows from the idea of a portable solution with more controls? That is, io_uring is limited in both target deployments, and in what you can do to adjust performance considerations. The first is somewhat ob
544.
by taeric 1y ago
I'm not sure that is the reason, honestly. Used to, the government could spend a TON of money with relatively little resistance. Even programs that did get a lot of resistance could still be done without worrying about the political
545.
by taeric 1y ago
It is amusing/depressing to consider this as getting punished for having expensive engineering to avoid failures. If you do put in more engineering to get a more robust solution, you wind up not hitting the expensive failures and peop
546.
by taeric 1y ago
This is something I would honestly expect if you try and get cheaper from market pressure.
547.
by taeric 1y ago
The idea that you can leverage competition to build public infrastructure things feels dubious, to me. Will try to take a dive on some of that literature. At face value, though, public infrastructure is largely the sort of thing that enabl
548.
by taeric 1y ago
My expectation on cost of banana will be more on how much it costs to ship to said town? Similarly, which town has higher tax burden to cover? Assuming any sort of health inspection on places that store food, the town with more stores has
549.
by taeric 1y ago
Amusingly, I suspect that the "dozen main services" is still quite a few more than most smaller companies would consider on their stacks.
550.
by taeric 1y ago
Do we use more electricity because of 5G? I confess I'd assume modern phones and repeater networks use less power than older ones. Even at large. I can easily agree that phones that have internet capabilities use more, as a whole, th
551.
by taeric 1y ago
If algebraic effects is not about how to manipulate effects using algebra, then I will flat out say that it is poorly named. Which, fair that that is already established and I don't expect some rando on the internet's objection t
552.
by taeric 1y ago
I don't think I mentioned boolean algebra? I responded to someone else mentioning it. My problem there is still that you are going to be taught how to operate over boolean values using an algebraic construction. (Looking, I think th
553.
by taeric 1y ago
I looked over the paper, but I confess I don't understand how it is helping. Would help a ton to have an example effect that didn't dive into distinguishing "Values", "Computations", "Value types," a
554.
by taeric 1y ago
Right, but this is just explaining algebra. Which, I get that. Connect this to effects, for me. (And fair that just because I assert that I get it, I would wager I don't have as strong of a handle as I should have.) My understanding
555.
by taeric 1y ago
I feel that you just spelled potato and then pronounced it differently. :D If you have examples you recommend, I'd be game to look over them. What is a first class "value" that is referenced in algebraic effects?
556.
by taeric 1y ago
I'm not positive on what you are aiming at. I'd assume "algebraic effects" are to talk about performing algebra on the effects. That is, you are specifically going to talk about how different things combine effects, pr
557.
by taeric 1y ago
I'm not sure I follow? For one, if algebraic isn't aiming at the ideas in an algebra, then they absolutely should be using a different name. For two, though, the whole idea is how to compose the "value" of different eff
558.
by taeric 1y ago
The problem with this is still that you are sticking with the algebra over the boolean values. And you are going to use + and * in doing so. Then, you are going to move to discussing the algebra over types and effects. In such a way that
559.
by taeric 1y ago
That is awesome! I'm definitely interested to know if they have evidence showing that this leads to better outcomes.
560.
by taeric 1y ago
Yeah, I think I agree? It did amuse me how quickly this got annoying from the existence of String and how people use it. :D That is, I think this is what you are saying? That it wouldn't be hard to show that an Optional<String&gt
561.
by taeric 1y ago
I'm intrigued. Didn't know places were trying this idea somewhat "at scale." Do you know if they have any findings from where this was deployed?
562.
by taeric 1y ago
I think you are reaching more for imaginary numbers? I could see trying to fit this with surreal numbers, as well. Would be fitting, as I think Conway was big into knots? Regardless, no, not dumb. Numerically modelling things is hard, it
563.
by taeric 1y ago
Git does no such thing. Plain text files with free form merging capabilities somewhat solves the idea that you can merge things. But, to make that work, the heavy lifting has to be done by the users of the system. So, sure, if you are say
564.
by taeric 1y ago
I started a thread last time Algebraic Datatypes were discussed that hit a similar vein. I assert most programmers know the middle school version of "algebra" and think of it in terms of what they can do with the values they are
565.
by taeric 1y ago
Reading this does make me think about how exploring settings in emacs `M-x config` settings is actually better than I would expect. So it isn't like you can't also have the checkboxes and forms.
566.
by taeric 1y ago
Ok, the idea that "north is up" is potentially a consequential thing is somewhat fair. In that it is not just dismissable out of hand. That said, it is pretty silly. And asserting it is meaningful philosophically reeks of agenda
567.
by taeric 1y ago
Meanwhile, I peek at my emacs config and continue to wonder why people don't just embrace a programming language. Yes, there are bad consequences that can happen. No, you don't dodge having problems by picking a different data fo
568.
by taeric 1y ago
Ok, I don't think I disagree that much. Was more just curious on what you meant. I view the structure as already something happening to describe things in ways that facilitate styling. But, this is a lot like the distinction between
569.
by taeric 1y ago
I am not sure I understand. There is coupling between the styling and the structure. Somewhat by necessity? I'm curious how you would possibly avoid having any. I think your point is that there are not enough structural items to dis
570.
by taeric 1y ago
This doesn't really change the idea, though. The structure is specifically to communicate style opportunities. Exactly how it is styled can be dependent on other things, as well, but the structure is specifically an affordance to fac

More ›