survey
14 stories and discussions about survey, aggregated from every source we track.
The 2025 Go Developer Survey results, focused on developer sentiment towards Go, use cases, challenges, and developer environments.
The 2023 edition of the annual survey about the latest trends in the HTML ecosystem.
<p>The second annual survey closes on March 22nd. They are looking for information from current and past users as well as folks aware of it and have yet to try it.</p>
While modern language models take raw text as their input and produce raw text as output, they do not operate over text directly. Hidden in the very first step of language model pipelines is...
Esoteric Survey is focused on mid-century furniture, architecture, and art- with an emphasis on California Design, Mexico, Japan, and the obscure.
The 2026 Ruby on Rails Community Survey is now open. Add your voice to the community data. Brought to you by Planet Argon.
A survey of sandbox usage across package manager clients.
The mined materials in a mobile phone, and which countries produced each of them in 2025, from U.S. Geological Survey data.
Social technologies, digital tools that allow people to communicate and share content with each other online, have become a central way of communicating for many people worldwide. Yet the possible effects of these…
The 2025 edition of the annual survey about the latest trends in the HTML ecosystem.
<p>Abstract: “Secure compilation is a discipline aimed at developing compilers that preserve the security properties of the source programs they take as input in the target programs they produce as output. This discipline is broad in scope, targeting languages with a variety of features (including objects, higher-order functions, dynamic memory allocation, call/cc, concurrency) and employing a range of different techniques to ensure that source- level security is preserved at the target level. This article provides a survey of the existing literature on formal approaches to secure compilation with a focus on those that prove fully abstract compilation, which has been the criterion adopted by much of the literature thus far. This article then describes the formal techniques employed to prove secure compilation in existing work, introducing relevant terminology, and discussing the merits and limitations of each work. Finally, this article discusses open challenges and possible directions for future work in secure compilation.”</p>
The Hurray tensor interchange format — specification, implementation requirements, cookbook, and tutorials.
Explore U.S. Census Bureau Business Trends and Outlook Survey (BTOS) data: AI adoption by state, biweekly trends, and detailed business AI survey results.