In computer programming, a collection is an abstract data type that is a grouping of items that can be used in a polymorphic way.
Categorical Data Structures for Technical Computing
Many mathematical objects can be represented as functors from finitely-presented categories $\mathsf{C}$ to $\mathsf{Set}$. For instance, graphs are functors to $\mathsf{Set}$ from the category with two parallel arrows. Such functors are known informally as $\mathsf{C}$-sets. In this paper, we describe and implement an extension of $\mathsf{C}$-sets having data attributes with fixed types, such as graphs with labeled vertices or real-valued edge weights. We call such structures "acsets," short for "attributed $\mathsf{C}$-sets." Derived from previous work on algebraic databases, acsets are a joint generalization of graphs and data frames. They also encompass more elaborate graph-like objects such as wiring diagrams and Petri nets with rate constants. We develop the mathematical theory of acsets and then describe a generic implementation in the Julia programming language, which uses advanced language features to achieve performance comparable with specialized data structures.
A theory of type polymorphism in programming
The aim of this work is largely a practical one. A widely employed style of programming, particularly in structure-processing languages which impose n…
Functional Query Languages with Categorical Types
We study three category-theoretic types in the context of functional query languages (typed lambda-calculi extended with additional operations for bulk data processing). The types we study are:
Generic deriving of generic traversals | Proceedings of the ACM on Programming Languages
Functional programmers have an established tradition of using traversals as a design pattern to work with recursive data structures. The technique is so prolific that a whole host of libraries have been designed to help in the task of automatically ...
The Principal Type-Scheme of an Object in Combinatory Logic
R. Hindley, The Principal Type-Scheme of an Object in Combinatory Logic, Transactions of the American Mathematical Society, Vol. 146 (Dec., 1969), pp. 29-60
AT Proto Collection Tracker
Discover AT Protocol activity from the bottom up — live record counts by collection type from the Jetstream firehose, grouped by namespace.
this is what I am *TALKING* about. I'm sure I'm late but this is such a cool idea from @semble.so. Collections are not new but mapping the specific kind of relationship between two things?? And this is publicly usable shared knowledge? Social knowledge as a service, beautiful.
taurean
to be fair we are also getting that from projects, I am just greedy and want to see even more. For example with @germnetwork.com, E2EE messaging is not new but multiple sub-identities in one inbox is. Show us something weird and new if/when you adopt an existing experience but for atproto.
Emerging from being "down in the technical weeds" of #atproto is a little mashup of @semble.so & WayFinder (wayfinders.network) Semble team released "open collections" this week - here we explore the "private & permissioned data" collection, created by @bmann.ca & now with 3 other contributors
Collection of collections: Miscellaneous
Other collections that may eventually be sorted into new collections of collections
Cool collections on Semble
Collection of collections: Quit x
And also quit X
Collection of collections: Health/medicine
Note that I don’t have an actual background on the subject (as is the case with most things, but I thought it’s especially important to mention here)
Collection of collections: Bookmarks
Tools, trackers, databases, apps, etc. (as opposed to articles, studies, etc.)
mobile data collection and study apps
AI* and healthcare/medicine (by あ) — Semble
Public health (by あ) — Semble
COVID-19 vaccines (by あ) — Semble
Depression (by あ [#F04000]) — Semble
Cancer (unsorted) (by あ) — Semble
COVID-19 history (by あ) — Semble
Wikipedia (by あ) — Semble
Domains/TLDs (by あ) — Semble
ICE agents (by あ) — Semble
ICE statistics (by あ) — Semble
Disaster preparedness (unsorted) (by あ) — Semble
Loneliness epidemic (by あ) — Semble
Quit 1Password (by あ) — Semble
Quit Rakuten 楽天 (by あ) — Semble
Quit Shopify (by あ) — Semble
Quit* W Social (by あ) — Semble
Quit BeReal? (by あ) — Semble
Quit Microsoft (by あ) — Semble
cars are bad for humans (by zafarali.me) — Semble
Poetic Computation (by Pouria) — Semble
Weird Wide Web 🐑 (by Sebastian) — Semble
up (by .✦ ݁˖ theresa maria ₊•) — Semble
Extreme Citizen Science (by Joel Chan) — Semble
Cool collections on Semble (by 𝕮) — Semble
AT Protocol status pages (by あ) — Semble
AI* tools (by あ) — Semble
Public health (by あ) — Semble
Design archives (by あ) — Semble
Design* tools (by あ) — Semble
Unsorted (by あ) — Semble
About the App
The Modern Electronic Lab Notebook (ELN) - LabArchives
Tally Counter & Tracker Daily - Apps on Google Play
Mobile Data Collection and Collaboration App
ODK Collect
Field Book Documentation
