This paper introduces a theory of type slicing for bidirectional type systems, allowing programmers to query type information and receive a minimal, well-formed partial program that explains the type. The approach works for both well-typed and ill-typed programs, with a mechanized metatheory in Agda and an implemented linear-time approximation in the Hazel environment.
The chart will appear after repeat observations. The current metric comes from the source.
9 source pointsReal observations only. History before source connection is not reconstructed.
Useful for understanding why a term has a particular type in bidirectional type systems, aiding in debugging and program analysis.
The text explores the reasons why a significant number of developers do not utilize a particular platform.
2 days agoLobstersThe post discusses the possibility of expanding 'Who's hiring' updates to include non-software engineering roles, such as customer support and data entry, while maintaining a focus on computing-related positions. A template for job postings is provided for consistency.
5 days agoCloudflare BlogCloudflare AI Gateway now offers native web search API integration with partners like Ceramic.ai, Exa, and Linkup, allowing developers to add real-time web context to model inference through APIs or Workers bindings.
4 days agoCloudflare BlogA year after pledging to eliminate two-tier product access, Cloudflare has expanded Logpush, multi-account governance, and higher platform limits to all accounts. The company provides an update on its progress, internal use of these tools, and future plans.
4 days agoCloudflare BlogSome of the world's leading organizations are using Cloudflare to automate and advance non-profit work.
4 days agoCloudflare BlogCloudflare K2 is a serverless event streaming service that uses R2 object storage for scalable data transfer and long-term data storage. It allows for reliable, ordered data streams by separating data producers and consumers at the edge, avoiding the need for traditional message broker clusters.
5 days ago