GoKawiil
Tech News
A South Carolina coroner's office confirmed that a six-week-old infant's death was caused by measles, after HHS Secretary Robert F. Kennedy Jr. had disputed the CDC's inclusion of measles deaths in its official count. Kennedy directed new CDC director Erica Schwartz to remove the deaths from the agency's public data, and while she complied, internal records reportedly still list them.
While formalizing Dummit and Foote's algebra textbook in the Rocq proof assistant, a Recurse Center participant found that the book's first proof exercise—claiming a function is injective if and only if it has a left inverse—fails when the domain is empty and the codomain is not. In that case the empty function is vacuously injective but has no left inverse, since no function can map from a nonempty codomain to an empty domain. The author later confirmed the issue is already listed in the book's published errata.
A technical guide walks through configuring a Tor exit node on an Ubuntu 14.04 system, the type of relay that connects anonymous Tor traffic to the regular internet. It outlines the legal and reputational risks operators face, including potential harassment from ISPs and authorities, plus practical hurdles like sites blocking exit node traffic or forcing CAPTCHAs.
Quad9, a free public DNS recursive resolver service focused on blocking malicious domains, has reorganized its operations to be based in Switzerland, citing the country's strong privacy laws. Industry figures from organizations including the Center for Democracy and Technology, ProtonMail, RIPE, and Alta Associates praised the move as a step toward diversifying and strengthening privacy protections in core internet infrastructure.
Florida's Department of Transportation issued a memo revoking permits for automatic license plate readers, including Flock Safety cameras, on state-controlled roads. Law enforcement agencies have 30 days from August 31 to remove the devices, and the agency says it will stop approving new permit requests going forward.
A widely circulated document attributed to Osama bin Laden, first published around 2002, lists grievances against U.S. foreign policy—including support for Israel, military presence in Muslim countries, and sanctions—as justification for al-Qaeda's attacks. The text has recently regained attention online as users rediscover and share excerpts from it.
An Inside Higher Ed analysis found at least 16 nonprofit colleges shut down in 2025 due to falling enrollment and financial strain, following 28 degree-granting institutions that closed in the first nine months of 2024 alone, according to Hechinger Report data. Entrepreneur's coverage argues these closures are not isolated incidents but the culmination of years of compounding pressures — declining tuition revenue, rising costs, debt and accreditation issues.
Researchers report that psilocybin, the psychoactive compound found in magic mushrooms, shows potential to protect cancer patients from developing long-term chronic pain. The finding points to a new therapeutic application for the psychedelic beyond its studied uses in mental health treatment.
Google has begun a gradual rollout of a new minimize feature for its Gemini assistant overlay on Android devices. The update adds a visible 'Minimize Gemini' button that shrinks the full-screen overlay into a small draggable bubble, letting users switch to other apps while Gemini continues processing in the background. Reports suggest only a limited number of users currently have access to the feature.
Anker has introduced the SOLIX E10, a stackable home backup system combining a Power Module, up to five 6,000Wh Battery Modules, solar charging input, and a tri-fuel Smart Generator that runs on gasoline, propane, or natural gas. A separate Power Dock acts as a smart breaker panel, tying up to three Power Modules into the home's electrical system for as much as 90kWh of stored capacity.
Atopile built a benchmark called EEBench to test whether circuits produced by AI models are actually functional, following OpenAI's demo of GPT-6 Astra designing a board in KiCad. Instead of having an AI operate a graphical CAD tool, EEBench has the model write and edit declarative code describing components and connections, then build and simulate the result to check for errors.
The FCC filed a motion to dismiss Disney's lawsuit, defending its decision to launch an early review of the broadcast licenses held by ABC's eight owned stations. The agency argues the review concerns only alleged discrimination tied to Disney's diversity, equity, and inclusion policies, not Chairman Brendan Carr's public threats over Jimmy Kimmel jokes or The View's political content. Separately, two watchdog groups and individual ABC viewers are seeking to intervene in the case, fearing Disney could strike a settlement with the FCC that doesn't serve the public interest, a motion Disney itself opposes.