Viewing profile — Nokinside

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: R…

Sounds familiar. If one of the authors Lemire? Of course. SIMD-accelerated integer-to-string conversion https://lemire.me/blog/2026/05/18/simd-accelerated-integer-t... Other speedy…

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…

Explain to someone like me who uses C in safety-critical software in aerospace and defense why not? For me, choosing the language is not enough. It's the tooling that goes far beyo…

It's remaining and rearrangement of the same stuff. Not a new feature.

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 Engi…

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 Engi…

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++ b…

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. M…

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…

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…

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 w…

> 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 y…

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.

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 stro…

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…

I have been looking at their patents. Seems well defended and methodological. Someone like Intel, Nvidia or AMD might buy them soon. Speedup is realistic. Multicore SMP or NUMA are…

Biboys sold for near $50 million to ATI, then it was sold to Qualcomm. This is how most semiconductor startups work. Do better and show innovation that is bought buy bigger players…

Pro tip: If you want to know who is the king of AI chips, compare FLOPS (or TOPS) per chip area, not FLOPS/chip. As long as the bottleneck is the fab capacity as wafers per hous, t…

If I remember correctly Caltech is in the quality over quantity group as well. Something like 100 - 150 graduates per year. Here is some data: CHIPPING AWAY ASSESSING AND ADDRESSIN…