HackerTrans
TopNewTrendsCommentsPastAskShowJobs

snaky

no profile record

comments

snaky
·8 वर्ष पहले·discuss
My impression is it's rather low-level verification and modelling language comparing to the platforms like Kami (https://deepspec.org/entry/Project/Kami)
snaky
·8 वर्ष पहले·discuss
And the probability to find the corner case ('input = 0') for the simplest expression ('value = 1 / input') this way is not quite astounding.
snaky
·8 वर्ष पहले·discuss
Especially considering you could generate faster C code than written by hand. With Proofs, Without Compromises http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP1...
snaky
·8 वर्ष पहले·discuss
JVM and .NET ports - https://github.com/castortech/mdbxjni and https://github.com/wangjia184/mdbx.NET are listed there as well.
snaky
·8 वर्ष पहले·discuss
Maybe it would be better to start with https://github.com/leo-yuriev/libmdbx
snaky
·8 वर्ष पहले·discuss
Zilog Z80, 1976

> Faggin: Yes, we were concerned about others copying the Z80. So I was trying to figure what we could do that that would be effective, and that’s when I came across an idea that if we use the depletion load the mask that doesn’t leave any trace, then I could create depletion load devices that look like enhancement mode devices. And by doing that we could trick the customer into believing that a certain logic was implemented, when it was not. Then I told Shima, “Shima, this is the idea how to implement traps. Put traps, you know, figure out how to do the worst possible traps that you can imagine,” and then Shima with his mind, that was steel mind, was able to actually figure out a bunch of traps that he could talk about.

> Slater: You want to tell us a little about that Shima?

> Shima: I didn’t count [on] talking about that mostly. I placed six traps for stopping the copy of the layout by the copy maker. And one transistor was added to existing enhancement transistors. And I added a transistor looks like an enhancement transistor. But if transistors are set to be always on state by the ion implantations, it has a drastic effect on very much. I heard from NEC later the copy maker delayed the announcement of Z80 compatible product for about six months.

http://archive.computerhistory.org/resources/text/Oral_Histo...