The question is not about where operads are used, I know that. It is about what makes them useful. For example, van Kampen diagrams are useful in combinatorial group theory because these are planar
Why are operads useful?
The question is not about where operads are used, I know that. It is about what makes them useful. For example, van Kampen diagrams are useful in combinatorial group theory because these are planar
What is an Operad? Part 1
If you browse through the research of your local algebraist, homotopy theorist, algebraic topologist or―well, anyone whose research involves an operation of some type, you might come across the word "operad." But what are operads? And what are they good for? Loosely speaking, operads―which come in a wide variety of types―keep track of various "flavors" of operations.
Operads, Type Level Nats, and Tic-Tac-Toe
This summer I spent some time talking with Edward Kmett about lots of things. (Which really means that he was talking and I was trying to keep up.) One of the topics was operads. The ideas behind o…
Opera Neon. This browser is built to act.
Opera Neon is an agentic browser that understands your intent, assists with tasks, and takes actions. It helps you move faster and get things done.
Opera Unite Overview, Discovering Opera Part 2 - gHacks Tech News
An overview of Opera Unite, a unique component of the Opera web browser that turns it into a server that runs on your local system.
The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
Wiring diagrams, as seen in digital circuits, can be nested hierarchically and thus have an aspect of self-similarity. We show that wiring diagrams form the morphisms of an operad $\mcT$, capturing this self-similarity. We discuss the algebra $\Rel$ of mathematical relations on $\mcT$, and in so doing use wiring diagrams as a graphical language with which to structure queries on relational databases. We give the example of circuit diagrams as a special case. We move on to show how plug-and-play devices and also recursion can be formulated in the operadic framework as well. Throughout we include many examples and figures.
Tonido, an Opera Unite Alternative? - gHacks Tech News
If you have found Opera's Unite feature particularly useful, you may be disappointed that the company decided to pull the plug on the technology and remove if f
Opera unveils an AI agent that runs natively within the browser | TechCrunch
Browser company Opera has unveiled a new AI agent called Browser Operator that can complete tasks for you on different websites. In a demo video, the
Generalized Lens Categories via functors $\mathcal{C}^{\rm op}\to\mathsf{Cat}$
Lenses have a rich history and have recently received a great deal of attention from applied category theorists. We generalize the notion of lens by defining a category $\mathsf{Lens}_F$ for any category $\mathcal{C}$ and functor $F\colon \mathcal{C}^{\rm op}\to\mathsf{Cat}$, using a variant of the Grothendieck construction. All of the mathematics in this note is straightforward; the purpose is simply to see lenses in a broader context where some closely-related examples, such as ringed spaces and open continuous dynamical systems, can be included.
Seven Sketches in Compositionality: An Invitation to Applied Category Theory
This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. It aims to give a tour: a gentle, quick introduction to guide later exploration. The tour takes place over seven sketches, each pairing an evocative application, such as databases, electric circuits, or dynamical systems, with the exploration of a categorical structure, such as adjoint functors, enriched categories, or toposes. No prior knowledge of category theory is assumed. A feedback form for typos, comments, questions, and suggestions is available here: https://docs.google.com/document/d/160G9OFcP5DWT8Stn7TxdVx83DJnnf7d5GML0_FOD5Wg/edit
Host Your Own Facebook With Opera Unite
Opera Software has unveiled a new service, dubbed Opera Unite, for its flagship browser. Opera Unite is essentially a web server built in to the browser — instead of just passively browsing the web, Opera Unite lets you share photos, chat, and host your web site directly on your own computer. Opera Unite is currently \[…\]
Tiling Is the Missing Abstraction in Graphics Programming
A software engineer’s playbook for tiling: scheduling, threadgroups, and the small decisions that make performance predictable.
+ ui primitives for navigating between, discovering them, managing them, etc ! (and on all the above, and the ones dan mentions, I don't think they need to look anything like the solutions we already have for these things, new ideas are possible!)
daniel holmgren 🫠
so you have a "universal" app that pulls together all these disparate highly-contextual apps. notifications for all of them in one spot, a algorithm/discovery for seeing updates across all of them, etc
