Veserv

41 ms·

571.
by Veserv 2y ago
No, that is not how the math works. N is your cost basis. M is the gain. E is the estate tax. G is the gains tax. ((N + M) * E) is tax on the automatic step-up, option A. (M * G) + (N + M - (M * G)) * E is the tax on the non-automatic st
572.
by Veserv 2y ago
That is literally already how it works.
573.
by Veserv 2y ago
First of all, the estate/gift tax does not kick in until 13 M$, so that already covers that case. Second, it is irrelevant. The capital gains tax that would be due on a normal step-up in basis during life is independent of the estate t
574.
by Veserv 2y ago
Just another faked demo and scam [1][2] followed by a bait-and-switch for generic overpriced product. [1] https://www.fastcompany.com/40422084/inside-steel-pulse-the-... [2] https://mansionengineer.com/
575.
by Veserv 2y ago
What is the point of citing theoretical values like LCOE when we have direct practical information on predicted profitability? Energy producers in Texas are are adding 8x as much solar capacity (24 GW) as natural gas capacity (3 GW) [1] ove
576.
by Veserv 2y ago
It is Tesla's duty to provide rigorous, scientifically, and statistically sound evidence for their claims of safety as Waymo provides [1][2]. Instead, they present bare numbers with no base rate estimations, confidence intervals, metho
577.
by Veserv 2y ago
They do release data on interventions in CA during autonomous testing with safety drivers [1][2][3] (distinct from driverless testing). As a ADS system under test, they are legally required to unlike Tesla who characterizes their system as
578.
by Veserv 2y ago
Still ignoring school bus stop signs as well. https://x.com/bradsferguson/status/1828031824158683439 As it has been for literal years and has resulted in at a minimum one recorded instance of literally and knowing
579.
by Veserv 2y ago
We already have that. The Common Criteria (ISO 15408) has existed for literal decades at this point and is required for usage in government systems. Vendors just find it too difficult to certify against attacks at the “script kiddie” level,
580.
by Veserv 2y ago
Well, you still have to pay the estate tax, but you are probably arguing that is independent as it would need to be paid regardless of the step-up in basis. Yeah, the real loophole is step-up in basis with no corresponding tax event. What s
581.
by Veserv 2y ago
Well, if you want to run headfirst into the magical land of hardware errata, I guess you could go around creating heterogeneous, switched mappings. I doubt the TCRs were ever intended to support rapid runtime switching or that the TLBs were
582.
by Veserv 2y ago
Well, when Elon Musk doxes you so he can personally call your boss threatening to sue you and embroil your boss in litigation unless you immediately cease posting articles unrelated to your job pseudonymously [1][2] it makes sense you might
583.
by Veserv 2y ago
Having both 4KB and 16KB simultaneously is either easy or hard depending on which hardware feature they are using for 16KB pages. If they are using the configurable granule size, then that is a system-wide hardware configuration option. You
584.
by Veserv 2y ago
The literature on Microsoft TTD [1][2] indicates it is a instruction emulator full-trace approach. It is a little unclear if it is a basic emulator or a instrumented JIT approach, but the reported ~10x overhead is more consistent with a bas
585.
by Veserv 2y ago
Well, that is what you did with rr (bolted it onto a third-party unmodified OS) so I thought I would cover all the bases. Once you are in modification land it really depends on the kind of hypervisor and its implementation. Like doing it fo
586.
by Veserv 2y ago
You can control scheduling; that is how many record-replay based time-traveling debuggers do it. Also, scheduling is independent of deterministic execution unless you are doing inherently non-deterministic things like multithreaded shared m
587.
by Veserv 2y ago
If you are doing a single core virtual machine, the hypervisor is properly implemented, and you can change the hypervisor then it is fairly straightforward. You just funnel everything through a single guest memory write function and then in
588.
by Veserv 2y ago
First, they did not seem to make a thermodynamic loss argument. They made that argument for vertical farming versus regular farming to argue that the inputs to regular farming are cheaper because they are not harvesting solar energy with ex
589.
by Veserv 2y ago
Their thesis is probably that solar electricity will soon be (as an example) 1/10th the price of natural gas electricity and that they believe they can get 10-30% storage/conversion efficiency. Therefore, the price of synthetic na
590.
by Veserv 2y ago
A history of other time traveling debugging papers and products (including this one): https://jakob.engbloms.se/archives/1554 https://jakob.engbloms.se/archives/1564
591.
by Veserv 2y ago
I always propose the: “Technically, your honor…” standard. If you make a commercial statement and in court your defense is “Technically, your honor, it means something completely different than what anybody hearing it would think and I spen
592.
by Veserv 2y ago
That is just type-abuse. A compound key is not a single N-bit big-endian value, you are just encoding it as such in memory because they kind of sort of fit. Such automatic and implicit type punning is a very dangerous line to tread in wire
593.
by Veserv 2y ago
For starters, all modern machines are little-endian, so you need to flip the bytes. This is made more confusing when you layer another encoding on top since now you need to define how they are layered and when the encodings apply (i.e. Do y
594.
by Veserv 2y ago
Unary-encoded length prefix and big-endian serialization. There is no good reason to use big-endian serialization. I think they are doing that because they only know about "count leading zeros (CLZ)" to extract the unary length pr
595.
by Veserv 2y ago
Yep, my post was just saying this is observability 0.5, not 2.0. However, I actually do agree that you should prefer observability 0.5 in most cases if you have a appropriate implementation. I am familiar with time travel debugging where yo
596.
by Veserv 2y ago
You are correct. I was being a little lazy with my terminology. You can choose however you want to sample, random just being the simplest and most easily automated mechanism. The key is that you degrade from a perfect record to a statistica
597.
by Veserv 2y ago
Of course everything is events. The distinction is how do and should they degrade when you can not record everything (and secondarily how we should interpret and correlate them, though that is more in the structured/schema aspect). I p
598.
by Veserv 2y ago
They do not appear to understand the fundamental difference between logs, traces, and metrics. Sure, if you can log every event you want to record, then everything is just events (I will ignore the fact that they are still stuck on formatte
599.
by Veserv 2y ago
What do you mean by reasonably secure system? Secure against commercially motivated attackers issuing profitable attacks that, these days, routinely payout 10-50 M$? Such security would need to be adequate to protect against 10 M$ budgets,
600.
by Veserv 2y ago
No. PE (price to earnings ratio) is the ratio of price to profit. Assuming they do not grow, their profit is stable at the latest reported value indefinitely, and that their accounted profit is a good approximation of distributable cash (th

More ›