Nokinside

It's true claim, no potential error is ever omitted. It may be hard to get code pass because there are false alarms, but when it passes it holds.

We are talking code without dynamic memory allocation, recursive function calls, no system and library calls, of course. Like some embedded aerospace, automation, healthcare and military applications. You can use it to verify some libraries if you can't do full coverage. Application domain abstractions are also available.

NASA has open source tool called IKOS based on same abstract interpretation concept, but I don't know it's features.

I have written safety-critical code and nobody has a test suite that could do what Astrée does. It can be used to proves the absence of errors with the abstract interpretation that catches all divisions by zero, data races, and deadlocks, and does static taint checking.

You want a test suite, but it's never better or good enough.

Abstract Interpretation in a Nutshell https://www.di.ens.fr/~cousot/AI/IntroAbsInt.html

Where does your phone connect to?

There are only handful of mobile network infrastructure providers left in the world. Huawei 30%, Ericsson , Nokia, ZTE. Samsung replaces ZTE in base stations.

Satellite data is cheap, but it will never be as cheap as alternatives when they exist.

Satellite data is bandwidth limited. A single StarLink satellite has 20 Gbps bandwidth (with 2polarization 64QAM modulation). That's roughly equal to four or five 5G base stations (uplink speeds). Most of the time satellites are over the seas with only a few customers, so we are talking maybe max 5-10% utilization.

Satellite data will never be competitive in urban areas. The value comes from rural and remote regions, ships and aircraft. Smaller number of customers means higher price.

Facts known from the start seem to flow slowly into the public knowledge.

Arizona fab was always going to be a MegaFab, not a GIGAFAB® in TSMC terminology.

MegaFab's (25K+ WSPM/month) are for medium value, flexibility, cost, delivery precision, customers. US defense contractors for example. Not for some massive customers like NVIDIA or Apple.

Yes. Secure boot (HABv4) and storage (SNVS), secure RAM, ARM TrustZone®, cryptographic accelerators,

developed entirely in-house by WithSecure Foundry and is manufactured in Italy. The schematics and layout are open to the public as well as its core software, drivers and tools.

Syntax is similar, semantics not at all.

Tucker was central figure in $787 million litigation. $800 million is meaningful chunk of profits Fox News made in 14 years Tuckers was there.

Either Tucker was underpaid, or he was not worth it.

People who designed Java are on the record expressing elitist reasons for Java's success and design goals. It boils down to: Java classes allow code monkeys to write spaghetti code that is forced to stay inside classes designed by others.

The reason I always hated Java was because it was designed by good programmers for bad programmers in a looking down at them way, not a good programmers for themselves to use.

btw. Java design team licensed the Oberon compiler sources years before to study it.

> Java was perceived (quite rightfully) as a C++ with the rough edges filed off.

Java has only familiar surface syntax.

Semantics has almost nothing common with C++. Different object model, memory model, execution model, ...

That's the genius of both Java and Javascript. Make it look familiar without being one at all.

You express beautifully the Worse is Better philosophy. Worse is a preferable option to better in terms of practicality and usability.

Innovation loses to taking small steps to improve the worse alternative. Community is built around tinkering and fixing errors, getting around design failures.

There were many:

1. Java,

2. Inferno,

3. Oberon System (Niklaus Wirth, ETH Zurich),

4. Squeak (Apple, Walt Disney Imagineering)

5. Erlang (Ericsson, Joe Armstrong) still going strong.

IMHO, Technologically Java was the worst and least innovative. Platform adaption is "Worse is Better" so Java won.

Oberon, Erlang and Squeak were are all amazing in their own way.

Business school type leadership rarely works in high tech. Important decisions are technological decisions.

It's easier to pick senior engineers from the industry and give them business education than vice versa. There is also special field called industrial engineering that trains people to manage and lead industrial processes.

Semiconductor industry has the deepest and most complex value chain in the economy.

TSMC has always been pure fab company and it pays off now. Samsung and Intel are also in chip design business and do other things. They are less focused. TSMC's lead is not guaranteed. Any new technology node can fail and remove them from competition if they make wrong choices.

I'm not exaggerating when I say that designing a new technology node for mass production is like a moon program. TSMC designs new node every few years, builds a fabs that cost 20+ billion. ASML machines are the most expensive tooling there but they are just part of the whole.

Intel and Samsung are almost as good, but small differences have huge impact in the final result and timing. Small percentages in final yield can make a difference.

When I see picture of an old computer, I remember how it smelled. Very nostalgic feeling.

As long as the company revenue keeps growing 30-40% annually criticizing Qt pricing is not relevant. Annualized total return for past 5 years is 63%.

QT is pivoting towards embedded industries away from pure Mobile/PC markets.

Haraldur Thorleifsson is the creator of the design studio Ueno, which Twitter purchased in 2021. The deal was structured so that he gets paid the entire deal upon his termination.

This tweet rant can cost up to $100 million for Musk.

>He’s not paying anyone

It's mostly dirty tactics. Musk estimates that significant amount of employees are not smart enough to get what they are owned. He tries to get away without paying. Only those people who sue for wrongful termination, or unpaid bonuses get paid.

Musk did not realize how expensive it can be to fire him. Haraldur Thorleifsson is the creator of the design studio Ueno, which Twitter purchased in 2021. The deal was structured so that he gets paid the entire deal upon his termination-

This tweet rant can cost up to $100 million for Musk.

Huawei's 5G MetaAAU series is currently the best active antenna processing unit in the market. It has the best performance, energy efficiency and easiest deployment.

There are only 3 big mobile infrastructure providers: Nokia, Ericsson and Huawei.

Good news for Nokia and Ericsson.

Huawei's 5G MetaAAU series is currently the best active antenna processing unit in the market. It has the best performance, energy efficiency and easiest deployment.

>that the only reason anyone cares about their product is its open source pedigree and credibility

That's not really the case. Paying customers don't give a shit about the open source license and the company is growing fast. https://www.qt.io/investors/share-and-financials

Total return 977% in last 5 years. CAGR 46%. https://www.qt.io/investors/share-and-financials/share/

Don't be. There is legally binding contract that prevents Qt Company from unilaterally changing the licensing deal (until KDE stops using Qt).

Qt is a great example of how you can force commercial highly profitable company to develop open source against their will even after it's sold multiple times. Trolltech and KDE jointly formed the foundation to make sure that Qt core stays open source.

Licensing agreement has not changed. Qt Company just stopped doing anything not required by the agreement between The KDE Free Qt Foundation and The Qt Company. https://kde.org/community/whatiskde/Software_License_Agreeme...

This is also how PLC's in industrial automation work. In general, any large hard real-time system. Factories and assembly line automation has a system of state updating devices.

They were initially programmed using Ladder Diagrams, then STX (Structured text) a Pascal like language and IL (Instruction List), Sequential function chart, or Function block diagram. These all use Common Elements (IEC 61131 standard) so, you can mix languages.

More than 50% of large distributed system downtime is caused by configuration errors, failed software updates, or network attacks.

With configuration error, or failed software update everything can go down at once, or there are cascades of restarts that kill the system.

Sounds like Bill Gates. He yelled and bullied people to get what he wanted (and he has admitted it). Steve Jobs was also part of this club, more or less.

There is no denying this type of uncivilized abusive leadership works sometimes. It drives off people not suited to it, but results speak for themselves.

Complete opposite approaches work also. I think it's tied to leaders personality. Asshole can't succeed with nice guy strategy, nice guy can't succeed with asshole strategy.

Just like Steve Jobs, Bill Gates, Howard Hughes, Henry Ford. He is not an executive with MBA or law degree. He is industrialist who focuses on managing technology.

Twitter is not his area of expertise. He excels in factory management and manufacturing technology, so lets see what happens.