Tootfinder

#StackOverflow 2025 Developer Survey
https://survey.stackoverflow.co/2025

Four in five developers use AI tools in their workflow in 2025
—a portion that has been rapidly growing in recent years.
That said, "trust in the accuracy of AI has fallen from 40 percent in previous years to just 29 percent this year."
The disparity between those two metrics illustrates the evolving and complex impact of AI tools like GitHub Copilot or Cursor on the profession.
There's relatively little debate among developers that the tools are or oug…

Developer survey shows trust in AI coding tools is falling as usage rises
“AI solutions that are almost right, but not quite” lead to more debugging work.

Seriously, linkedin spammers?
You say you came across my REcon talk. About semiconductor reverse engineering.
And this somehow makes me a good candidate for a role involving cheating at online poker???

Exploring Prompt Patterns in AI-Assisted Code Generation: Towards Faster and More Effective Developer-AI Collaboration
Sophia DiCuffa, Amanda Zambrana, Priyanshi Yadav, Sashidhar Madiraju, Khushi Suman, Eman Abdullah AlOmar
https://arxiv.org/abs/2506.01604

Exploring Prompt Patterns in AI-Assisted Code Generation: Towards Faster and More Effective Developer-AI Collaboration
The growing integration of AI tools in software development, particularly Large Language Models (LLMs) such as ChatGPT, has revolutionized how developers approach coding tasks. However, achieving high-quality code often requires iterative interactions, which can be time-consuming and inefficient. This paper explores the application of structured prompt patterns to minimize the number of interactions required for satisfactory AI-assisted code generation. Using the DevGPT dataset, we analyzed sev…

Our meetup was well-attended with two interesting talks:
📋 Sarah Julia Kriesch presented "Docker vs Podman" - a beginner-friendly introduction to container basics and key differences between these tools.
🔧 Philip Laine showcased "Spegel", an OCI Registry Mirror that leverages torrent technology for efficient container image distribution - saving traffic costs and safeguarding against registry outages.
1/2

Wichtig für Entwickler: Apple überholt Jugendschutz-Rating-System
Im Rahmen der neuen "Family Tools" für eine schlauere Familienzuordnung überholt Apple sein Bewertungssystem. Entwickler müssen tätig werden.

Precisely Detecting Python Type Errors via LLM-based Unit Test Generation
Chen Yang, Ziqi Wang, Yanjie Jiang, Lin Yang, Yuteng Zheng, Jianyi Zhou, Junjie Chen
https://arxiv.org/abs/2507.02318

Precisely Detecting Python Type Errors via LLM-based Unit Test Generation
Type errors in Python often lead to runtime failures, posing significant challenges to software reliability and developer productivity. Existing static analysis tools aim to detect such errors without execution but frequently suffer from high false positive rates. Recently, unit test generation techniques offer great promise in achieving high test coverage, but they often struggle to produce bug-revealing tests without tailored guidance. To address these limitations, we present RTED, a novel ty…

Scott Logic Lead Developer Darren Smith shares a report of carbon emission measuring software tools in 2025, their scope, and reviews these in the context of principal cloud service providers' offerings, including Google Cloud, Microsoft Azure, and Amazon AWS.
"Tools for measuring Cloud Carbon Emissions (updated for 2025)"

Tools for measuring Cloud Carbon Emissions (updated for 2025)
In this post I'll discuss ways of estimating the emissions caused by your Cloud workloads as a first step towards reaching your organisation's Net Zero goals.

Towards Trustworthy Sentiment Analysis in Software Engineering: Dataset Characteristics and Tool Selection
Martin Obaidi, Marc Herrmann, Jil Kl\"under, Kurt Schneider
https://arxiv.org/abs/2507.02137

Towards Trustworthy Sentiment Analysis in Software Engineering: Dataset Characteristics and Tool Selection
Software development relies heavily on text-based communication, making sentiment analysis a valuable tool for understanding team dynamics and supporting trustworthy AI-driven analytics in requirements engineering. However, existing sentiment analysis tools often perform inconsistently across datasets from different platforms, due to variations in communication style and content. In this study, we analyze linguistic and statistical features of 10 developer communication datasets from five pla…

This session has a plot twist at the end that qualifies as a cinematic masterpiece of the year:
https://developer.apple.com/videos/play/wwdc2025/308

Optimize CPU performance with Instruments - WWDC25 - Videos - Apple Developer
Learn how to optimize your app for Apple silicon with two new hardware-assisted tools in Instruments. We'll start by covering how to...

I read this press release and I think the only thing I found interesting was the bit about improved accessibility...
https://www.apple.com/newsroom/2025/06/apple-supercharges-its-tools-and-technologies-for-developers/

Apple supercharges its tools and technologies for developers to foster creativity, innovation, and design
Apple announced new technologies and enhancements to its developer tools to help developers create more beautiful, intelligent, and engaging apps.

I’ve been discussing some agent swarm based development work on LinkedIn. So far it’s going well, I’m figuring out how to get the results I want from the tools. As I say there, it feels more like managing a team of experienced product managers and developers (which I’ve done a few times in my career) than doing developer work faster.

Update on my Swift/iOS app development work using Claude-flow. | Adrian Cockcroft
Update on my Swift/iOS app development work using Claude-flow. I took some time away from it but last week I continued cleaning up the code. The app was working for me but Claude had built over 200 tests, unit tests and UI automation tests and I spent a day focused on getting them all to work, which found a few issues in the app code. Claude isn’t as good at writing Swift as Python (which tends to work first time) but when the compile failures and test error logs are passed back to it, it d…

This https://arxiv.org/abs/2411.10877 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

Developer Perspectives on Licensing and Copyright Issues Arising from Generative AI for Software Development
Despite the utility that Generative AI (GenAI) tools provide for tasks such as writing code, the use of these tools raises important legal questions and potential risks, particularly those associated with copyright law. As lawmakers and regulators engage with those questions, the views of users can provide relevant perspectives. In this paper, we provide: (1) a survey of 574 developers on the licensing and copyright aspects of GenAI for coding, as well as follow-up interviews; (2) a snapshot of…

"If the world followed the Tao, Apple would make the hardware, Microsoft would make the developer tools, and everything would run under QNX. Alas, QNX has been bought by BlackBerry, Microsoft makes operating systems and Apple makes developer tools."
https://akos.ma/blog/the-tao-of-swift/…

The Tao of Swift
I gave this talk in September 2014, in Zürich, the same day Apple announced the Apple Watch.

Offloading tracing for real-time systems using a scalable cloud infrastructure
David Jannis Schmidt, Grigory Fridman, Florian von Zabiensky
https://arxiv.org/abs/2507.19953 http…

Offloading tracing for real-time systems using a scalable cloud infrastructure
Real-time embedded systems require precise timing and fault detection to ensure correct behavior. Traditional tracing tools often rely on local desktops with limited processing and storage capabilities, which hampers large-scale analysis. This paper presents a scalable, cloud-based architecture for software tracing in real-time systems based on microservices and edge computing. Our approach shifts the trace processing workload from the developer's machine to the cloud, using a dedicated tracing…

Eigen Labs raised $70M via a token purchase by a16z and launched EigenCloud, which helps developers cryptographically prove what happens in off-chain apps (Liam Wright/Forbes)
http://www.forbes.com/sites/digital-asset

Eigen Labs Raises $70 Million From A16z For EigenCloud Ethereum Tools
EigenLabs launches EigenCloud, a developer platform bringing blockchain-grade verifiability to Web2 and Web3 apps, backed by $70 million from a16z crypto.

Beyond Autocomplete: Designing CopilotLens Towards Transparent and Explainable AI Coding Agents
Runlong Ye, Zeling Zhang, Boushra Almazroua, Michael Liut
https://arxiv.org/abs/2506.20062

Beyond Autocomplete: Designing CopilotLens Towards Transparent and Explainable AI Coding Agents
AI-powered code assistants are widely used to generate code completions, significantly boosting developer productivity. However, these tools typically present suggestions without explaining their rationale, leaving their decision-making process inscrutable. This opacity hinders developers' ability to critically evaluate the output, form accurate mental models, and build calibrated trust in the system. To address this, we introduce CopilotLens, a novel interactive framework that reframes code co…

That's literally the kind of behavior that sparked the Luddite uprising.
And it's why you should not collaborate when being asked to train "AI" at work.

How to download videos from Vimeo, even the paywalled ones
#Vimeo

"When developers are allowed to use AI tools, they take 19% longer to complete issues—a significant slowdown that goes against developer beliefs and expert forecasts. This gap between perception and reality is striking: developers expected AI to speed them up by 24%, and even after experiencing the slowdown, they still believed AI had sped them up by 20%."

The Influence of HEXACO Personality Traits on the Teamwork Quality in Software Teams -- A Preliminary Research Approach
Philipp M. Z\"ahl, Sabine Theis, Martin R. Wolf
https://arxiv.org/abs/2507.00481

The Influence of HEXACO Personality Traits on the Teamwork Quality in Software Teams -- A Preliminary Research Approach
Although software engineering research has focused on optimizing processes and technology, there is a growing recognition that human factors, particularly teamwork, also significantly impact optimization. Recent research suggests that developer personality has a strong influence on teamwork. In fact, personality considerations may have a greater impact on software development than processes and tools. This paper aims to design a study that measures the impact of HEXACO personality traits on the…

Software innovation might be freezing in place—and AI could be to blame. Theo Browne points out that Copilot and ChatGPT often return React-style code even for Solid or Elixir projects. Why? Because they’ve seen React a million times more. Python 3 took a decade to overtake Python 2. If that transition had to happen today, would our dependence on AI suggestions keep us from making the jump?

Quand la souveraineté digitale fait bouger des plaques tectoniques
Japon - EU
Sans parler de la Chine, avec plusieurs années d’avance sur la question https://altstack.jp/en/categories/

"Maybe We Need Some More Examples:" Individual and Team Drivers of Developer GenAI Tool Use
Courtney Miller, Rudrajit Choudhuri, Mara Ulloa, Sankeerti Haniyur, Robert DeLine, Margaret-Anne Storey, Emerson Murphy-Hill, Christian Bird, Jenna L. Butler
https://arxiv.org/abs/2507.21280

