gizmo686

19 ms·

241.
by gizmo686 2y ago
You can do that with string interpolation too. In python it would be: print(f"{foo:8.2f}") compared with C-style printf: printf("%8.2f", foo)
242.
by gizmo686 2y ago
There is nothing particuarly low level about null terminated strings. It is just a convention that a bunch of standard library functions follow. Then there is a dozen variants of each of those standard library functions, most of which end u
243.
by gizmo686 2y ago
There are different mechanisms for requiring safe standards. The point is that 'enforcing standards through civil liability' is bad for business. There is also 'enforcing standards through regulation and regulatory agencies&#
244.
by gizmo686 2y ago
I don't think so. Based on the article, the definition of legalese is a high prevalence of center-embedding. Center embedding is one of the most ambiguous ways to write sentences, so it does not make sense as a style of writing presisl
245.
by gizmo686 2y ago
Capabilities are a better security model, but don't protect you from kernel bugs. Provably correct kernels (such as seL4) do. Having said that, being a microkernel, seL4 ends up pushing a bunch of potentially buggy code to use space. T
246.
by gizmo686 2y ago
At the same time, turning on FIPs mode is the way we discover that some of our modules were using MD5 in security critical places. Because the government actually enforces FIPS, people (primarily Red Hat I think), now actually put in the ba
247.
by gizmo686 2y ago
So, outsource the core government function of regulation to "the public". Who exactly do you imagine is going to actually do this public verification, and where is their paycheck going to come from. Some software is critical infra
248.
by gizmo686 2y ago
Most modern boardgames do something like that (although typically in a single book with multiple sections). The standard seems to be to start with a setup/quick start guide that walks you through the initial setup and the in-order game
249.
by gizmo686 2y ago
They don't need to be designed to do that. Companies don't really understand why things sell. They have a lot of ideas about what makes a successful product that are generally accurate. But at the end of the day, they just try stu
250.
by gizmo686 2y ago
Reboots don't typically wipe RAM. Although wiping ram is relatively easy if you are early enough in the boot process (or late enough in the shutdown process).
251.
by gizmo686 2y ago
That is exactly what was done with Ariane. It lead to a complete failure and self destruct. In Ariane 4, they realized that an overflow was physically impossible, and so removed the check for efficiency reasons. The module containing the so
252.
by gizmo686 2y ago
If you haven't done so, you might want to look at some of the work done by the seL4 microkernel project. They start with a Haskell prototype that is translated programatically into a formal specification for the theorem prover. They th
253.
by gizmo686 2y ago
It is still a useful distinction. Programming languages are complex enough to understand. It is useful to have a base of 'this is the simplest description of how programs will work' that is as simple as possible. Then, a separate
254.
by gizmo686 2y ago
Factorio is not a puzzle game. You can get puzzle like gameplay if, for example, you are on a map with heavily restricted space, or are trying to micro-optimize something. But that is analogouse to code-golf or microoptimizations in program
255.
by gizmo686 2y ago
Gravitational waves have a similar effect of sapping the kinetic energy of orbiting black holes. Instead of heating the black holes, the energy is emitted as gravitational radiation. Having said that, now that we have actual observations of
256.
by gizmo686 2y ago
Credit cards preceded the Internet. The problem wasn't that banks didn't scale, it was that the latency of informing the bank of a transaction was prohibitive.
257.
by gizmo686 2y ago
Yup. PS2 keyboard and mice are still easy to find. As are VGA monitors. If you are super paranoid, you still need something more, as both PS2 and VGA allow for bidirectional transfer. But, at a certain point you need to trust your supply ch
258.
by gizmo686 2y ago
The difference is that all of those other technologies have a rock solid abstraction layer. In my entire career, I have never encountered an assembler error [0], and have encountered 1 compiler error (excluding a niche compiler that I was a
259.
by gizmo686 2y ago
The universal approximation therorem is not as powerful as it sounds. Polynomials essentially satisfy it as well [0], the only hiccup being that the Universal Approximation Theroum is explicitly about neural networks. The UAT is an existenc
260.
by gizmo686 2y ago
Project star shot is still very much s research project at this point, but it seems serious. The idea is to not use self powered rockets, but launch a thousand small solar sail based probes. These would launched into orbit traditionally, th
261.
by gizmo686 2y ago
> It turns out that the larger these models get, the more unexpected emergent capabilities they have, so I'm mostly in the camp of thinking AGI is just a matter of time and resources. AI research has a long history of people saying
262.
by gizmo686 2y ago
Fruits and vegetables get processed, put into plastic bags, and shipped far away to be consumed 6 months after being produced all the time. None of that makes them ultra processed.
263.
by gizmo686 2y ago
Everyone cares if you have credentials as a layer. It is illegal to practice law without having the credentials.
264.
by gizmo686 2y ago
"Policies" in this case are system wide configurations. The idea is you can set at the system level things like "do not use md5" and be reasonably confident that nothing on the system is going to ignore that. This has no
265.
by gizmo686 2y ago
This might be one of those reasons why I'm not an electritian, but is it dangerous. Back when I worked at a high-availability data center, all of our servers had dual psus, plugged into seperate circuits. The transformer in the PSUs sh
266.
by gizmo686 2y ago
Around here, the bar is lower for work on your own property, but you still need to be qualified by the county to be allowed to do so. Qualification consists of a 2 hour open book exam, where the book is a copy of the national electrical cod
267.
by gizmo686 2y ago
Even without space in the existing box, installing a subpanel isn't that much more of a cost.
268.
by gizmo686 2y ago
A good engineer knows the difference between safe and dangerous. Setting up an AI computer is safe. Maybe you trip a circut. Maybe you interfere with something else running on your hobby computer. But nothing bad can really happen. Resident
269.
by gizmo686 2y ago
The cloud companies do not make the hardware, they buy it like the rest of us. They are just going to be almost the entirety of the market, so naturally the products will built and priced with that market in mind.
270.
by gizmo686 2y ago
Because that's not their job. The NSA sponsored the development of SELinux because they needed something to solve their problems. The current state of SELinux does that. Why would they spend resources solving problems that they don&#x2

More ›