Nathan P. Johansen

[Nathan P. Johansen @NPJ2012]

Dance like no one is watching you …

https://t.co/auSpGrAIee

[JP Aumasson @veorq]

as a BLAKE3 codesigner, happy to be one of judges in HashSmash! https://t.co/Jko7ixNVip 💥

[Cliff Pickover @pickover]

Mathematics.

Free book PDF. "Introduction to Probability," 2nd edition, by Charles M. Grinstead and J. Laurie Snell.

"Probability theory began in seventeenth century France when the two great French mathematicians, Blaise Pascal and Pierre de Fermat, corresponded over two problems from games of chance. Problems like those Pascal and Fermat solved continued to influence such early researchers as Huygens, Bernoulli, and DeMoivre in establishing a mathematical theory of probability. Today, probability theory is a well-established branch of mathematics that finds applications in every area of scholarly activity from music to physics, and in daily experience from weather prediction to predicting the risks of new medical treatments."
Link: https://t.co/JxZlnwr6Gi

[DIA @DefenseIntel]

New release: DIA's “Analyzing Will to Fight” gives analysts a framework to determine an actor’s ability to survive and sustain combat, accomplish the mission, and prevail over the adversary.

Find the framework and background: https://t.co/ON11JGGJVT

[Xanadu @XanaduAI]

Exciting quantum milestone from RBC (@RBC)!

Great to see them advancing their quantum strategy by launching a hands-on workforce training program using PennyLane (@PennyLaneAI)'s open-source software to build real-world application capabilities—supported by new academic partnerships with the University of Waterloo (@UWaterloo) and the University of Toronto (@UofT).

A massive step forward that strengthens quantum talent and accelerates the entire ecosystem.

Read more: https://t.co/opXS01Oa3P

[Steven Strogatz @stevenstrogatz]

Kevin Buzzard on why he is excited about math in the age of AI:

https://t.co/kYvo188BrG

[Bartosz Naskręcki @nasqret]

Major announcement in mathematical formalization!

Finally, after 3 months of very intensive, nonstop work by several AI agents (Codex and Claude Code), we have settled a classification of ALL 15,973 semigroups of order 6. Every one of the 15,969 that has a finite basis now has it written down explicitly, and the remaining 4 are proved to have none at all.

The whole list of bases is produced for the first time in history. Until now, for most of these semigroups, mathematicians only knew that a basis exists; nobody had ever written one down. The formalization in Lean, orchestrated with a multi-agent approach, reached more than 5 MILLION lines of verified Lean code, one of the largest auto-formalization projects to date.

It's been an amazing joint work with @JanotaMikolas and @Jan_Hula, accompanied by senior experts in semigroup theory, João Araújo and Edmond W. H. Lee.

Our paper describing this project, "Proving at Scale for Universal Algebra", has been accepted at the MATH-AI workshop, NeurIPS 2026!

When we launched this project, we were a bit pessimistic: producing proofs for 15,973 semigroups seemed out of scope for the current technology. But with a careful setup (agents communicating through a mailbox we arranged, orchestrating the effort with a custom method of bootstrapping and auto-research), it has finally come to the finish line. The last 390 semigroups took 23 more days. The very last one needed a whole structural analysis before its proof could even be written.

[QuantumAnalysis @Qtumanalysis]

ONE QUANTUM ANTENNA CAN HEAR THE ENTIRE RADIO SPECTRUM.

Every antenna in the world is built for one slice of radio. The physics forces it, an antenna has to be roughly the size of the wavelength it's catching, so a low frequency HF antenna is tens of meters long and a Ku-band dish is a small plate. A warship or an aircraft carries dozens, one per band, and every one is a visible, jammable piece of metal, but this is changing.

Infleqtion's Quantum Spectrum does it with a cloud of atoms. Excite cesium atoms into a Rydberg state, where the outer electron orbits far from the nucleus, and the atom becomes exquisitely sensitive to electric fields. Shine a laser through the cloud and you can read any radio signal passing by. The current generation covers 1 MHz to 12 GHz continuously in a single aperture, HF through Ku band, with a roadmap that stretches toward terahertz. It fits in a 4U rack unit, down from 9U a generation ago, with chip scale packaging on the roadmap.

Why militaries are paying for it: It listens without transmitting, so it can't be detected the way a radar can. It's hard to jam, because the atoms aren't tuned to one frequency to overload and one unit monitors the whole spectrum at once, which is the core job of signals intelligence and electronic warfare.

