Formal

Least privilege, enforced at the wire-protocol level — on autopilot for humans and agents.

[Formal @joinformal]

NEW: UI editor for permissions!

We released an abstraction layered on top of real code (Rego). It understands the grammar of the policy language and ties each visual element directly back to the correct spot in the source text.

[Mokhtar Bacha @AHMB84]

I'm a product-obsessed founder. Crafting a delightful product experience is my north star.
Few companies embody that level of craft like @NotionHQ — and today I'm incredibly proud to share with the world our latest case study.
@NotionHQ now secures 100s of datastores with Formal.
I’m deeply grateful to the Notion security team for betting on us when we were still an early-stage company. We’ve learned so much along the way, and working with them has truly made our product better.
@joinformal ❤️ @NotionHQ

[Formal @joinformal]

New Case Study: How Notion Secures Hundreds of Datastores with Formal
We're excited to share how Notion - one of the world’s fastest-growing collaborative workspaces - partnered with Formal to re-architect data security at scale.

https://t.co/0iQsRKWRuX

[Formal @joinformal]

NEW: Query Suggestions

Given a natural language search request, Formal provides a suggested query to filter logs, making Formal's already user-friendly interface even more accessible.

It’s another way to make searching logs easier.

[Formal @joinformal]

It was an honor to sponsor Girl Dinner!

[Emma Steuer 🧚🤖 @emmysteuer]

X GIRL DINNER WAS SUCCESS

[Formal @joinformal]

🤝

[BSidesSF @BSidesSF]

Thank you to @JoinFormal for being a Silver sponsor at BSidesSF 2025!

https://t.co/fR0GY1hrg7

#bsidessf #BSidesSF2025 #infosec