Nokinside (u/Nokinside)

Nokinside commented on C Tooling tomscheers.github.io/2025... · Posted by u/tbs4

Nokinside · 3 hours ago

That's just start.

The bleeding edge uses abstract interpretation to verify code.

Free from NASA: IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation. https://github.com/NASA-SW-VnV/ikos

Commercial: Astrée is a static analyzer for safety-critical software written or generated in C or C++. https://www.absint.com/astree/index.htm https://www.absint.com/astree/index.htm

abstract interpretation for static analysis and verification:

Good intro Mechanized semantics, fifth lecture Abstract art: static analysis by abstract interpretation https://xavierleroy.org/CdF/2019-2020/5.pdf

Static Analysis and Verification of Aerospace Software by Abstract Interpretation https://mine.perso.lip6.fr/publi/article-bertrane-al-fntpl15...

Nokinside commented on Apple May Tap Intel to Manufacture Future M-Series Mac Chips bgr.com/1921034/apple-int... · Posted by u/9cb14c1ec0

duxup · a month ago

>That said, if Apple taps Intel to manufacture its future M-series chips, this could make production cheaper, as TSMC wouldn't be the only company responsible for making Apple's best chips. In addition, this could also make upcoming processors even better, as both manufacturers would fight to get the latest technologies and offer them to Apple.

I thought Apple was very tightly coupled with TSMC as far as the manufacturing process, to the point that I'm not really sure Intel finds any magic savings that TSMC or even Apple hasn't already identified for the same chips.

Nokinside · a month ago

It'll be the same for Intel with their new process node.

Everyone working with the latest process node is tightly coupled with the manufacturer: Nvidia, Apple, AMD, and Qualcomm. Microarchitecture design and optimization for a new process is super expensive and hard.

Legacy processes have settled, have standardized design software and tooling, so everything costs less.

ps. Nvidia and Qualcomm are considering Samsungs 2mm because TSMC's 2-nanometer chip production capacity is extremely limited.

Nokinside commented on An almost catastrophic OpenZFS bug and the humans that made it despairlabs.com/blog/post... · Posted by u/r4um

Nokinside · 2 months ago

Software verification tools based on abstract Interpretation are really good today.

If you want free software I recommend IKOS - a is a sound static analyzer for C/C++ developed at NASA. Checks: https://github.com/NASA-SW-VnV/ikos/blob/master/analyzer/REA... Numerical abstract domains: https://github.com/NASA-SW-VnV/ikos/blob/master/analyzer/REA...

Commercial tool like Astree https://www.absint.com/astree/index.htm if you have money.

Nokinside commented on Did 5G kill the IMSI catcher? zetier.com/5g-imsi-catche... · Posted by u/skramace

aerostable_slug · 4 months ago

The Soviet/Russian station in San Francisco was heavily involved in SIGINT back in the days of microwave radio trunks and analog mobile phones, and I would imagine the Chinese have taken the throne from them today.

Nokinside · 4 months ago

Few years back suspected Israeli IMSI-catcher was fond in DC https://www.politico.com/story/2019/09/12/israel-white-house...

APNewsBreak: US suspects cellphone spying devices in DC https://apnews.com/general-news-d716aac4ad744b4cae3c6b13dce1...

Nokinside commented on Did 5G kill the IMSI catcher? zetier.com/5g-imsi-catche... · Posted by u/skramace

jeroenhd · 4 months ago

Criminal IMSI catchers are pretty much dead, but with the aid of carriers law enforcement can still use similar technology even with full standalone 5G networks. I don't know how often unauthorized IMSI catchers are used in the wild, but I doubt it's a relevant percentage of the total amount of IMSI catchers out there.

Thanks to mmWave and beam forming, 5G allows operators to practically track you down to the exact centimeter in 3D space. Furthermore, depending on how willing the firmware of your modem is, the signal used to transfer GPS coordinates to the carrier for emergency response situations can also be triggered remotely by carrier hardware.