Three countries have already bought in. The U.S. Army, through its research lab, for transportable quantum RF systems. The U.K., for a multi-sensor direction finding program. Australia's defense science group, for a broadband receiver. Integration partners include L3Harris, SAIC, and Dell Federal.

$INFQ $IONQ $QNT

[Eduard @EduardShading]

Eduard 1.4.18 released: cast shadow layer, Mapterhorn DEM download, support for macOS 27, and various bug fixes and improvements

https://t.co/JZuWPG34BX

[Fermilab @Fermilab]

For 70 years, physicists have designed elaborate detectors and experiments to study a mysterious particle called the neutrino. Today, Fermilab is building the next era of neutrino discovery through the world-leading @DUNEScience at @LBNFacility. https://t.co/TkFFCqkzq3

[Xanadu @XanaduAI]

We are hiring a Quantum Scientist - Compilation to join Xanadu’s software and algorithms group and work with our team of scientists and developers to design cutting-edge quantum algorithms.

In this role, you will help build one of the world’s most advanced software platforms for quantum computing by designing compilation architectures, optimizing compilation passes, inventing key IP, and publishing scientific papers.

Sound like your next role? Learn more and apply today: https://t.co/YyOx8WXhM5

[Red Hat @RedHat]

As AI agents gain authority to run tools and access data, boundary enforcement can't rely on the model alone. Discover how Red Hat and @NVIDIA are building independent enforcement layers across software and hardware boundaries. https://t.co/K1CH6x68Wd

[Geoffrey Hinton @geoffreyhinton]

The idea of an intelligence explosion caused by recursive self improvement has been around for a long time but until very recently it did not seem imminent. Now many leading researchers think it may happen quite soon. You can read our paper about it here:
https://t.co/sgUpugjpRY

[OpenAI Developers @OpenAIDevs]

Codex CLI just got a major refresh, with a new look and powerful new capabilities.

We’re continuing to invest in Codex CLI for developers who live in the command line.

New full-screen interface, better readability, and ways to manage parallel work, all inside your terminal.

[Phys.org @physorg_com]

Bumblebees matched a flowerlike platform moving sideways twice a second, though their flight lagged behind it. How they sense their own turns remains unclear. @RSocPublishing https://t.co/tyDeY4yj7h

[Matt Mullin @matthewwmullin]

The USGS LiDAR app just crossed 37,000 users in less than 1 month!

Main takeaway: people love exploring the data, but it needs to be faster.

The current version pulls from USGS as you move around the map. That keeps it cheap and gives national coverage, but speed depends on live requests + processing.

So I built a new version that preprocesses LiDAR + aerial imagery into multi-resolution tiles. As you zoom in, it only loads the detail you need.

The result is lightning fast... smooth flying, instant LiDAR/imagery comparison, and real-time elevation rescaling.

The problem is storage. Massachusetts: ~100 GB, Colorado: ~1 TB, Entire US: 60+ terabytes.
At full scale, hosting would cost $6k-12K/year.

Also learned that 68% of users are on mobile, so a better mobile version is coming.

Hope to have a faster version soon when I figure out how to pay for it!

Happy exploring on the original app:
https://t.co/L0plghwNvw

[Red Hat @RedHat]

Stop refactoring stable code just to apply a security patch. Read how Lightwell delivers targeted fixes directly to your production stack without breaking APIs or slowing releases: https://t.co/hbM5MDcyT8 #Sibos

[Philosophy Of Physics @PhilosophyOfPhy]

The strangest feature of Anti-de Sitter spacetime may not be its negative curvature. It is the boundary. Light can travel outward, reach this boundary, and return in finite coordinate time.

This makes infinity more than something infinitely far away. It becomes part of the causal structure of the spacetime, a feature that later became central to ideas such as holography and AdS/CFT.

[Cloudflare @Cloudflare]

Twelve years after launching Universal SSL, Cloudflare is applying to become a certificate authority. By combining an established root, an ACME-first approach, and Merkle Tree Certificates, we are building a post-quantum CA for the open web. https://t.co/N5UAbp8Jwx #BirthdayWeek

[Tom McClellan @McClellanOsc]

If you have not heard this news story, it is pretty big in the chemistry world. Being able to break down polyethylene cheaply is a big deal. It makes waste plastic more valuable, which makes it less likely people will just throw it into rivers where it flushes into the oceans.

[Wayfearn @wayfearn_com]

Classic style meets everyday comfort.
Perfect for men who likes to keep it simple, rugged, and timeless.
Get yours ⬇️