just saw a @Waymo in bellevue and I need an invite code

From my conversation with @Golnaz89 on @CoffeeAndOSS, she talked about AI in her workflow. It removes the stress without replacing the human collaboration, talent, and creativity that make great content possible. piped.video/shorts/-k-CXn8Js… #storytelling #ai

i think i have enough compute power, caffeine, and hours, to get this thing done. and that should be your everyday.

all hail #bubu. cc @davidpine7 @maddymontaquila @tommasodotNET @eehardt

do you know "the amen break?" if you don't think you do, you will once you hear it. the AB is one of the things artists use infinitely in their own works. The AB is such, such the inspiration and underpinnings for so. much. cool. piped.video/watch?v=NkU4hsaF…

If only you had a friend who had a birthday on halloween and a wee bit of disposable income...

What if shipping code helped teach AI how to use it? Nov 17, 6pm Central: join me at WI .NET User Group in Brookfield for Inside Aspire: The Architecture Behind the AI Loop. Details: davidpine.dev/speaking?event… Sneak peek: ievangelist.github.io/inside… #Aspire #AI

We'd like to invite you to try out #squad 2.0 preview. we don't have in all the package managers yet, but, if you're keen to try it out you can download the installers from our release page here: github.com/bradygaster/squad…

lfgggggggggg

have favorite moments with favorite people and don’t look back

what song screams courage to you. so loud you can’t ignore it. so loud you feel it. so loud it becomes your walk-on song. what song makes you fearless beyond sanity. what song makes you indestructible.

it’s not every day you get to take your favorite person to see your mutually favorite producer in vegas. let’s go @charli_xcx

excited to be speaking at #ndcporto next month! i’ll be showing all the latest goodness we’re shipping in #squad 2.0! ndcporto.com/agenda/from-cod…

welllll this is awkward star-history.com/bradygaster…

Waza started with skills. v0.39.0 goes further: - Workflow evals - Dashboard Lab (--lab) - Preflight, evidence, judging & fixes Loving the feedback! What are you testing? What's missing? Your reports & contributions shape what's next for me and the squad to deliver? microsoft.github.io/waza/rel…

How do you _guarantee_ your agent's code is correct? You prove it. Introducing Proof Driven Development Kit (PDD Kit) from @MSFTResearch. PDD Kit helps turn your plan into a formal spec, then proves the agent's code meets that spec for every input. No vibe verification. PDD Kit is integrated with @GitHubNext's Chopin, so you can plan as a team. PDD Kit takes an app's login flow from intent to a verified pull request: It discusses your code, infers your intent as it goes, and proposes a formal spec in Verus, a proof language for Rust. Once you approve the spec, the Verus verifier automatically proves the code meets it. Where proof isn't possible, it falls back to empirical verification with tests and computer-use agents (CUAs). It works on Rust today. No new language, no change in how you produce the underlying code, making formal methods more accessible. The goal is a verified software factory, where engineers review specifications instead of code. Come see it in action at GitHub Universe, Oct 28–29. Swing by the Speakeasy and ask for GitHub Next!