KVyper: Semantics of Vyper in K. Contribute to kframework/vyper-semantics development by creating an account on GitHub.
GitHub - FujoWebDev/lexicon-guestbook: A lexicon for guestbooks on ATproto
A lexicon for guestbooks on ATproto. Contribute to FujoWebDev/lexicon-guestbook development by creating an account on GitHub.
GitHub - BlockScience/koi-net: Implementation of Knowledge Organization Infrastructure Network (KOI-net) protocol in Python
Implementation of Knowledge Organization Infrastructure Network (KOI-net) protocol in Python - BlockScience/koi-net
Vylit - 18+ Social Creator Platform
Vylit is an 18+ social-meets-creator platform redefining how people share, discover, and monetize content.
kjaanson.eurosky.social/atproto-exploration-tooling
Small codebase to explore and build helper tooling for ATProto research. Mostly for my own use.
Lexicon Store - ATProto Lexicon Schema Registry
Discover and explore AT Protocol lexicon schemas. The verified registry for Bluesky and ATProto lexicons.
The Rust Programming Language - The Rust Programming Language
by Steve Klabnik, Carol Nichols, and Chris Krycho, with contributions from the Rust Community
Coeffects: a calculus of context-dependent computation
The notion of context in functional languages no longer refers just to variables in scope. Context can capture additional properties of variables (usage patterns in linear logics; caching requirements in dataflow languages) as well as additional resources or properties of the execution environment (rebindable resources; platform version in a cross-platform application). The recently introduced notion of coeffects captures the latter, whole-context properties, but it failed to capture fine-grained per-variable properties.We remedy this by developing a generalized coeffect system with annotations indexed by a coeffect shape. By instantiating a concrete shape, our system captures previously studied flat (whole-context) coeffects, but also structural (per-variable) coeffects, making coeffect analyses more useful. We show that the structural system enjoys desirable syntactic properties and we give a categorical semantics using extended notions of indexed comonad.The examples presented in this paper are based on analysis of established language features (liveness, linear logics, dataflow, dynamic scoping) and we argue that such context-aware properties will also be useful for future development of languages for increasingly heterogeneous and distributed platforms.
Kimi K3 - Kimi API Platform
Kimi K3 is our flagship model for long-horizon coding and end-to-end knowledge work, with a 1M-token context window and industry-leading intelligence. The Kimi API Platform provides K3, K2.7 Code, K2.6 and other large language model APIs, supporting long context, multimodal understanding, and Tool Calling.
An AT Proto lexicon currently under consideration and development
An AT Proto lexicon currently under consideration and development · GitHub
Lexicon Embeds Overview
There’s an excellent discussion and thread about syntax highlighting of code blocks happening today: I think most notably there’s some alignment around using a lexicon to represent code blocks (say Tangled’s strings) and embedding those, rather than just doing syntax highlighting w/in the constraints of a bsky post. This seems like a good place to hammer a bunch of things out.
vllm-project.github.io/_posts/2026-07-22-kimi-k3-preview.md at main · vllm-project/vllm-project.github.io
Contribute to vllm-project/vllm-project.github.io development by creating an account on GitHub.
theknarf-experiments/flow-ts
Contribute to theknarf-experiments/flow-ts development by creating an account on GitHub.
New Build Notes article discussing ATProto and how we as developers can go about forming standard lexicons for common datatypes without being overly prescriptive on implementation details that would limit creativity and competition blog.stygiantech.dev/a/3msmoumcr4d23-atproto-stand…
ATProto Standards Bodies—Guiding the Future of the Network
blog.stygiantech.dev