Nokinside

Joined 12 years ago

Karma
6,899
Submissions
1,337
Member since
Nov 18
View on Hacker News

Recent submissions

Comment · 5 months ago
They don't attempt to jam, the frequency is just little bit off to minimize damage and it's very short time. They just test the system to verify that it works.

What this reveals: Russian early warning satellite constellation has also GNSS jammers they test periodically. They can jam whole continent from single satellite. They have six satellites in Molniya orbits.

Comment · 5 months ago
Comment · 5 months ago
Because we want to write correct code. We want to verify the absence of many types of errors where amateurish language war stuff like Rust vs C does not even scratch the surface.

I would propose that we change your original statement "Ideally neither C nor C++ should be used when security matters." into:

"Ideally people who don't care about secrurity should not write code when security matters."

Can we agree that this is better than talking about programming languages?

Comment · 5 months ago
Comment · 1 year ago
It's remaining and rearrangement of the same stuff. Not a new feature.
Comment · 1 year ago
The first SoC including Neural Engine was the A11 Bionic, used in iPhone 8, 8 Plus and iPhone X, introduced in 2017. Since then, every Apple A-series SoC has included a Neural Engine.
Comment · 1 year ago
The first SoC including Neural Engine was the A11 Bionic, used in iPhone 8, 8 Plus and iPhone X, introduced in 2017. Since then, every Apple A-series SoC has included a Neural Engine.
Comment · 1 year 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 gen­er­ated 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...

Comment · 1 year 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.

Comment · 1 year ago
Comment · 1 year ago
Comment · 1 year 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.

Comment · 1 year 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."

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton