The FBI has internally declared a 'cyber security incident' after hackers exploiting a vulnerability in an Oracle PeopleSoft server used by its FBIJobs.gov job application portal stole personal data on agents and applicants. Exposed information reportedly includes names, addresses, job titles, Social Security numbers, and medical and psychiatric records. The hacking group ShinyHunters claims to hold data on nearly all FBI personnel and says it is not seeking a ransom but wants a prior FBI report about its activities corrected.
techcrunch.com
· 2026-09-28
An amateur mathematician spent a month using a frontier AI model to attempt a formal Lean proof of John Conway's refinement conjecture about omnific integers in surreal number theory, a problem posed 50 years ago. The proof reportedly passed mechanical verification through the Palomar registry, and some Lean and field experts said the statement appears correct, though full independent mathematical verification is still pending.
overreacted.io
· 2026-09-18
A math and quilting enthusiast writing on their personal blog set out to make a post about squarable numbers using Mrs. Perkins' Quilt, a classic puzzle by Henry Dudeney about dividing a square into the fewest possible smaller integer-sided squares. While working out how to actually sew the optimal solution, the author realized that certain arrangements require tricky L-shaped seams around corners, and got sidetracked investigating how many such L-seams are mathematically necessary for any optimal quilt of a given size.
fractalkitty.com
· 2026-09-17
A developer benchmarked how Intel, AMD, Arm and Apple processors handle IEEE 754 subnormal floating-point numbers—the tiny values near zero that require special handling. Testing double-precision arithmetic on Intel Granite Rapids and Emerald Rapids Xeons, AMD Zen 5, AWS Graviton, and Apple M4 Max chips, the results showed Intel processors suffer dramatic slowdowns, sometimes 40-plus times slower, when computations involve subnormal values compared to normal ones.
lemire.me
· 2026-09-15
Google is rolling out a Play Services update that lets a phone's IMEI number appear in emergency info accessible from the lock screen, without unlocking the device. The feature targets devices running Android 12 or newer and is meant to help identify a phone's owner if it's lost or found. Users can disable it through Settings under Security & Privacy, Lost Device Protection, and Theft Protection.
androidauthority.com
· 2026-09-15
A new repository presents a Lean 4 formal proof deriving the bound liminf(p_{n+1}-p_n) ≤ 186 for consecutive primes, building on the Maynard-Tao style DHL[40,2] admissible-tuple framework. The proof chain is conditional on three explicit input axioms covering Kloosterman sum bounds and related estimates, which have not themselves been formalized as Lean proofs despite being backed by established results like Deligne's theorem via Katz's monograph.
github.com
· 2026-09-03
A valuation framework called the Financial Truth Ladder, developed by TEOL Capital, describes how institutional buyers actually assess a business before assigning it a price. Rather than starting with EBITDA multiples, buyers first test whether the company's financials, earnings, and cash flow can be trusted, then examine owner dependency and future predictability. Each of the five questions either builds buyer confidence or introduces doubt that affects the final offer.
entrepreneur.com
· 2026-08-27
GoKawiil