Patents are designed to make it worth to invest in research and development, by granting a law-protected exclusive use for a period of time. If you put taxes on holding a patent, the developer/manufacturer will just add that on top of the consumer price (remember, exclusivity - nobody else can manufacture it), or will just not bother with the R&D in the first place, if the consumers are not willing to pay for that.

Some patent reform is probably warranted. Maybe a patent should be valid for a shorter period, or maybe it should not be possible to "extend" patents through various tricks.

I thought that was a complete no-no for republicans?

Tariffs are actually *tax cuts*. Karoline Leavitt told me so, very strongly.

My prediction is that once WebAssembly gains direct DOM bindings you will see an explosion of alternatives (both shitty and non-shitty) frameworks for client-side apps. When developers can choose one language and use it on both client and server they will gravitate to that.

The numbers reported are year-over-year inflation. So if inflation was 9% last month (i.e. september 2022 compared to september 2023) and it is now 3% (november 2022 compared to november 2023).

Your numbers would be correct if you started out with $100, kept them at home sewn into the mattress, and then for a whole year the inflation was 9% and then the following year was 3%. But it is a bit more complicated than that.

Yeah, exactly. And they are stuck in the past thinking they are running against an ex- president who is absolute not running, thinks Victor Orban is the leader of Turkey, and that World War II is yet to be fought, and that hummus is a terror-organization. (I guess the latter could be true if you classify garlic as a weapon).

> What UI platform do you use? Bootstrap? React?

React is a JS framework. Blazor is a C# based framework for the same thing.

With React you code in JavaScript or TypeScript. The templating "language" is JSX or TSX. With Blazor you code in C# (or another .NET language) and the templating "language" is Razor.

You don't need to use JavaScript with Blazor. You use C# which compiled to WebAssembly instead.

With Blazor (like React) you produce HTML and CSS. It is not tied to any specific design system. You can use Bootstrap, Tailwind, Material, Fast or whatever.

"Ghastly," continued Marvin, "it all is. Absolutely ghastly. Just don't even talk about it. Look at this door," he said, stepping through it. The irony circuits cut in to his voice modulator as he mimicked the style of the sales brochure. " 'All the doors in his spaceship have a cheerful and sunny disposition. It is their pleasure to open for "you, and their satisfaction to close again with the knowledge of a job well done.' "

- Douglas Adams (HHGTTG)

Python is slow. To make Python not slow, Python allows for easy integration with libraries/modules/extensions written in C, C++ or some other non-memory-safe language, like Pandas.

A language that relies heavily on foreign function interfaces will carry with it the risk of those FFIs.

There are more memory corruption bugs than buffer overflows. But your point is valid.

memory_leak != memory_corruption

C# itself has no leaks, but you can certainly write a program that will leak memory, i.e. by storing objects in a list or dictionary that you forget about.

But that does not lead to memory corruption security vulnerabilities. It simply leads to the program crashing out when memory runs out. That crash will still be controlled.

Formally proving software is an actual thing. There are theorem provers (Agda, Coq etc) which can assist in this work.

Google is not making a statement that they will formally prove their own software, only that they are building on a microkernel which has been formally proven. Which is still a big deal. Formally proving functional and security requirements of a kernel is a lot of work.

https://ancillary-proxy.atarimworker.io?url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2F....

> At the very least, they could have continued to accept cash transactions.

Nobody uses cash in Denmark. It's all MobilePay, Apple Pay, plastic or apps. It's been years sine I last saw cash.

It's the browser or mail client that taints the file with it's "Internet origin" mark. Download a file using a browser or save a file received through an email and it will be tainted, unless you use some obscure mailclient or browser which does not follow the guidance.

The "from Internet" taint of files in Windows rely on the user agent. Mail clients and browsers are expected to "taint" files downloaded using the application. All browsers respect this, and I believe that all mail clients do so as well. But it really comes down to the program you use to download the file.

This ability to "taint" a file has been in Windows since Vista (at least).