braai engineer
@BraaiEngineer

braai/acc. I put the ai in braai. making software for 20+ yrs. BEng E&E w/Comp Sci. #Clojure. EACL AuthZ: eacl.dev. 🤠🎸 @IndianaTunes on IG. 🔥🪵 @BraaiSim

 Cape Town, South Africa
petrustheron.com
Joined January 2009
1,675 Photos and videos
Formally verifying code using Dafny & an SMT Solver (Z3)
Article

Formal Verification Is Becoming Mandatory

You are about to get pwned by agents that are better at hacking and reading code than your agents are at writing code. In the Agentic Era, Formal Verification is mandatory. Unless your binary is

2
2
8
1,115
Article

Why EACL: Situated AuthZ

"Why was EACL: Enterprise Access ControL designed as a situated authorization library?" – you, hopefully. I can finally disclose the true reason why EACL's permission data lives in Datomic next to
106
Article

Idea: Branch Prediction & Speculative Execution for AI Tool Calls

You can probably 10x AI iteration speed by trading latency for tokens with branch prediction & speculative tool call execution: When an agent issues a tool_call, fork the context & workspace into N

1
197
Article

Why I'm long Clojure in The Age of AI

To expand on The Revenge of Lisp, AI whisperers no longer read code – just specs & mermaid diagrams, so the only things they will care about are: Iteration Speed: how many iterations does it take to

2
7
2,066
Article

braai engineer's guide to vibecoding

I spend ~$500 a month on AI by using the latest frontier models and I seem to be getting better results than most people by using the following process. Project Structure Every project I use AI in has

2
7
1,525

Tuno is to Love

4+ years ago, I conceived of a privacy-focused Apple Watch app that would help me remember the people I met (When, Where, Who & with Who), but it did not exist I thought of coding it by hand, but I

1
1
107
Load more