The top secret URSALA, RAQUEL, and FARRAH satellites
URSALA, RAQUEL, and FARRAH are top secret satellites with undisclosed missions. Their existence and details are classified and not publicly available. (thespacereview.com)
Security
Fuck Android Developer Verification Program
Android developers face new requirements to publish apps, including a $25 verification fee and identity verification, even for small-scale projects. These policies have caused frustration among developers who want to share their apps freely without extensive registration processes. (twitter.com)
The daily digest
Today's best Hacker News stories, summarized and screenshotted, one email a day.
What TLA+ can and can't check
TLA+ is effective at verifying complex concurrent system behaviors using temporal logic and invariants. However, it cannot verify properties that are not explicitly expressed or properties of actual implementation correctness beyond design verification. (buttondown.com)
Cities Are Forced to Funnel License Plate Data to a Federal Surveillance Program
The federal government is using a program from the 1980s to force cities to share license plate reader data with national surveillance centers. This system allows multiple law enforcement agencies to access and share local data, raising privacy and transparency concerns. (404media.co)
Is sandboxing sufficient to contain rogue agents?
Sandboxing alone may not be enough to contain rogue agents, as advanced attackers can find ways to bypass these security measures. Additional cryptographic and security strategies are necessary to effectively limit malicious activities. (blog.cryptographyengineering.com)
Tennessee inmate still alive after being administered two lethal injections
Christa Pike, the only woman on Tennessee's death row, was reportedly still alive after receiving two lethal injections. Her lawyers are seeking to halt her execution, citing that she remained conscious and had a heartbeat despite the injections. (nbcnews.com)
Denying Insulin and Meds: Disturbing Pictures of Neglect in ICE Mortality Report
The federal government released mortality reviews showing a pattern of medical neglect in ICE detention centers. The reviews were removed from the ICE website shortly after being made public, raising concerns about transparency and accountability. (prospect.org)
Ukraine Can't Stop Russia's Jet-Powered Shahed Drone
Ukraine's air defenses cannot counter Russia's new jet-powered Shahed drones. The drones' jet propulsion makes them difficult to intercept and neutralize. (spectrum.ieee.org)
Pilot of Israel-bound FlyDubai flight tried to crash plane
The pilot of a FlyDubai flight headed to Israel attempted to crash the plane. Authorities are investigating the incident to determine the motive and circumstances. (ft.com)
FTC opens probe into AI giants including Anthropic and OpenAI
The Federal Trade Commission has initiated an investigation into major artificial intelligence companies including Anthropic and OpenAI. The probe aims to examine potential antitrust issues and competitive practices in the AI industry. (reuters.com)
Show HN: I built a free Burp/Caido alternative that needs zero setup
Apiaxess offers a zero-setup, browser-based proxy tool for capturing and analyzing API traffic on mobile and web devices. It allows users to intercept, resend, and fuzz requests with live control and export options. (apiaxess.dev)
16-year-old found Microsoft bug, got admin access to 17.3T-row databases
A 16-year-old researcher discovered a security vulnerability in Microsoft that allowed access to databases containing 17.3 trillion rows. The bug enabled the researcher to gain administrative control over the large-scale databases. (theregister.com)
A Cold War Spy Satellite Named After Farrah Fawcett Just Blew Apart in Orbit
A Cold War-era U.S. spy satellite named USA-32, part of the FARRAH program, exploded in orbit on September 13, creating debris. The cause of the breakup is unknown, but no immediate threats to other spacecraft have been identified. (gizmodo.com)
Turbo Haskell
The message indicates that access to Reddit has been restricted by network security measures. Users are prompted to log in or file a ticket if they believe the block is a mistake. (reddit.com)
USPS to Put Cameras in Trucks That Scan Roads for 'Community Safety'
The USPS is testing a pilot program to install cameras in mail trucks that scan roads, signs, and sidewalks to improve community safety. The cameras, provided by Next Base, will record road conditions and traffic but do not include license plate recognition features. (404media.co)
Cities Forced to Funnel License Plate Data to Federal Surveillance Program
The federal government uses the HIDTA program to force cities to share license plate reader data with national surveillance centers. This system allows law enforcement agencies to access and share data without clear oversight, raising privacy concerns. (404media.co)
Cold War espionage added $4.6B to East Germany's economy
Espionage during the Cold War significantly boosted East Germany's economy, adding an estimated $4.6 billion in 2020 prices through stolen trade secrets and industrial espionage. The study highlights how geopolitical secrecy and limited trade channels impact economic analysis of such periods. (popsci.com)
The Cuckoo's Egg (Book)
The Cuckoo's Egg is a 1989 nonfiction book by Clifford Stoll about cybersecurity and hacking. It details his experience tracking a cyber espionage ring in the United States. (en.wikipedia.org)
OpenAI whines that Chinese model stole its IP that it stole from everybody else
OpenAI claims that a Chinese AI model stole its intellectual property. The company alleges that it had previously appropriated IP from other sources. (theregister.com)
Cloudflare plans to issue quantum-safe TLS certificates
Cloudflare plans to issue quantum-proof TLS certificates using post-quantum cryptography to enhance website security against future quantum attacks. This initiative involves integrating hybrid certificates into the existing WebPKI system, with a move to acquire a trusted root from CA GlobalSign. (arstechnica.com)
The Cable That Changed the World: How Instant Global Communication Began in 1858
The first transatlantic telegraph cable was laid in 1858, enabling direct communication between North America and Europe. This innovation built on earlier telegraph developments and laid the groundwork for today's global internet infrastructure. (openculture.com)
Branch Target Reuse, BTR: New Spectre V2 Attack Targeting JIT Compilers
Branch Target Reuse (BTR) is a new Spectre V2 attack that specifically targets just-in-time (JIT) compilers. It exploits speculative execution vulnerabilities to potentially access sensitive data from affected systems. (phoronix.com)
More than 44,000 file legal objections to Palantir NHS platform handling
Over 44,000 legal objections have been filed against Palantir's NHS data platform, demanding it be blocked from handling medical data. The campaign follows backlash over the company's involvement with the Israeli military and US immigration enforcement. (theguardian.com)