smallpipe

15 ms·

121.
by smallpipe 5y ago
I agree it’s workable, but it’s a bit of a hack. Commercial formal verification software for RTL has this built-in, and once you have 10+ people updating a spec, you need an automated way of checking for accidental constraints.
122.
by smallpipe 5y ago
The tool is also pretty abysmal at telling you why it can’t parse the thing you wrote. For me that was the reason #1 it’s hard to learn. The other reason I don’t use it is that it’s very hard to inspect what you’re running. You can’t write
123.
by smallpipe 5y ago
Fantastic news. It’s such a debilitating disease even for people who don’t die from it. A whole life of frequent crises.
124.
by smallpipe 5y ago
A great TL;DR from Matthew Green is available at [0] [0] https://twitter.com/matthew_d_green/status/14051691818808934...
125.
Evidence France might have backdoored GPRS encryption [pdf](eprint.iacr.org)
3 points by smallpipe 5y ago|2 comments
126.
by smallpipe 5y ago
Modern embedded cores have self-testing code that detects anywhere from 50% to 90%[1] of faults in the hardware, including from ageing. If google and the other hyperscalers complain enough, there’s no reason Intel couldn’t give them some se
127.
by smallpipe 5y ago
That’s called dual core lockstep and it’s very common in automotive and other applications where reliability is paramount.
128.
by smallpipe 5y ago
For the scroll direction check this out https://pilotmoon.com/scrollreverser/
129.
by smallpipe 6y ago
Interesting that you chose to actually host it given the time constraints! I would probably cheat and run a server locally (say python -m http.server 80) and add the domain to /etc/hosts
130.
by smallpipe 6y ago
This is fun and all, but the benchmarks here aren't really what the author seems to think they are. This isn't "computationally expensive", the script is basically only control flow, where the CPU spend more time doing v
131.
by smallpipe 6y ago
> "Apple is complicit and profiting from piracy by selling phones on which it's trivial to install pirated games". I'm not seeing any of these headlines with Android
132.
by smallpipe 6y ago
Using completely wrong greek letters in the title is making me very uneasy for no good reason
133.
by smallpipe 6y ago
I’ve used it to copy a matlab library into hobby software, whilst being able to debug it to compare. Details in my previous comment: https://news.ycombinator.com/item?id=25441585
134.
by smallpipe 6y ago
Thanks for the tip! I’ll have to go back and check.
135.
by smallpipe 6y ago
Octave is fantastic. Just yesterday I was trying to help find a bug in a hobby GPS software, where the map projection was off by a bit, resulting in surfaces that were off by 5% compared to Google Earth. Someone had written a little librar
136.
by smallpipe 6y ago
Something I don't really understand coming from arch, how am I supposed to handle the system installation? Why is partitioning not part of a config file, but done at installation?
137.
Doomsday prepping for less crazy folks(lcamtuf.coredump.cx)
1 points by smallpipe 6y ago|0 comments
138.
by smallpipe 6y ago
Very true, but that’s the classic 32b arch only, aarch64 is much cleaner. The next big A class CPUs will be aarch64 only.
139.
by smallpipe 6y ago
Cambridge is small enough, and cycle-friendly enough that nothing is more than 15 minutes away. Bumper-to-bumper is a choice (assuming you live reasonably near the centre)
140.
TL-Verilog(redwoodeda.com)
1 points by smallpipe 6y ago|0 comments
141.
by smallpipe 6y ago
Low background lead was recently mentioned on xkcd[0]. Maybe that circled back to HN? [0] https://xkcd.com/2321/
142.
by smallpipe 6y ago
I don't think the explanation for fill_array.c and fill_array_out_of_order.c is correct. Unless you're running on a massive server, you're not getting anywhere near 300MB of cache. Modern CPUs have optimizations that bypass L
143.
by smallpipe 6y ago
Python might have changed since this was written, but on my machine, with any number, it finishes in 0.0s! My understanding was that to access a variable, python does a dictionary lookup to match the name to a memory location, which would e