"Maybe We Need Some More Examples:" Individual and Team Drivers of Developer GenAI Tool Use
Despite the widespread availability of generative AI tools in software engineering, developer adoption remains uneven. This unevenness is problematic because it hampers productivity efforts, frustrates management's expectations, and creates uncertainty around the future roles of developers. Through paired interviews with 54 developers across 27 teams -- one frequent and one infrequent user per team -- we demonstrate that differences in usage result primarily from how developers perceive the too…

🌟 Real-World Impact
Companies are already seeing incredible results: • Goldman Sachs piloting autonomous AI coders • Developer tools integrating for enhanced productivity • Research institutions building custom agentic systems • Startups leveraging cost-effective AI infrastructure 🏢

An Empirical Study of GenAI Adoption in Open-Source Game Development: Tools, Tasks, and Developer Challenges
Xiang Echo Chen, Wenhan Zhu, Guoshuai Albert Shi, Michael W. Godfrey
https://arxiv.org/abs/2507.18029

An Empirical Study of GenAI Adoption in Open-Source Game Development: Tools, Tasks, and Developer Challenges
The growing capabilities of generative AI (GenAI) have begun to reshape how games are designed and developed, offering new tools for content creation, gameplay simulation, and design ideation. While prior research has explored traditional uses of AI in games, such as controlling agents or generating procedural content. There is limited empirical understanding of how GenAI is adopted by developers in real-world contexts, especially within the open-source community. This study aims to explore how…

Angular Blog editor Minko Gechev shares what's new on Angular 20. Highlights include newly stabilized APIs, improved debugging tools, polishing the developer experience, and features to enhance generative AI development.
Also, the Angular team has launched an RFC to pick an official mascot for Angular. Isn't that great?
"Announcing Angular v20"

Place your bets please; Will the #AAOS build for Pixel Tablets become a thing in the #AOSP, or will #Google consider the #Automotive

Code with Me or for Me? How Increasing AI Automation Transforms Developer Workflows
Valerie Chen, Ameet Talwalkar, Robert Brennan, Graham Neubig
https://arxiv.org/abs/2507.08149

Code with Me or for Me? How Increasing AI Automation Transforms Developer Workflows
Developers now have access to a growing array of increasingly autonomous AI tools to support software development. While numerous studies have examined developer use of copilots, which can provide chat assistance or code completions, evaluations of coding agents, which can automatically write files and run code, still largely rely on static benchmarks without humans-in-the-loop. In this work, we conduct the first academic study to explore developer interactions with coding agents and characteri…

Leveraging LLMs for Semantic Conflict Detection via Unit Test Generation
Nathalia Barbosa (Centro de Inform\'atica, Universidade Federal de Pernambuco, Brasil), Paulo Borba (Centro de Inform\'atica, Universidade Federal de Pernambuco, Brasil), L\'euson Da Silva (Polytechnique Montreal, Canad\'a)
https://arxiv.org…

Leveraging LLMs for Semantic Conflict Detection via Unit Test Generation
Semantic conflicts arise when a developer introduces changes to a codebase that unintentionally affect the behavior of changes integrated in parallel by other developers. Traditional merge tools are unable to detect such conflicts, so complementary tools like SMAT have been proposed. SMAT relies on generating and executing unit tests: if a test fails on the base version, passes on a developer's modified version, but fails again after merging with another developer's changes, a semantic conflict…

The Impact of LLM-Assistants on Software Developer Productivity: A Systematic Literature Review
Amr Mohamed, Maram Assi, Mariam Guizani
https://arxiv.org/abs/2507.03156

The Impact of LLM-Assistants on Software Developer Productivity: A Systematic Literature Review
Large language model assistants (LLM-assistants) present new opportunities to transform software development. Developers are increasingly adopting these tools across tasks, including coding, testing, debugging, documentation, and design. Yet, despite growing interest, there is no synthesis of how LLM-assistants affect software developer productivity. In this paper, we present a systematic literature review of 37 peer-reviewed studies published between January 2014 and December 2024 that examine…

The Impact of Generative AI on Code Expertise Models: An Exploratory Study
Ot\'avio Cury, Guilherme Avelino
https://arxiv.org/abs/2507.08160 https://…

The Impact of Generative AI on Code Expertise Models: An Exploratory Study
Generative Artificial Intelligence (GenAI) tools for source code generation have significantly boosted productivity in software development. However, they also raise concerns, particularly the risk that developers may rely heavily on these tools, reducing their understanding of the generated code. We hypothesize that this loss of understanding may be reflected in source code knowledge models, which are used to identify developer expertise. In this work, we present an exploratory analysis of how…

zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
William Law
https://arxiv.org/abs/2507.05294 https…

zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
The rapid advancement of creating Zero-Knowledge (ZK) programs has led to the development of numerous tools designed to support developers. Popular options include being able to write in general-purpose programming languages like Rust from Risc Zero. Other languages exist like Circom, Lib-snark, and Cairo. However, developers entering the ZK space are faced with many different ZK backends to choose from, leading to a steep learning curve and a fragmented developer experience across different pl…