Hurricane Isaias Takes Aim at Gulf Coast as States Declare Emergencies

Hurricane Isaias, the first hurricane of the Atlantic season, is churning toward the U.S. Gulf Coast with forecasters warning of rapid intensification before landfall. The storm is tracking toward the Florida Panhandle and the coasts of Alabama and Mississippi, a stretch packed with beach communities and tourist towns. Coastal residents have begun boarding windows and securing boats as the system draws energy from warm Gulf waters.

Governors in Florida and Alabama have declared states of emergency across dozens of counties, mobilizing resources and opening evacuation routes ahead of the weekend. Forecasters expect Isaias to strengthen considerably, packing destructive winds and a life-threatening storm surge that could inundate low-lying areas. Emergency managers are urging residents in surge zones to leave now rather than wait for conditions to deteriorate.

The storm's late-season arrival catches the Gulf Coast at a moment of heightened strain, with shelters stretched thin and many residents still rebuilding from previous hurricane seasons. Major events across the region, including a pivotal college football showdown in Tuscaloosa, face disruption from drenching rains and inland squalls. How coastal communities weather Isaias will serve as an early test of forecasting upgrades and evacuation planning put in place after past disasters.

Samsung Profit Soars Ninefold to $80bn as AI Chip Demand Explodes

Samsung, the world's largest memory-chip maker, has reported a ninefold surge in profit to roughly $80 billion, a record for the three months through September. The figures offer the most dramatic evidence yet that spending on artificial intelligence has transformed the economics of the semiconductor industry. Demand for high-bandwidth memory, the chips that let AI systems process vast quantities of data, has outstripped supply for months.

The boom reflects a global race among cloud providers and governments to build data centers capable of training and running advanced AI models. Memory prices have climbed steadily as customers lock in long-term supply contracts, giving Samsung pricing power it has rarely enjoyed. Rival chipmakers have profited from the same dynamics, but Samsung's scale makes it the clearest winner of the shift.

The earnings carry geopolitical weight at a moment when the United States, China and other powers are scrambling to secure domestic chip supplies. Korea's dominance in memory, alongside Taiwan's grip on advanced manufacturing, has made the semiconductor supply chain a central concern for policymakers in Washington and Brussels. If demand holds, Samsung and its peers are expected to pour the windfall into new fabrication plants, deepening a capital-spending cycle reshaping the global technology landscape.

French Police Fire Tear Gas at Students as Education Protests Escalate

French riot police fired tear gas at student protesters outside the Hélène Boucher high school in northeastern Paris early Thursday, escalating a standoff over education funding that has gripped the country for weeks. The school has become a flashpoint for clashes in the capital, with pitched confrontations between helmeted officers and teenagers. Thursday marked the fourth round of demonstrations in a movement showing no sign of losing steam.

Organizers called larger afternoon marches in cities across France, raising the prospect of the most disruptive day yet in the campaign. Students are demanding substantial increases in education spending, arguing that years of budget restraint have left schools overcrowded and staff overstretched. Unions and opposition parties have lined up behind the movement, threatening to turn a campus grievance into a national political crisis.

The government now faces a familiar dilemma: cracking down risks inflaming public opinion, while concessions could embolden further demands. France has seen repeated waves of street protest in recent years, from the yellow vest movement to the fight over pension reform. How ministers handle this round will test both their authority and the durability of a youth-led movement that has already proven more resilient than many predicted.

Maricarmen, the Pensioner Whose Eviction Shook Spain, Dies at 87

María del Carmen Abascal, the 87-year-old Spaniard whose eviction from her Madrid home ignited nationwide protests, died on Wednesday while being treated in hospital. Known across Spain simply as Maricarmen, she became an unlikely emblem of the country's housing emergency after being forced from the apartment where she had lived for decades. Her case moved from a local court dispute to a national rallying cry within days.

Footage of her removal drew fury far beyond Spain's activist circles, pulling tens of thousands of people into street demonstrations against soaring rents and speculative property practices. Political parties across the spectrum scrambled to respond, with the crisis exposing deep fault lines over housing regulation and tenant protections. The uproar forced regional and national leaders into a debate they had long avoided.

Her death is likely to sharpen the housing movement rather than quiet it, with organizers vowing to carry her case forward. Spain remains among Europe's most acute housing affordability crises, with rental costs devouring a growing share of household income in Madrid and Barcelona. Whether her legacy becomes concrete reform or symbolic memory now rests with a government under intense public pressure.

Trump Weighs Firing Advisers Over Pro-Russian Balkans Campaign Trip

