gizmo686

23 ms·

151.
by gizmo686 1y ago
Most of our social credit systems let you start over. The big ones (credit score and criminal history) are strongly tied to you, but have recourse to challenge mistakes and remove strikes from your record. The sufficiency of those recourses
152.
by gizmo686 1y ago
Garbage collectors typically do not differentiate live-and-mutated from live-but-unmutated, which is what is needed here.
153.
by gizmo686 1y ago
Presumably, the cost would be roughly the cost of traditional memory. In most consumer devices, memory is bottlenecked by monetary cost, not space or thermal constraints. However, dedicate read-optimized memory would be instead of a compara
154.
by gizmo686 1y ago
A bunch of applications should be able to annotate data as read-heavy. Without any change of application code, operating systems can assume that pages mapped read-only should be mapped. This imidietly gives you the majority of executable co
155.
by gizmo686 1y ago
Newton worked this out in what is now know as the shell theorem. If you have a hollow spherically symmetric body, then any point inside of the body experiences no net gravitational force. In contrast, points outside of the shell experience
156.
by gizmo686 1y ago
Haskell uses where in the sense the article describes. E.g f x = y + 1 where y = 2 * x Haskell also has a "let" notation f x = let y = 2 * x in y + 1 > If a programming language wanted to use a keywo
157.
by gizmo686 1y ago
> \Sum_{e \in S} e_i I'm tempted to call that notation simply wrong instead of abusive. Generally "abusive" notation, while technically wrong, has some redeeming feature in intuition or consicebess. In this case, the alter
158.
by gizmo686 1y ago
> I've had manually written, well thought through, well conceived, rough around the edges code get called "AI slop" by a colleague (who I very much respect and have a good relationship with) who admittedly hadn't had
159.
by gizmo686 1y ago
I might be able to figure out how to grind wheat into flour for bread. Maybe I can squint hard enough to consider baking yeast to be a "whole ingredient". But cheese? I assume I can probably figure it out with the internet, but it
160.
by gizmo686 1y ago
This is where measured boot and remote attestation come in. You can run whatever software you like; but will only be able to attest to running what you're at actually running (baring an attack on the TPM or some other trusted component
161.
by gizmo686 1y ago
Manhattan and Apollo were both massive engineering efforts; but fundamentally we understood the science behind them. As long as we would be able to solve some fairly clearly stated engineering problems and spend enough money to actual build
162.
by gizmo686 1y ago
Or the local government does it. Which is one of the reasons HOAs took of. Local governments realized that they could avoid work if they required developers to created HOAs to take care of that pesky local governance.
163.
by gizmo686 1y ago
It is far more common for HOAs to be under priced and neglected. They are run by elected volunteers (from member homeowners); and approximately no one wants to volunteer. What everyone does want is lower dues. When combined with the minimal
164.
by gizmo686 1y ago
It's also hard to beat conventional CPUs when transitor density doubles every two years. By the time your small team has crafted their purpose built CPU, the big players will have released a general purpose CPU on the next generation o
165.
by gizmo686 1y ago
Once you accept that doing the morally sound thing costs money, the question becomes what is the most good you could do with that money. We could pay to run LLMS at highly subsidized rates for the global poor. Or we could take the money we
166.
by gizmo686 1y ago
ChatGPT (and all high end players in the current AI iteration) do not follow the normal laws of software economics. Normally software has a near 0 marginal cost. This allows sellers to offer steap discounts because they cost the seller almo
167.
by gizmo686 1y ago
I've seen even worse. I was upgrading an old device that had a 12v barrel connector, and was happy to see the new one used USB-C instead. It came with a power brick that I happened look at and noticed that the output voltage was listed
168.
by gizmo686 1y ago
I think that understanding how eyes and light work is very informative on this subject. Why are there 3 primary colors (regardless of which 3 you pick)? That has nothing to do with the nature of light, and everything to do with the fact tha
169.
by gizmo686 1y ago
At best, that explains how they get money. It does not explain how they manage the logistics of distributing it; which is what that article (including your quote) is about. At worst, it is a carefully crafted narrative (with a kernel of tru
170.
by gizmo686 1y ago
To be clear; there are plenty of contexts where having a TI-89 is 100% unambiguously cheating. There are even more places where MATLAB and Wolfram Alpha are cheating.
171.
by gizmo686 1y ago
__attribute__((packed)) is pretty much required for this use case.
172.
by gizmo686 1y ago
How many projects have actually had productive contributers join out of an abstract desire to contribute. Whenever I've contributed to outside projects, my motivation had been to avoid needing to maintain a fork. And whenever projects
173.
by gizmo686 1y ago
I see it decently often in embedded code for memory mapped IO registers. Other than that, I don't think I've ever seen it either. I'm not sure portability is the reason though. I've seen it in places that have no problem
174.
by gizmo686 1y ago
There is. I'm not sure when it was added, but looking at https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3220.pdf , page 106, note 13 > An implementation may allocate any addressable storag
175.
by gizmo686 1y ago
Some vaguely related research: https://www.science.org/doi/10.1126/sciadv.aaw2594 If you compare different languages, the speed people tend to speak (measured in syllables per second) varies significantly. Howeve
176.
by gizmo686 1y ago
> or that claim things that are per se considered damaging --- a specific and limited list Standard disclaimer that law varies by jurisdiction. However, that limited list typically includes claims that the person committed a crime. Many
177.
by gizmo686 1y ago
seL4 has a Haskell implementation. It only runs under a simulator (as opposed to on real hardware). Their main proof strategy is to prove the Haskell version correct; then prove the C version matches the Haskell version.
178.
by gizmo686 1y ago
The difficulty is that the more precise you make your recipe, the more you need to account for the specifics of the situation; which you cannot possibly know. There is one time in my life that I recall legit burning a steak. I did what I ha
179.
by gizmo686 1y ago
Multiple things can be true at once. It is hard/impossible to come up with an accurate death toll. The Gaza Health Ministry systemically underreports the death toll by only counting bodies that they have directly observed. Some third p
180.
by gizmo686 1y ago
Sometimes. Other times you write inneficient C because it makes the code simpler.

More ›