Basically, who needs IMSI catchers when you can just see all of the information you'd get from them remotely on a computer screen on the other side of the country?

Of course this is great to protect against criminals that are looking to find your personal phone number or whatever by showing up to your doorstep, but for the vast majority of cases, IMSI catchers are defeated because they're no longer necessary.

Nokinside · 4 months ago

It's common to discover IMSI-catchers in national capitals around the world. There are many interesting targets.

Washington, D.C. mobile traffic is probably the most spied in the world. Especially now when it's run by technological cavemen and overly confident techbros. Israeli, Russians, Chinese, French and everyone.

Nokinside commented on Curtis Yarvin Says Democracy Is Done. Powerful Conservatives Are Listening nytimes.com/2025/01/18/ma... · Posted by u/bryan0

logicchains · 5 months ago

>In which manner, in this theories, do you measure the performance of the « dictator »/CEO/president? Is it based on objective KPIs decided ahead of time? or are the KPIs supposed to be evaluated by the consumers/electors/ people?

The Magna Carta had a solution for this:

> Under what historians later labelled "clause 61", or the "security clause", a council of 25 barons would be created to monitor and ensure John's future adherence to the charter.[46] If John did not conform to the charter within 40 days of being notified of a transgression by the council, the 25 barons were empowered by clause 61 to seize John's castles and lands until, in their judgement, amends had been made.[47] Men were to be compelled to swear an oath to assist the council in controlling the King, but once redress had been made for any breaches, the King would continue to rule as before.

Such an arrangement can only work when at least some part of the populace is well armed enough to overthrow the government if things get too bad.

Nokinside · 5 months ago

> least some part of the populace is well armed enough to overthrow t

What a naive fantasy.

Organization of people is much more important than guns. You don't even need guns when you organize. You can stop the state just by collective action. See color revolutions.

When it is guns, you need RGP's, detonators and TNT (and drones), a good underground insurgent logistic chains. You also need commit to life in poverty and eventual death.

United States, Hungary, Turkey, Russia, Serbia have plenty of independent weapons, yet there is no fear of effective armed resistance. Everybody is a rebel in the Internet. When things go tough it's "I have to go to work and eat. My family needs me."

Nokinside commented on A380neo? Emirates pushes for a modernized version of Airbus' SuperJumbo aviacionline.com/a380neo-... · Posted by u/mpweiher

Nokinside · 5 months ago

It was just a question of time.

Even without spoke-and-hub model, hubs grow and there are more hubs. Airports are the bottleneck. 500 passengers per landing adds capacity.

Nokinside commented on Curtis Yarvin Says Democracy Is Done. Powerful Conservatives Are Listening nytimes.com/2025/01/18/ma... · Posted by u/bryan0

Nokinside · 5 months ago

I belong to the same X-gen group as Marc Andreessen, Curtis Yarvin, Elon Musk,Peter Thiel, and others. I have a background in computers and am financially independent.

While I strongly disagree with them, I feel an affinity and familiarity with their thinking. I have read the same books, seen the same news, and lived in the same era. I understand how they arrived where they are now.

The Neo-reactionary movement seems exactly like what my generation comes up from the right. Dark Psychology of Dark Enlightenment is a cyberpunk sci-fi world as a fantasy. To live with societal collapse, dystopia and decay with low-life and high-tech. Always framing oneself as an independent outsider and a rebel. Sarcasm as a reflex. These guys see themself living in William Gibson's Neuromancer world.

Nokinside commented on AI chipmaker Cerebras files for IPO cnbc.com/2024/09/30/cereb... · Posted by u/TradingPlaces

Nokinside · a year ago

They use the whole wafer for a chip (wafer scale). The WSE-3 chip is optimized for sparse linear algebra ops, used 5nm TSMC process.

Their idea is to have 44 GB SRAM per chip. SRAM is _very_expensive_ compared to DRAM (about two orders of magnitude).

It's easy to design larger chip. What determines the price/performance ratio are things like

- performance per chip area.

- yield per chip area.