Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 3: contribution of the elliptic part
Yuhao Cheng
https://arxiv.org/abs/2508.07167 https://
GE Vernova plans to sell its Proficy industrial software unit to PE firm TPG for $600M and reinvest the proceeds in grid software (Reuters)
https://www.reuters.com/business/energy/ge-vernova-sell-proficy-tpg-600-million-s…
Continents have lost so much water to the ocean since 2002 that they have surpassed ice sheets as the biggest contributor to global sea level rise, a new study reveals.
Almost 70% of this loss is due to unchecked groundwater extraction,
which removes water from deep aquifers and eventually transfers it to the ocean, researchers found.
Together with rising rates of evaporation due to climate change, this has caused rapidly drying "hotspots" to merge into four &quo…
from the journal of Daid Rohombk, Senior* Metalinguist on the Spiral class starship "What's That In Your Mouth Drop It"
* Treaty of 2533
Call the Minnesota murderer what he is: a Christian terrorist.
https://www.startribune.com/minnesota-lawm
Great analysis and story telling
https://www.abc.net.au/news/2025-10-12/yarriambiack-warracknabeal-victoria-town-population-shrink/105774946
🧑🌾 Managing soil fertilization levels can make for more efficient and productive crops
https://phys.org/news/2025-08-soil-fertilization-efficient-productive-crops.html
To prevent users from unwittingly exposing sensitive information
OpenAI has removed the option to make ChatGPT interactions indexable by search engines
The feature rollback follows reports of ChatGPT conversations being discoverable in search results,
an option recently extended to ChatGPT users.
Dane Stuckey, CISO of OpenAI, announced the change in a social media post.
He described it as a short-lived experiment to help people discover useful conversations.
OpenAI announces API updates, including GPT-5 Pro, Sora 2 in preview, and gpt-realtime-mini, a voice model that is 70% cheaper than gpt-realtime (Rebecca Bellan/TechCrunch)
https://techcrunch.com/2025/10/06/openai-ramps-up-developer-push…
Reddit removes visible subscriber counts from subreddit pages, replacing it with seven-day active visitors or contributions, to better reflect user activity (Jess Weatherbed/The Verge)
https://www.theverge.com/news/775524/reddit-subreddit-member-count…