nanolith

19 ms·

181.
by nanolith 3y ago
This kind of analysis is excellent. I do recommend standardizing on hardware and toolchain for projects like these, as it can ensure that the machine code is matched. The third phase of my work will round the corner with machine code analys
182.
by nanolith 3y ago
I'm curious, have you used CBMC? The machine model tracks the array with its size and compares this to any index. This is loaded into an SMT solver. This is not a standard static analyzer. It's compiling the code to an abstract ma
183.
by nanolith 3y ago
This is one reason why I explored model checking machine code output, since at this point, the behavior is very much defined, even if it differs from implied source behavior. But, this gets complicated for other reasons.
184.
by nanolith 3y ago
In particular, one of the more important rules I made when using CBMC was to keep the search depth for each invocation as shallow as possible. If CBMC runs in less than five minutes, you're doing it right. If it takes more than that, t
185.
by nanolith 3y ago
Well, specifically, it counts uninitialized variables as being set to a non-deterministic value. The point of this tool isn't to optimize functions as a compiler would, but rather to find bad behavior based on its machine model. This i
186.
by nanolith 3y ago
CBMC's default contract for getc returns a non-deterministic integer value. A non-deterministic integer value basically counts as "pick a value that would cause this de-reference to crash the machine model". So, it will find
187.
by nanolith 3y ago
I've used CBMC in large commercial projects ranging around half a million lines of code. The secret is to break down every one of those functions into small pieces that the model checker can analyze. CBMC works best with a contract-bas
188.
by nanolith 3y ago
A warning signal for what? To need a VPN? I was hoping that our current legislators would be unable to spell "Internet", to be honest. Unfortunately, Florida has gone crazy over the past twenty years. I'd vote with my feet, b
189.
by nanolith 3y ago
The bill is pretty broad, with oddly specific carve-outs. I did not think that I would need to pay for a VPN service to avoid weird legislation in my state, but here we are. The sad thing is that, with the exception of the occasional commen
190.
by nanolith 3y ago
Jazelle and its replacement, ThumbEE, have been deprecated and removed in later architectures. On modern Cortex-A systems, there are enough resources to make JIT feasible. On smaller systems, AOT is a reasonable alternative.
191.
by nanolith 3y ago
I think it depends on the context. Calming music tends to lower heart rate. An 8 Hz difference in tuning is unlikely to cause significant interest. Most folks don't have ears trained well enough to discern pitch from memory. But, the m
192.
by nanolith 3y ago
I agree. I think that novelty is the likely driving factor here. Most folks wouldn't be able to put their finger on why the music sounds different, and that makes the music more interesting. If the music is calming to begin with, anyth
193.
by nanolith 3y ago
I can't get into the specifics, but settling out of court doesn't necessarily mean that the defendant pay anything. Consider that by both sides agreeing to drop the suit, alternative negotiations could be made. I'll let you r
194.
by nanolith 3y ago
> The EU patent office at least had the brains to reject the patent for obviousness. This helps, and actually, the one-click patent has shaken up the courts a bit. The company I worked for was sued by a competitor over a baseless patent
195.
by nanolith 3y ago
Florida, where I'm based, is also a two party consent state. The specifics of case law get quite thorny. Sometimes, consent is implied. Other times, a simple and vague message like, "for quality assurance, this call may be monitor
196.
by nanolith 3y ago
It'll be interesting to see how this one goes. A lot of this falls under obviousness. Hardware parallelization of NNs will follow similar paths that anyone skilled in the art would follow. Such paths can't be protected by patent,
197.
by nanolith 3y ago
> It's illegal to record others without their consent! That's highly contingent on jurisdiction. I don't know where she's recording this. I'm assuming that she's US-based, and even in the US, the laws vary b
198.
by nanolith 3y ago
I had long and contentious arguments about this. It really opened my eyes to how little innovators really think about these problems. From the beginning, I was concerned about ensuring that our product fails safe, that we had good ESD prote
199.
by nanolith 3y ago
One of the reasons why I love open source software is that I can maintain personal patches. I'll upstream changes when it makes sense to do so, but mostly, I keep local branches. Some of these tweaks are simple. Others are significant
200.
by nanolith 3y ago
I have a few of these boards. I've been tweaking a recognizer for a tiny conlang to run on one. I want the device to be able to recognize around 100 words for use in an edge computing context where network connectivity is limited. That
201.
by nanolith 3y ago
You can buy this device today. I bought a few on Digikey.
202.
by nanolith 3y ago
A dozen years ago, I designed and architected a "smart lock", back when that was a thing. Anyway... one of the most important features that we didn't advertise was the ability to use it without registering with the Internet s
203.
by nanolith 3y ago
> A trip to India or any other third-world country would quickly change that attitude. I don't suggest telling someone who just lost their job that they should keep a stiff upper lip. I certainly don't suggest you tell them tha
204.
by nanolith 3y ago
I've seen ex-Google employees passed on the resume pile based on assumptions about what that experience means and what sort of salary they may demand. There are no guarantees in this job market. Google employees are just like any other
205.
by nanolith 3y ago
I'm using a combination of Duolingo, Babbel, watching and reading French content, and live drilling with local French speakers. Since I live in the US, it's difficult to replicate immersion here, but I do what I can. I'm also
206.
by nanolith 3y ago
My parents bought me a GPS unit when I first moved away. While using it was convenient, I discovered that I did not actually learn to orient myself with respect to that city. It wasn't until my GPS unit was stolen and I had to go at it
207.
by nanolith 3y ago
It's not quite my daily driver yet, but I have a 65C02 based "dumb phone". The modem is a 4G LTE modem, but the electronics and interface are managed by a 65C02. It's currently being emulated on an ARM SoC, using a hand
208.
by nanolith 3y ago
One advantage to this approach is that there is less compiler magic going on. I use a similar approach, but I prefer using type safe upcasting or model checked downcasting via inline functions or explicit references to base members, instead
209.
by nanolith 3y ago
None of the fancy infotainment systems I observed the last time I went car shopping were likely to use it. They were based on third party frameworks and tools -- e.g. Android -- that weren't or couldn't possibly be built following
210.
by nanolith 3y ago
MISRA isn't typically used in infotainment systems. It's used in safety critical systems, like the car computer, which manages the monitoring and adjustment of fuel to oxygen mixture in the engine.

More ›