President Donald Trump said he is considering "terminating" two of his top campaign advisers after revelations they have been guiding a pro-Russian political party in the Balkans. The president suggested that Chris LaCivita and James Blair working with such a group less than a month before the midterm elections could constitute a "conflict." Revealed by the Financial Times, the comments have exposed an extraordinary rupture at the heart of the president's political operation.

LaCivita and Blair are among the most powerful figures in Republican campaigning, and their involvement in southeastern European politics has raised uncomfortable questions about the intersection of American political consulting and foreign influence. Their Balkan client has been described as explicitly pro-Russian, a designation that puts their work at odds with the posture of much of the Western alliance. Neither adviser has publicly addressed whether the arrangement will continue.

The fallout lands at the worst possible moment for Republicans, with control of Congress hanging on elections now weeks away. Democrats have moved quickly to frame the episode as evidence of lax attitudes toward Russian influence within the president's orbit. Beyond the campaign trail, the dispute threatens to complicate American diplomacy in the Balkans, where Washington has long presented itself as a counterweight to Moscow's ambitions.

Democrats Sue Trump Over Taxpayer-Funded Ad Blitz

Democrats have sued President Donald Trump over an advertising campaign funded with taxpayer money, escalating a constitutional fight over the boundaries of government propaganda. Critics argue the ads violate long-standing prohibitions on using public funds for self-promotional political messaging, and the backlash has cut across party lines. The lawsuit marks the most formal attempt yet to halt the campaign through the courts.

Federal law bars agencies from producing materials designed to sway public opinion toward a particular political figure or party, a rule rooted in decades-old propaganda statutes. Democrats contend the ad blitz crosses that line, pointing to its timing and content as evidence it serves the president's political interests rather than any public purpose. Several Republicans have joined the criticism, an unusual break that lends the legal challenge bipartisan weight weeks before the midterms.

The case will test how far courts are willing to go in policing the line between official communication and campaign-style promotion. A ruling against the administration could force the withdrawal of the ads and establish new limits on how public money is spent in the political arena. With early voting underway across much of the country, the dispute adds another legal front to an already extraordinary election season.

USS Lincoln Nears Home After 300 Days That Tested Its Crew

The aircraft carrier USS Lincoln is finally approaching home port after more than 300 days at sea, closing out one of the longest carrier deployments in recent U.S. Navy history. Extended time away stretched the ship's crew and tested the limits of a fleet strained by global commitments. Families have been waiting since the vessel was first expected back, with homecoming plans postponed repeatedly.

Navy documents obtained by NBC News revealed serious concerns about supplies and morale aboard the carrier, conditions that intensified as the deployment dragged on. Most troubling, the records showed that eight service members attempted suicide during the deployment, a figure that has alarmed lawmakers and veterans' advocates. Sailors described mounting frustration as resupply shortfalls and uncertain return dates compounded the ordinary hardships of carrier life.

The Lincoln's ordeal is renewing scrutiny of a Navy asked to do more with less for years, as maintenance backlogs and relentless operational tempo keep ships at sea far longer than planned. Lawmakers are pressing for answers on how the deployment was allowed to stretch so far beyond its scheduled length. The eight suicide attempts will intensify demands for stronger mental health support at sea, an issue the service has promised to confront before.

• Fed minutes finger the AI data center boom as a key driver of rising prices, and the committee remains split on whether that makes the case for rate hikes. Chip names led the slide, with Nvidia down 2.9% and Microsoft off 1.3%. Newser →
• Stock futures slipped after the S&P 500 retreated from its record, as rising Treasury yields chipped away at investor appetite for risk. The SPY fell 0.4% and the QQQ dropped 1.3%, while gold caught a bid with GLD up 0.7%. CNBC →
• Samsung posted record quarterly earnings with profit surging ninefold to $80bn on relentless AI memory chip demand. The blowout result strengthens the case that the AI hardware boom is far from cooling. Financial Times →
• Applied Digital's data center bet is starting to pay off, with revenue rocketing 322% year over year in its latest quarter. The report marks a win for smaller players wagering big on AI infrastructure. Barron's →
• Amazon is cutting nearly 1,000 white-collar jobs, with the stores division bearing the brunt across the US, India and the UK. The trims signal that cost discipline still outranks headcount growth in Big Tech's retail corner. Fox Business →
• BMW unveiled the iX4, a sportier Neue Klasse EV packing next-gen batteries and up to 428 miles of range, pitched as a defensive weapon against China's EV takeover. Range is clearly the German automaker's chosen battleground against Tesla and China's fast-rising competitors. The Verge →
• Albertans vote this month on staying in Canada or pressing ahead to a binding independence referendum, a political wildcard for the oil-rich province. Crude trades at $90.67 — down 11.5% over the past month yet still up 45% on the year — while the TSX sits flat on the week and heavyweight banks like RBC drift lower. BBC News →
• President Trump is awarding medals to Elon Musk, Michael Dell and Satya Nadella at a science summit, the latest gesture of goodwill between Washington and Silicon Valley. The ceremony lands amid megacap profit-taking, with Microsoft down 1.3% even as Apple bucked the slide with a 1.1% gain. CNBC →

No playoff games yesterday.

Classical Logic

Every time you test whether a conclusion really follows from the evidence — a politician's promise, a contract's fine print, a teenager's excuse for missing curfew — you are doing logic, however informally. Classical logic is the discipline behind that instinct: the rulebook for separating arguments that hold up from arguments that merely sound persuasive. Its fingerprints are on courtroom verdicts, database searches, and the processors inside every smartphone. For something dreamt up by ancient Greeks, it has proved remarkably good at running modern life.

The core notion is validity. An argument is valid when its conclusion must be true if its premises are — logicians call this truth-preservation. Validity depends on form rather than content: replace "all humans are mortal" with "all birds have feathers" and the reasoning works identically, because the skeleton — every A is a B, x is an A, so x is a B — carries the weight. Classical logic also makes bold assumptions. The law of non-contradiction says no statement can be true and false simultaneously. A companion principle, the law of excluded middle, adds that every precise claim is either true or its opposite is, with no third option — a stance known as bivalence. Rules of inference such as modus ponens (if P implies Q, and P holds, then Q holds) let you move from what you know to what follows. The machinery even delivers a satisfying marriage of proof and truth: in 1929, Kurt Gödel showed that anything derivable in the standard system is true in every interpretation, and vice versa. Symbols and reality, on this result, line up.

Aristotle gets credit for starting the enterprise with his theory of syllogisms, the earliest systematic map of valid inference. George Boole recast logic as a form of algebra in the 1850s — a move that, once engineers wired it into switching circuits, put his yes-or-no calculus at the heart of every digital device. Gottlob Frege then gave the field its modern shape in 1879, adding quantifiers like "all" and "some" so formal languages could capture the full content of mathematics, not just fragments. Together they turned reasoning itself into something you can audit, line by line.

Confidence, though, invites rebellion. Intuitionist mathematicians, led by L.E.J. Brouwer, refuse the excluded middle, insisting that a claim counts as true only when someone can prove it. Paraconsistent logicians design systems in which contradictions can be quarantined rather than detonating, so one false note does not wreck the whole score. Everyday speech adds its own pressure: how many hairs must a man lose before "bald" flips from false to true? Vagueness sits badly in a two-valued world. The resulting dispute remains very much alive. Is classical logic the single, discovered anatomy of correct reasoning, or one engineered tool among several, chosen job by job? A harder question trails behind it. Human beings routinely accept bad inferences and reject good ones, so perhaps the system describes not how we actually think but how we ought to. Whether logic was found in the world or invented in the study remains, after twenty-three centuries, an open question.

Want to go deeper? Read the full Stanford Encyclopedia entry on Classical Logic →

• Microsoft closed a San Francisco keynote built around the Surface Laptop Ultra, announcing new Surface hardware alongside a round of Windows updates. The event amounted to the company's biggest premium-PC and platform showcase of the fall. The Verge →
• The first Nvidia RTX Spark laptops will cost as much as $7,000, though lower-spec configurations start well below that figure. Much of the premium traces to a 128GB unified-memory option that positions these machines as portable AI workstations rather than ordinary notebooks. The Verge →
• Windows 11's new Search experience can perform thousands of actions straight from the Taskbar — adjusting settings, invoking Copilot, and managing the PC — rather than simply locating files. Microsoft is pitching Search as the fastest control surface in the operating system. Windows Central →
• A developer has published free, open-source clones of Adobe's Creative Cloud apps, built with the Opus AI model under the declaration that "software is over." Ars Technica found the tools ambitious but nowhere near finished — an early, audacious strike at Adobe's subscription business. Ars Technica →
• Samsung has reversed its earlier claim that the SmartTag 3 would support non-Galaxy Android phones, confirming the tracker stays locked to Galaxy devices. The about-face came just days after the company promised broader compatibility. Android Authority →
• Google's October 2026 update arrived without Android 17 QPR1 for the Pixel 11, 11 Pro, 11 Pro XL, and 11 Pro Fold. The flagship lineup picked up the monthly security patch but remains a quarterly release behind. 9to5Google →