At one point I was using TLA+ but it just made the problem "is the spec right?" or "does the code match the spec?". I could ensure that the properties defined in the spec were valid, but that didn't seem to translate into confidence that my code was correct. Maybe I was holding it wrong, it was just an experiment in an area I'm unfamiliar with.
Ultimately I have stuck to the informal verification of defining my expectations and ensuring that tests cover them.
I once asked asked my professor for advice. I said, I am drawn to both doing a startup and doing a PhD. How do I do both? He advised me to choose one. “Either one will take the whole of your youth and all its energy”, he said.
can't resist given the context, but it should be embarrassing for whom.
When one says a text is embarrassing there are generally three potential objects of embarrassment, the writer, the reader, or, if there is one, the target of the text.
In the case of a manifesto the manifesto writer intends for the target of the manifesto to be embarrassed, but often the actually embarrassed is the unsuspecting writer and the cringing reader.
Your answer makes sense for me only if your boss is Elon.
For all the other companies fixing a bug has opportunity cost, they pick what to spend their resources on. Some 5 minute bug feels insignificant but if all devs start picking 5 minute bugs they fancy in a system company won't do what is needed to keep running I guess.
If a startup could have been a 100 line PHP script, instead of 50 microservices, then you wouldn't be able to work on it for the next 10 years, and hire 5 of your buds from school.
These aren't arbitrary actions, but standard menu actions (open menu, close it, activate an item). Also not sure how forcing clicks entered the scene. These are possible via keyboards in many frameworks already today.
> in spite of what the developer has predicted
The dev has "predicted" the menu by creating it in the first place? The framework just made sure that this menu is addressable by the user
> tested in their interface.
That's not a big loss, it's not like we've come to expect any serious testing of UIs anyway
> The developer has broken the standards
Yes, so? I don't understand the point relevant to this discussion. Should standards not exist if they can be broken? Should frameworks not try to make following standards easier?
Should frameworks not allow user customizations if devs can find a way to break them?
The reason is quite simple. You can split the matrix along both dimensions so you just tile it into 64x64 or whatever fits into the bank and just fill it up. The biggest problem is load balancing the tiles across all banks for maximum parallelism.
For GEMM I believe there is no point in doing PIM, you are better off with a GPU or NPU.
Imagine 5 devices that all push at 100mbit in 100 milliseconds (1gig linerate) to the target 1gig connected device, then nothing for 900ms.
On paper they are feeding 100mbit a second each to a target receiving 500mbit a second. Easily fits in a 1gig link.
But because of the timing you've got to transmit 500mbit in 100ms, or a peak speed of 5gbit.
So instead you have to buffer and delay the packets. Your near-zero latency increases to 400ms, and your switch needs about 400mbit (50MB) of buffer, or over 30,000 packets of buffer space.
You'd need a very high end switch to avoid any drops in that situation.
Microsoft also hated windows piracy and "fought" against it, later they admitted it helped their business.
As for "libertarian talking point", it is survivor bios. There are very little tech compenies left in EU. Heavy regulation burden is one of the reasons.
All EU companies that could hate GSPR are gone, and their would be owners are just random people on internet.
Feels like the most realistic/short-term way to make use of this would be to set up some barebones RTOS to run from CPU cache with the PIM memory being used for compute only and use the device as a network attached accelerator.
Alongside most-failed, SanDisk is also the most-counterfeited brand of SD card (suggested search term, "fake sandisk"). I wonder how many of the failed ones, when disassembled, turn out to not be SanDisk after all?
Honestly, Cursor's AI harness worked best with the Anthropic models. Could just be my bias though. Evaluating frontier LLM's all seem to be by vibes. I think the industry is understanding it's both the harness and the model that makes the difference; can't half ass either, and some harnesses do better with different models. I'm good to leave this "career." Senior software engineers, make your bag.
I also read the post, and have handled multiple GPDR adjacent migrations in Asia.
The end result is still the same, even with GDPR 1.1, another interstitial barrier between the user and whatever site they are trying to reach imposed by a poorly planned attempt to protect user privacy while simultaneously enabling the predatory companies who violate said privacy to continue business as usual.
The cookie banner will remain on the vast majority of sites, and users will spam click past it as they have been trained to do.
Ultimately I have stuck to the informal verification of defining my expectations and ensuring that tests cover them.