Learn how we built a step-by-step debugger for Polar, our Datalog-inspired logic language for fine-grained authorization. This post explores coinductive trees, lazy evaluation, and why a TUI made more sense than a GUI for tracing recursive, rule-based decisions.

Oso’s team offsite at Hemlock Neversink was all about bonding, strategy, and fun—goat hikes, team workshops, and even casino lessons in access control. We returned recharged, motivated, and stronger than ever. Want to join us next time? We’re hiring!

Why we moved from Fargate to ECS on EC2, and how we preserved a zero-downtime architecture in the process.

How Oso uses Kafka and an Event Sourcing Architecture to deploy a highly-available, low-latency managed authorization service.

A comprehensive look at the design of Polar, and how we enabled it to operate over distributed data.

An evaluation of Oso's declarative programming language Polar towards Turing-completeness using decision problems.

Oso engineer, Mike Cen, gives us a firsthand look into jumping back into the weeds as an individual contributor after being a manager for seven years.

Oso engineer, Jordan Killpack, relishes opportunities to be a beginner and to follow interests down twisty passages to unknown destinations. Read about how this curiosity led her into knitting and working at Oso!

Oso engineer, Vijay Ramamurthy, shares his journey into formal logic which all stemmed from writing an AI project to play Pokemon.

A look into Jesse Lax's, Oso Engineer, journey into software engineering and why he chose to work at Oso.

A case study on why to perform request validation on the data coming into your APIs, and how we wrote a type inference algorithm for ours - Oso Cloud.

Oso Summer 2022 Hackathon

How we use Rust, SQLx and Rocket to power Oso Cloud, our fully-managed authorization as a service

Oso winter hackathon 2021 - an opportunity to push boundaries and hack on fun projects we think the Oso product could do.

How we built Language Server Protocol (LSP) support for the Oso VS Code extension with Rust, WebAssembly (Wasm), and TypeScript.

How we developed Oso to let you query your database using your authorization policy.

Oso has libraries for Python, Ruby, Java, Javascript, Go, and Rust, and each of those libraries are based on a core that is written in Rust.

We run internal hackathons at Oso as a way to experiment with new ideas, prototype wish list features, build some off-the-wall things and have fun. In the past, we've prototyped features like data filtering in Python and built games like Polar Adventure. For the first time, in our most recent hackathon earlier this month we opened up the hackathon to the Oso community members, and they took the 🎂.

Intro to rules in Polar, Oso's policy language, and how they work together to define authorization.

Learn about what a declarative language is, and why using a declarative language is better for authorization.

We're continuing our "Tea with Sam" series with Oso cofounder/CTO, Sam Scott, live on Twitch. Next up we'll be taking another behind-the-scenes look into Oso development with a sneak preview of some new roles building blocks we're adding to the SQLAlchemy integration.

Tea with Sam: Data Filtering in Oso using Partial Evaluation

We are kicking off the first "Tea with Sam," a Twitch session with oso cofounder/CTO Sam Scott. We'll be sharing a behind the scenes look into oso development and some of the latest features that the engineering team is working on. Our first session will dig into the Go Library, which is under active development.

We explore the capabilities of oso's authorization policy language Polar using numerous challenges from this years of advent of code.

The third and final installment of our series on building a runtime reflection system in Rust looks at how we can dynamically call Rust methods at runtime.