Tootfinder

OpenAI updates its coding agent Codex with internet access, turned off by default, and expands availability to ChatGPT Plus users (Simon Willison/Simon Willison's Weblog)
https://simonwillison.net/2025/Jun/3/codex-agent-internet-access/

Codex agent internet access
Sam Altman, [just now](https://twitter.com/sama/status/1930006856019390521): > codex gets access to the internet today! it is off by default and there are complex tradeoffs; people should read about the risks carefully and …

BidenCash carding market domains seized in international operation
https://www.bleepingcomputer.com/news/security/bidencash-carding-market-domains-seized-in-international-operation/

BidenCash carding market domains seized in international operation
Earlier today, law enforcement seized multiple domains of BidenCash, the infamous dark web market for stolen credit cards, personal information, and SSH access.

Prime Video names Nicole Clemens, ex-president of Paramount Television Studios, as VP and head of international originals for Prime Video and Amazon MGM Studios (Naman Ramachandran/Variety)
https://variety.com/2025/tv/news/prime-vide…

Prime Video Taps Nicole Clemens to Lead International Originals
Prime Video has named Nicole Clemens as VP and head of international originals for Prime Video and Amazon MGM Studios, effective July 7.

On Symbol Elimination and Uniform Interpolation in Theory Extensions
Viorica Sofronie-Stokkermans
https://arxiv.org/abs/2506.01664 https://

On Symbol Elimination and Uniform Interpolation in Theory Extensions
We define a notion of general uniform interpolant, generalizing the notions of cover and of uniform interpolant and identify situations in which symbol elimination can be used for computing general uniform interpolants. We investigate the limitations of the method we propose, and identify theory extensions for which the computation of general uniform interpolants can be reduced to symbol elimination followed by the computation of uniform quantifier-free interpolants in extensions with uninterpr…

drosophila_flybi: Fruit fly protein interactions (Drosophila melanogaster)
Binary protein-protein interactions (PPIs) for Drosophila melanogaster, containing 8723 PPIs among 2939 proteins. The iteractions were identified using a yeast two-hybrid (Y2H) analysis.
This network has 2939 nodes and 8723 edges.
Tags: Biological, Protein interactions, Unweighted

Just found out that an old intranet we initially created for a customer back in 2008-9 (on Drupal 4.7 or maybe 5, subsequently upgraded through to Drupal 6) is still running (not on the open internet). Their MS Sharepoint replacement for it has been... less than stunningly successful in its designated role.
I suspect that original Intranet, even inflation adjusted, would've cost the orders of magnitude less in up-front development and per-year maintenance.

When Bi-interpretability implies Synonymy
Harvey M. Friedman, Albert Visser
https://arxiv.org/abs/2506.01028 https://arxiv.org/pdf/25…

When Bi-interpretability implies Synonymy
Two salient notions of sameness of theories are synonymy, also known as definitional equivalence, and bi-interpretability. Of these two definitional equivalence is the strictest notion. In which cases can we infer synonymy from bi-interpretability? We study this question for the case of sequential theories. Our result is as follows. Suppose that two sequential theories are bi-interpretable and that the interpretations involved in the bi-interpretation are one-dimensional and identity preserving…

Related: The doctor @… interviewed has a podcast and Youtube channel called "Interesting MD”. He interviewed Minister Josie Osborne a few weeks ago about the doctor shortage and what BC is doing to help fix it.
#BCPoli #CdnPoli #CanPoli
https://www.youtube.com/watch?v=4qEcE9lK17w

Microsoft says it didn't cut services to the International Criminal Court, after an AP report in May said it "cancelled" the email of ICC prosecutor Karim Khan (Sam Clark/Politico)
https://www.po…

Microsoft didn’t cut services to International Criminal Court, its president says
Chief prosecutor’s email issues have spurred fears in Europe that Trump could trigger a “kill switch” through U.S. tech giants abroad.

OpenAI rolls out connectors for services like Dropbox and OneDrive for ChatGPT Team, Enterprise, and Edu users; MCP support is coming to Pro, Team, Enterprise (Ivan Mehta/TechCrunch)
https://techcrunch.com/2025/06/04/chat

ChatGPT introduces meeting recording and connectors for Google Drive, Box, and more | TechCrunch
OpenAI's ChatGPT is adding new features for business users, including integrations with different cloud services, meeting recording, and MCP connection