Tootfinder

LLMs are now part of our daily work, making coding easier. Join Ivan Dolgov at this year's Berlin Buzzwords to learn how they built an in-house LLM for AI code completion in JetBrains products, covering design choices, data preparation, training and model evaluation.
Learn more: https://

Russia's Lavrov cautions West on North Korea security pact: https://benborges.xyz/2025/07/12/russias-lavrov-cautions-west-on.html

Amazon launches Kiro, an IDE that aims to bridge the gap between rapidly vibe-coded prototypes and production-ready systems (Todd Bishop/GeekWire)
https://www.geekwire.com/2025/amazon-targets-vibe-coding-chaos-with-new-kiro-ai-softwa…

AI is slowly taking over coding but many programmers are still sticking their head in the sand about what’s coming…
Now Google’s Chief Scientist just made a telling revelation:
AI now generates at least 25% of their code
https://codingbeautydev.com/blog/ai-writes-google…

Google just confirmed the AI reality many programmers are desperately trying to deny - Coding Beauty
AI is slowly taking over coding but many programmers are still sticking their head in the sand about what’s coming… Now Google’s Chief Scientist just made a telling revelation: AI now generates at least 25% of their code. Can you see — it’s happening now at top software companies with billions of active lines of … Google just confirmed the AI reality many programmers are desperately trying to deny Read More »

Cutting federal naloxone funding is cruel and will prove costly
https://thehill.com/opinion/healthcare/5397405-cutting-federal-naloxone-funding-is-cruel-and-costly/

Downlink CSIT under Compressed Feedback: Joint vs. Separate Source-Channel Coding
Yi Song, Tianyu Yang, Mahdi Barzegar Khalilsarai, Giuseppe Caire
https://arxiv.org/abs/2506.10554

Downlink CSIT under Compressed Feedback: Joint vs. Separate Source-Channel Coding
The acquisition of Downlink (DL) channel state information at the transmitter (CSIT) is known to be a challenging task in multiuser massive MIMO systems when uplink/downlink channel reciprocity does not hold (e.g., in frequency division duplexing systems). From a coding viewpoint, the DL channel state acquired at the users via DL training can be seen as an information source that must be conveyed to the base station via the UL communication channels. The transmission of a source through a chann…

Cotangent Bundles as Coadjoint Orbits and Asymptotic Character Formulas
Michael Gjertsen, Alexander Schmeding
https://arxiv.org/abs/2506.10519 https://

Cotangent Bundles as Coadjoint Orbits and Asymptotic Character Formulas
The present article presents geometric quantization on cotangent bundles as a special instance of Kirillov's orbit method. To this end, the cotangent bundle is realized as a coadjoint orbit of an infinite-dimensional Lie group constructed from the diffeomorphism group. We also develop two asymptotic character formulas by employing the tangent groupoid.

The exclusivity period on OpenAI's $3B offer to acquire coding startup Windsurf has expired, which means that Windsurf is free to explore other options (Allie Garfinkle/Fortune)
https://fortune.com/2025/07/11/the-exc

The exclusivity on OpenAI’s $3 billion acquisition for AI coding startup Windsurf has expired
Windsurf is now free to explore other options.

Jensen Huang says Chinese military is unlikely to use Nvidia's AI chips, citing the risk of the chips being "limited at any time" due to US export restrictions (Ian King/Bloomberg)
https://www.bloomberg.com/news/articles/20

Google plans to shut down Android's Instant Apps, which let users launch apps without installing them, later this year citing low usage and engagement (Dominic Preston/The Verge)
https://www.theverge.com/news/686573/google-android-instant-apps-shutdow…

Google is shutting down Android Instant Apps over ‘low’ usage
The installation-free Android Instant Apps will no longer be supported after December 2025.