addaon

10 ms·

121.
by addaon 4mo ago
Trying to write a formally verified simplified (1D) implementation of Ruckig, more to learn the tools than for the result, although I want that too. Some fun challenges with numeric stability (using the big hammer of arbitrary precision to
122.
by addaon 4mo ago
That movie was far better than it had any right to be.
123.
by addaon 4mo ago
The pointer represents your (pointer) finger. Single-finger motions affect the pointer. Scrolling motions affect a representation of the document. When I move my (real) finger up, my (real) finger moves up. When I put my (real) finger on a
124.
by addaon 4mo ago
> The type is a pointer to quite literally anything No, it can only be a pointer to an object. It can't be a pointer to a function, for example.
125.
by addaon 4mo ago
> You're not allowed to get all high and mighty about AI water use if you still eat meat. What is the origin of this rule? What is the enforcement mechanism?
126.
by addaon 4mo ago
> "these two loops compute the same value" At what sequence point? The branchless version writes to small_numbers[smlen], for any given value of smlen, potentially more than once; so there are observable points of time during t
127.
by addaon 5mo ago
That's exactly the point... the total number of outstanding shares increases, as does the capital value. These changes should cancel out.
128.
by addaon 5mo ago
Why? There’s $80B of dilution from new shares issued, so to keep share prices constant market cap would have to increase by $80B. Simultaneously, there $80B in additional assets on the balance sheet, so if the company was previously correct
129.
by addaon 5mo ago
> The reason it worked there is that the designers of the system didn't anticipate that the AI will agree to accept any email (maybe they even put guardrails against it in the system prompt, we don't know). These are contradict
130.
by addaon 5mo ago
The argument (which may or may not be valid, just explaining it) is that companies do not lease space (or take any action), people do. And the same individuals who are able to make leasing decisions for office space are co-invested in comme
131.
by addaon 5mo ago
But tests show you if a bug is happening, they don’t help you understand the underlying cause of the bug. In a decade, you haven’t hit a compiler codegen issue, a silicon erratum, a race condition, or anything that required actually spendin
132.
by addaon 5mo ago
The whole point of the medallion system was to artificially limit supply — not with the purpose of driving up cost (although, yes, that was a secondary effect), but with the purpose of making the city more pleasant. There’s a trade off in t
133.
by addaon 5mo ago
8x scaling over a time period where the available size and performance of single-image systems increased by more than 8x seems… if not trivial, at least not an “insane achievement.”
134.
by addaon 5mo ago
Yes. Discrete 74 series TTL logic ICs were quite obsolete; CMOS versions replaced them. But now with new generations that are not level-compatible with the TTL versions, the TTL versions are even more obsolete.
135.
by addaon 5mo ago
Objective-C and C?
136.
by addaon 5mo ago
C code formally proven correct with Frama-C WP has been... marginal. The models do better than I expected at the proof portion (with ChatGPT 5.5 seeming to have a meaningful lead), but they all have a hard time (a) writing really good C cod
137.
by addaon 5mo ago
I do. I don’t have a browser for my television, though.
138.
by addaon 5mo ago
> If you think you can't quit youtube Just stop paying for Pro. I made it less than one day with the ads.
139.
by addaon 5mo ago
This is humor.
140.
by addaon 5mo ago
See e.g. the very-popular Eigen library, in which the type CommaInitializer basically exists for the sole purpose of overloading `operator,`, allowing a cleaner matrix initialization syntax. https://gitlab.com/libeigen/
141.
by addaon 5mo ago
LEDs are chips; some of the energy goes to light (which will be heat eventually, but not necessarily locally). Some chips also have measurable piezo effects, turning some energy into sound. And of course various data storage technologies (e
142.
by addaon 5mo ago
That covers the ‘int’ case, but not the ‘integer’ case described. Unless you have unlimited memory, you’ll need to go least- to most-significant digit; but you’ll need to do that on both inputs, which doesn’t really work with the interface
143.
by addaon 5mo ago
> There are maybe 5 x86 or ARM variants to care about at any given time What? There are individual chips with nearly that many ARM variants, including incompatible ISAs (M0 vs R52) and compatible-but-very-different-performance-characteri
144.
by addaon 5mo ago
There's Vale [0] as a structured high-level assembly language, but pretty far from usable right now. I do hope it matures. Basically: All non-control-flow instructions can be directly supported. Control flow is lofted to a higher level
145.
by addaon 5mo ago
From Wikipedia: > The Half-Möbius electronic topology is a form of quantum topology in molecular science in which the π-orbital basis of a cyclic molecule undergoes a 90-degree phase twist per revolution around the ring, requiring four c
146.
by addaon 5mo ago
"70% of Malawians live on less than $2.15 a day. Under the World Bank’s revised $3-a-day poverty line, it’s 75%." This sounds like an extremely bimodal distribution -- a 40% increase in the cut-off line only captures 5% more of th
147.
by addaon 5mo ago
https://xkcd.com/605/
148.
by addaon 5mo ago
That's not a real "no true Scotsman" fallacy. A real "no true Scotsman" fallacy rejects a counter-example, this was a strawman.
149.
by addaon 5mo ago
> just for some shortcoming in your own capabilities? It's a shortcoming each of us will have, if we're so lucky as to live that long.
150.
by addaon 5mo ago
I assume any dealer who's comfortable signing a contract (terms of service) on your behalf is comfortable with you signing a contract on their behalf. Time to write yourself a new car.

More ›