mrcode007

10 ms·

61.
by mrcode007 2y ago
That is not true at all. You do not need to generate a spec. All you need to do is prove a property. This can be done in many ways. For example, many things can be proven about the following program without having to solve any general probl
62.
by mrcode007 2y ago
The theory you’re alluding to says it is impossible to create a general algorithm that decides any non-trivial property of any computer program. There is nothing in the theory that prevents you creating a program that verifies a particular
63.
by mrcode007 2y ago
https://www.nature.com/articles/s41586-024-07620-9.pdf
64.
by mrcode007 2y ago
I share a similar experience and have recently completed the game on the iPhone. Next up, harvester.
65.
by mrcode007 2y ago
tl;dr The most obvious way to generate all SSNs you can think of: brute force enumeration the numbers alone are useless.
66.
by mrcode007 2y ago
What would it translate to? Inspection effect? Edit: demo effect?
67.
by mrcode007 2y ago
Pretty smart tactics
68.
by mrcode007 2y ago
Don’t forget a father of a modern oil refinery: https://en.wikipedia.org/wiki/Ignacy_%C5%81ukasiewicz
69.
by mrcode007 2y ago
I come from security background and have been following best practices since 1997 so I’m pretty sure I have not made a blunder of this sort
70.
by mrcode007 2y ago
I’m surprised there is almost no discussion about the severity of reputational damage caused by an extremely amateur bug not expected of a prominent VC firm
71.
by mrcode007 2y ago
Not of this kind
72.
by mrcode007 2y ago
Previously in the DOS era, “terminal” would allow you to render to the video buffer directly and it allowed for an ecosystem of text GUI apps to flourish. Right now, this is largely impossible because modern terminals are really emulators a
73.
by mrcode007 2y ago
NEON extension on ARM comes with CNT instruction that counts set bits.
74.
by mrcode007 2y ago
With modus tollens https://en.wikipedia.org/wiki/Modus_tollens
75.
by mrcode007 2y ago
Thanks for a thoughtful comment
76.
by mrcode007 2y ago
The power of two test is simply x & (x-1) == 0 which could be special cased through templates too
77.
by mrcode007 2y ago
> If you would like to experiment yourself, Compiler Explorer snippet can be found here https://gcc.godbolt.org/z/qGzWo39b6 Which is an x86-64 sample
78.
by mrcode007 2y ago
No. It’s a trope. Most people can’t tell the difference. It’s highly context and application specific.
79.
by mrcode007 2y ago
It uses SWAR technique for counting bits because target platform wasn’t specified in compiler flags properly. popcnt and family are specific family extensions and without specifying the target flags the compiler generates lowest common deno
80.
by mrcode007 2y ago
I’m trying to say that under mortgage, a property isn’t your asset. It’s a bank’s asset. The mortgage is booked under asset side on the balance sheet of the bank. It cannot be booked as an asset on your side. The economy wouldn’t balance. U
81.
by mrcode007 2y ago
FASB defines an asset as: “A present right of an entity to an economic benefit”. “Essential to the definition of an asset is a right to an "economic benefit" —the capacity to provide services or benefits to the entities that use t
82.
by mrcode007 2y ago
Utility is not an asset. When you grow up with your parents they provide shelter, you get a utility of it. No asset for you. Majority of assets produce cash flow (e.g. licensing software - IP asset, renting real estate to someone - you get
83.
by mrcode007 2y ago
An asset produces cash flow. Primary residence can only be a speculation device because for a majority of people it does not produce a cash flow. Instead it produces expenses.
84.
by mrcode007 2y ago
Ha. Today I learned. Is this a portable approach across macOS, Linux and BSD family ?
85.
by mrcode007 2y ago
Please show me how you cp a raw device without the concept of files. I’d love to learn. $ cp /dev/nvme0n1p1 /mnt/my-special-backup ?
86.
by mrcode007 2y ago
template<typename T> using vec = std::vector<T>; Or even using V = std::vector<T>; for a concrete type T Solves the problem. If someone denies you this, you don’t want to work there :)
87.
by mrcode007 2y ago
I think you missed the point. People attempt to solve problems with LLMs that are problems only to them because they are unaware of existing solutions that have solved the these “problems” a long time ago. If you don’t know something exists
88.
by mrcode007 2y ago
Why would you write code for that? It’s just a few lines of XSLT!
89.
by mrcode007 2y ago
It’s the same principle just scaled up. What are we talking about here? This is not some ground breaking tech. It just got a Tesla PR spin. https://youtu.be/hpgK51w6uhk?si=LfornxzEdBwvJytY
90.
by mrcode007 2y ago
Metal casting is an established technology in use for decades ,including in automotive industry, and general part making. It has a long history dating back to 1500s; this is how coins are made… https://macrodynepress.com/hyd

More ›