Texas Attorney General Ken Paxton won the Republican runoff for U.S. Senate against incumbent John Cornyn, according to Decision Desk HQ projections. Paxton's victory, boosted by a last-minute endorsement from President Trump, ends Cornyn's two-decade Senate career. The bitter primary fight saw Paxton, a Trump loyalist, oust the more establishment-oriented Cornyn. Paxton will face the Democratic nominee in November in the reliably red state. The outcome underscores Trump's continued dominance over the Republican Party and his ability to purge critics. Cornyn had voted to certify the 2020 election and occasionally broke with Trump, making him a target. Paxton, who survived impeachment and a securities fraud indictment, now becomes the heavy favorite to hold the seat.
Cornyn served four terms; Paxton has been Texas AG since 2015, known for legal challenges to Biden policies and close alignment with Trump. The runoff was forced when no candidate exceeded 50% in the March primary.
The U.S. Department of Justice sued the University of California system on Tuesday, alleging that UCLA was 'deliberately indifferent' to harassment of Jewish and Israeli students since the Oct. 7, 2023, Hamas attack. The lawsuit, filed under Title VI of the Civil Rights Act, seeks to force UCLA to repay all federal grants received while allegedly noncompliant and to impose sweeping policy changes, including disciplinary action against students who discriminate and cooperation with police to clear illegal protests. UCLA Chancellor Julio Frenk, whose Jewish grandparents fled Nazi Germany, called the suggestion that UCLA was passive 'simply wrong,' citing steps like reorganizing its civil rights office. The suit escalates a long-running battle; last year the Trump administration suspended $584 million in grants to UCLA. The DOJ also wants a court-appointed monitor to oversee compliance.
The case stems from pro-Palestinian encampments and protests on campus after the Israel-Hamas war. A DOJ investigation in 2025 concluded UCLA violated Title VI. The Trump administration has aggressively targeted universities over antisemitism, withholding funds and demanding policy changes.
A survey of 177 Yale University faculty members by the campus AAUP chapter found that 68% believe their academic freedom has decreased since January 2025, and half fear losing their jobs for teaching controversial topics. About a third have avoided controversial subjects in class, 7% removed readings from syllabi, and 4% canceled talks. Outside the classroom, 47% stopped posting on social media about controversial issues, and 30% stopped talking to the press. Seventy percent expressed concerns about visa issues or deportation. One respondent described navigating a 'digital peanut gallery looking to pick fights.' The findings reflect a chilling effect on campus speech amid political pressures.
The survey was conducted by the Yale chapter of the American Association of University Professors. It comes amid broader national debates over academic freedom, DEI, and government scrutiny of higher education. Yale is a private Ivy League university.
A three-judge federal panel, including two Trump appointees, unanimously restored an Alabama congressional map with two majority-Black districts for the 2026 midterms, finding that the legislature's map intentionally discriminated against Black voters. The ruling directly challenges the Supreme Court's recent decision in Louisiana v. Callais, which gutted the Voting Rights Act and allowed Alabama to use a map with only one majority-Black district. The panel wrote that 'undisputed evidence left us in no doubt' of intentional discrimination and that Callais did not change that conclusion. The judges effectively dared the high court to overturn them, stating they would not force Alabamians to vote under a 'tainted' plan. The case now likely returns to the Supreme Court.
After the Supreme Court's 2023 Allen v. Milligan decision required a second majority-Black district, Alabama's legislature drew a map that still had only one. The lower court found intentional discrimination and blocked it, but the Supreme Court in April 2026 vacated that injunction, citing Callais. The panel's new ruling reaffirms the discrimination finding.
The Trump administration's Office of Personnel Management released a draft plan Tuesday to require all two million federal employees to sign non-disclosure agreements barring them from sharing 'non-public, confidential, or proprietary information' with journalists. The move aims to stem leaks, which OPM says are 'disrupting agency operations and eroding trust.' Legal experts warn that a blanket NDA would be difficult to enforce and could chill protected speech, even if signing is technically optional. The draft cites recent leaks including personal information of ICE employees and details of a planned raid in Venezuela. Press freedom advocates argue the broad language could deter whistleblowers and stifle essential reporting on government. The proposal echoes Trump's 2018 attempt to impose NDAs on White House staff, which his own counsel refused to enforce.
Federal employees already have confidentiality obligations, but NDAs are rare outside intelligence agencies. The Supreme Court has upheld NDAs for CIA agents but not for general government workers. The Foundation for Individual Rights and Expression cautioned that even if the NDA doesn't add new restrictions, its implementation could intimidate employees.
A critical vulnerability in the Starlette Python framework, used by FastAPI and many AI tools, puts millions of servers at risk of data theft. Dubbed BadHost (CVE-2026-48710), the flaw allows attackers to bypass path-based authorization by injecting a single character into the HTTP Host header. Starlette underpins MCP servers that connect AI agents to external data sources, storing credentials for email, databases, and cloud services. Security firm X41 D-Sec found exposed clinical trial data, identity verification systems, SSH access to industrial devices, and full mailbox controls. The bug affects Starlette versions before 1.0.1, released Friday, and has a severity rating of 7 out of 10, though researchers say that understates the risk. A scanner is available to check if servers are vulnerable.
Starlette is an ASGI framework with 325 million weekly downloads. FastAPI, vLLM, LiteLLM, and many AI agent harnesses depend on it. The vulnerability was discovered in vLLM and can lead to server-side request forgery and remote code execution in some cases.
NASA announced three lunar missions this year to prepare for a crewed Artemis landing in 2028. Moon Base I, launching no earlier than fall 2026, will use Blue Origin's Blue Moon lander to deliver instruments studying how thrusters interact with the surface. Moon Base II will send over 1,100 pounds of cargo on Astrobotic's Griffin lander, including the FLIP rover to inform future lunar terrain vehicle operations. Moon Base III will carry Lunar Vertex on Intuitive Machines' Nova-C lander to study lunar swirls. NASA also awarded $219 million to Astrolab and $220 million to Lunar Outpost to build crewed rovers, and $188 million to Blue Origin to deliver them. Additionally, JPL selected Firefly Aerospace to build a spacecraft for four MoonFall drones that will map hard-to-reach terrain.
The Artemis program aims to return astronauts to the Moon and establish a permanent base at the South Pole. These precursor missions will test technologies and gather data on lunar conditions. The rovers will support future crewed exploration, and the drones will provide high-resolution imagery of challenging areas.
Anthropic's Boris Cherny, creator of Claude Code, argues that software engineering as a profession is dissolving. He hasn't written code himself in six months and says the title 'software engineer' could disappear by year's end, replaced by 'builder' roles where designers and product managers ship code using AI agents. Yet Cherny predicts that while companies may hire fewer traditional engineers, they will hire 100 times more of these new builders. The interview explores how Claude Code began as a personal tool to identify songs and grew into the fastest-growing AI coding tool, with 20% of Anthropic's engineers adopting it on day one. Cherny sees coding as 'solved' for many tasks but believes job creation will outpace destruction.
Claude Code is an agentic coding tool from Anthropic. Cherny joined in September 2024 and built it on the Labs team. The interview is part of Platformer's mini-series on AI and jobs, featuring contrasting views from Box CEO Aaron Levie and Google's James Manyika.
Scientific American explains how Kurt Gödel's 1931 incompleteness theorems shattered the dream of a complete and consistent foundation for mathematics. Using the Zermelo-Fraenkel set theory with choice (ZFC) as the modern axiom system, the article walks through how Gödel proved that any sufficiently powerful, contradiction-free system contains statements that can neither be proven nor disproven. Moreover, the system cannot prove its own consistency. The continuum hypothesis is a famous example of an unprovable statement within ZFC. The piece emphasizes that mathematics is about building worlds from axioms, and Gödel showed that even the most carefully constructed worlds have inherent limits.
Gödel published his incompleteness theorems at age 25. The first theorem states that in any consistent formal system capable of basic arithmetic, there are true statements that cannot be proven. The second theorem shows such a system cannot demonstrate its own consistency. These results ended the Hilbert program's quest for a complete axiomatization of mathematics.
Paleontologists have identified a new species of ancient reptile, Labrujasuchus expectatus, a toothless, beaked, bipedal creature that lived 212 million years ago in what is now New Mexico. Despite its crocodile lineage, it walked on two legs and lacked teeth, likely scavenging or hunting small prey with its beak. The fossil was found in 2006 at a well-known Triassic quarry. Researchers led by Alan Turner of Stony Brook University published the findings in the Journal of Vertebrate Paleontology. The species, nicknamed 'witch croc' after the area's Spanish name Ranch of the Witches, is a distant cousin of modern crocodiles, not a direct ancestor. Its odd mix of traits offers a new data point for studying convergent evolution, as it resembled dinosaurs but evolved independently.
Shuvosauridae were a group of bipedal reptiles from the Late Triassic. The new species differs slightly in humerus shape and geological age from known North American members. The discovery helps fill gaps in understanding how different lineages evolved similar body plans.
