objective categorical abstract machine language personal data server
AT Protocol PDS
Explore this self-hosted AT Protocol Personal Data Server (PDS) with useful links and details.
npmx.social - npmx
The official AT Protocol Personal Data Server (PDS) for the npmx community.
Basic | The Personal Computing Platform
We build products, tools, and standards to make computers more personal.
at · Aesthetic Computer
A self-hosted ATProto Personal Data Server for the Aesthetic Computer community — paintings, moods, code, tapes, papers, and more.
PDS — a teaching port of the Bluesky personal data server
A from-scratch reimplementation of the Bluesky PDS in TanStack Start, paired with tutorial chapters that explain each subsystem so you can build your own.
PDS — a teaching port of the Bluesky personal data server
A from-scratch reimplementation of the Bluesky PDS in TanStack Start, paired with tutorial chapters that explain each subsystem so you can build your own.
Supporting Our AI Overlords: Redesigning Data Systems to be Agent-First
Large Language Model (LLM) agents, acting on their users' behalf to manipulate and analyze data, are likely to become the dominant workload for data systems in the future. When working with data,...
AnyLanguageModel 1.0: One Year of Local Models on Apple Platforms
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
Why Futhark?
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
From Personal Data Server to Personal Metadata Server - Liccium
Liccium builds the fundamental infrastructure that enables creators and rightsholders to publish machine-readable declarations about their digital works that…
Category Theory for Programmers: The Preface
Table of Contents Part One Category: The Essence of Composition Types and Functions Categories Great and Small Kleisli Categories Products and Coproducts Simple Algebraic Data Types Functors Functo…
Engineering High-Performance Parsers with Data-Oriented Design
Notes from building Yuku: the AST is flat arrays of u32 indices instead of a pointer tree, and memory layout, allocation, strings, unicode, and serialization all follow from that one decision.
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: