OpenAPI linting, diffing and testing. Optic helps prevent breaking changes, publish accurate documentation and improve the design of your APIs.
Omi Glass Dev Kit
Omi Glass Dev Kit is the first always-on camera + audio smart glasses, turning what you see and hear into transcripts, summaries, tasks, and memories. Instantly search and chat with AI, and automate workflows with 1,000+ app integrations. Fully open-source, build your own apps or customize everything. Made for creators, hackers, and researchers building ambient intelligence.
Skyreader Vision - Skyreader Dev Log
What Skyreader and the reading app ecosystem can become with your support
OpenAI for Startups
You’ve got the vision. OpenAI gives you the tools, resources, and community to bring your big idea to life.
Rokid AI& AR Glasses - Redefining Reality
Rokid leads the future of augmented reality glasses with cutting-edge spatial computing, sparking creativity in learning, work, entertainment, and engineering through immersive smart displays anytime, anywhere.
Running an Open Source Home Area Network
Insights on running a Home Area Network (HAN) nearly completely on open source software, including configurations and metrics.
Categories of Optics
Bidirectional data accessors such as lenses, prisms and traversals are all instances of the same general 'optic' construction. We give a careful account of this construction and show that it extends to a functor from the category of symmetric monoidal categories to itself. We also show that this construction enjoys a universal property: it freely adds counit morphisms to a symmetric monoidal category. Missing in the folklore is a general definition of 'lawfulness' that applies directly to any optic category. We provide such a definition and show that it is equivalent to the folklore profunctor optic laws.
Project Cambria: Translate your data with lenses
Changing schemas in distributed software is hard. Could adopting bidirectional lenses help?
OpenAI to acquire Astral
Accelerates Codex growth to power the next generation of Python developer tools
hey-api/openapi-ts
🌀 OpenAPI to TypeScript codegen. Production-ready SDKs, Zod schemas, TanStack Query hooks, and 20+ plugins. Used by Vercel, OpenCode, and PayPal.
Profunctor Optics: Modular Data Accessors
CONTEXT: Data accessors allow one to read and write components of a data structure, such as the fields of a record, the variants of a union, or the elements of a container. These data accessors are collectively known as optics; they are fundamental to programs that manipulate complex data. INQUIR...
OpenAI gpt-oss· Ollama Blog
Ollama partners with OpenAI to bring gpt-oss to Ollama and its community.
eSight - Electronic eyewear for the visually impaired
eSight is the most advanced all-in-one device for people with visual impairment. Fill out our online form to learn if eSight could help you.
An Update on OpenPRoT
Dependent Optics
A wide variety of bidirectional data accessors, ranging from mixed optics to functor lenses, can be formalized within a unique framework-dependent optics. Starting from two indexed categories, which encode what maps are allowed in the forward and backward directions, we define the category of dependent optics and establish under what assumptions it has coproducts. Different choices of indexed categories correspond to different families of optics: we discuss dependent lenses and prisms, as well as closed dependent optics. We introduce the notion of Tambara representation and use it to classify contravariant functors from the category of optics, thus generalizing the profunctor encoding of optics to the dependent case.
Raycast - Your shortcut to everything
A collection of powerful productivity tools all within an extendable launcher.
Nimbus for visionOS
Nimbus is a Bluesky client for visionOS, bringing social browsing to spatial computing.