rrss

50 ms·

451.
by rrss 7y ago
Art of Electronics is a nice book, but pretty irrelevant to verification.
452.
by rrss 7y ago
The preprint is on arxiv too: https://arxiv.org/pdf/1510.07813.pdf
453.
by rrss 7y ago
I think you are glossing over a lot of complexity in > 4. Correctly run several software unit tests that you write to exercise instructions that may not be produced by LLVM/GCC and > 5. Correctly run tests you write to exercise s
454.
by rrss 7y ago
The processor is usually already verified on its own before it is put into a SoC. Using the raspberry pi example from another thread: broadcom designed the BCM2835 SoC, which included an ARM1176 core. Broadcom probably didn't do a ton
455.
by rrss 7y ago
raspberry pi didn't really have a new processor though. The original had an ARM11 core (designed and verified by ARM) that was almost a decade old when the raspberry pi launched.
456.
by rrss 7y ago
> if you change their source code you can have them be faster, that's an obvious to me? The question is, what kind of performance can you expect as a user using them as a library, and this benchmark is revealing of that in this case
457.
by rrss 7y ago
> I would love to improve any part of this article, if possible! You should state that the reason the neanderthal version runs faster is that it is doing the computation in lower precision than numpy / cupy. The article walks throug
458.
by rrss 7y ago
> Power users even know that Nvidia provides a drop-in replacement, CuPy, that brings the power of GPU acceleration. > but Nvidia provides CuPy > It's Nvidia's stuff Is CuPy actually developed by Nvidia? It looks like the
459.
by rrss 7y ago
Reducing Maxwell's equations from the 4-equation Heaviside form to a single equation doesn't seem like necessarily a good thing. Each of the four has a clear physical meaning in the vector calculus formulation, which may be lost w
460.
by rrss 7y ago
You didn't finish the comparison for cases for capita. Bouches-du-Rhône has ~3% of the French population and ~4% of the covid-19 hospitalizations. The department of Paris has ~3% of the French population and ~10% of the hospitalizatio
461.
by rrss 7y ago
Seems like those statistics would be pretty easily explained by Marseille being a week or two behind other areas in France on the epidemic curve. Pennsylvania: 11510 cases, 150 deaths, mortality rate 1.3% Is Pennsylvania also using HCQ syst
462.
by rrss 7y ago
I know the first one covers the Enigma, haven't heard of the second one before. It looks like the second one is the young adult adaptation of the first one.
463.
by rrss 7y ago
Yes. The kernel does this quite a bit. See https://lwn.net/Articles/620640/ for the port of the alternative patching framework to arm64, and https://patchwork.kernel.org/patch/6859741/ f
464.
by rrss 7y ago
Lol, thanks. So the 'new,' 'revised,' number is literally from that same paper too (see table 4). Little things like which country the estimate is for... 'djsumdog, it's pretty clear who is spreading misinforma
465.
by rrss 7y ago
> which is not what his original estimate said at all! That 'original estimate' is from the paper that 'alexandercrohde linked, and that's pretty much exactly what his original estimate said. > In the (unlikely) ab
466.
by rrss 7y ago
https://en.wikipedia.org/wiki/Crimson_Contagion https://int.nyt.com/data/documenthelper/6824-2019-10-key-fin... > In the exercise scenario, forcasting gives a 90% change that the pandemic
467.
by rrss 7y ago
1. TSX has been broken in varying degrees in every architecture since haswell, and not always in a nice way like "always abort." In various steppings of haswell and early broadwell TSX was in various states of disablement, meaning
468.
by rrss 7y ago
If we applied this reasoning a week or 10 days ago, when there were ~4000 cases in the United States ("we're looking at a worst case of 800 people across all the hospitals in the country"), would we not reach this conclusion:
469.
by rrss 7y ago
glibc's use of Intel TSX was also a bit of a tirefire, IMO. It got turned on by default for all locks, broke quite a few of applications (which were using locks wrong, but still), then the instructions ended up being broken in every
470.
by rrss 7y ago
The sched_* functions, as implemented by glibc, do not do what POSIX says they should. On linux, it is not possible to implement them in a way that is compliant with the standard, so musl does not implement them. Given the principles specif
471.
by rrss 7y ago
> Well, yeah, that looks like it looks elsewhere, and by the way, there's a built-in command that also would have told you this. It's entirely possible to say both these things in a much more constructive and less condescending
472.
by rrss 7y ago
There's also this NYTimes article (paywalled, unfortunately) discussing Galison's research for "Einstein's Clocks, Poincare's Map." > Einstein's relativity has long been regarded by scholars as a monume
473.
by rrss 7y ago
For those interested, Peter Galison has written a bit about his thoughts on how Einstein's work at the patent office influenced his work on physics. This interview is pretty interesting: https://history.aip.org/exhibits
474.
by rrss 7y ago
More food for thought, as I've been thinking about this: 1. std::thread::hardware_concurrency This is the number of threads that can execute in parallel, no? 2. "Memory-level parallelism" How many memory operations can be &qu
475.
by rrss 7y ago
Does anyone know the history behind the distinction between concurrency and parallelism presented here? The most frequent reference I see is Pike's "Concurrency is not parallelism" talk, but I'm curious who first came up
476.
by rrss 7y ago
> stale cpu cache reads Every multiprocessor system nowadays has coherent caches for normal memory, meaning that if you have reads that you perceive as stale, it isn't because of the cache, but because the hardware doesn't guar
477.
by rrss 7y ago
Somebody has to maintain the operating systems and a metric ton of system software written in C. It cannot be magically all switched to Pony or Rust overnight.
478.
by rrss 7y ago
Yes. As long as you use correctly-constructed synchronization primitives (e.g. pthreads), you don't need to worry about memory consistency. When you need to start worrying is when you start implementing your own synchronization (either
479.
by rrss 7y ago
https://buy.hpe.com/us/en/servers/apollo-systems/apollo-70-s... https://www.gigabyte.com/us/ARM-Server/Marvell-ThunderX2
480.
by rrss 7y ago
What would the case look like? CA has laws on the books that gives county health officers the authority to do basically anything in a state of emergency. What would the argument be to overturn those laws?

More ›