@BraaiEngineer

braai/acc. I put the ai in braai. making software for 20+ yrs. BEng E&E w/Comp Sci. #Clojure. EACL AuthZ: https://xitter.cf/t.co/8d7whW9IvY. 🤠🎸 @IndianaTunes on IG. 🔥🪵 @BraaiSim

 Cape Town, South Africa
petrustheron.com
Joined January 2009
  • Tweets22.1K
  • Following2.2K
  • Followers1.6K
1.7KMedia
Formally verifying code using Dafny & an SMT Solver (Z3)

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 form…

Article · @BraaiEngineer
2
2
1
8
1,116

Why EACL: Situated AuthZ

I can finally disclose the true reason why EACL's permission data lives in Datomic next to your data: it's about materialized UI maintenance.

Article · @BraaiEngineer
106

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:

Article · @BraaiEngineer
1
1
197

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:

Article · @BraaiEngineer
2
1
7
2,068

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.

Article · @BraaiEngineer
2
1
7
1,526

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 h…

Article · @BraaiEngineer
1
1
107
Load more