zuff

@Roblox Game Developer and Design Engineer

[zuff @zuffhy]

The Gallery #RobloxDev #RBXDev #Roblox

[GitHub Next @GitHubNext]

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!

[zuff @zuffhy]

Addtionals:
All rights belong to their respective owners, 'respective owners' being GOLF le FLEUR* by Tyler Okonma (Tyler the Creator).

[zuff @zuffhy]

Decided to do a recreation/study of the 'GOLF le FLEUR*' store located in Malibu, CA. #Roblox #RobloxDev

[zuff @zuffhy]

Octi Pedant (study) #RobloxDev #Roblox

[zuff @zuffhy]

Map for Lightsaber Legacy
#Roblox #RobloxDev

[zuff @zuffhy]

@RbxGio congrats gio !

[zuff @zuffhy]

Scenery Assets: Belreaus

[zuff @zuffhy]

Order of Peace HQ #RobloxDev #RBXDev #Roblox

[zuff @zuffhy]

@Jazzy__x3 Exspects

[zuff @zuffhy]

Scenery Assets: Belreaus

[zuff @zuffhy]

Chicken Shack Training Center #RobloxDev #Roblox

[zuff @zuffhy]

Scenery Assets: Belreaus

[zuff @zuffhy]

Sprinklify #RobloxDev #RBXDev #Roblox

[zuff @zuffhy]

Game link: https://t.co/a3axUbp2EV

[zuff @zuffhy]

The Gallery #RobloxDev #RBXDev #Roblox

[zuff @zuffhy]

Additional Pictures:

[zuff @zuffhy]

@Tangerinso 2 parts and then cutting a cylinder in half (using unions)

[zuff @zuffhy]

Little Angels Daycare v(N/A) #RobloxDev #Roblox #RBXDev

[zuff @zuffhy]

Additional Pictures: #RobloxDev #Roblox #RBXDev

[zuff @zuffhy]

cream training center :)
#RobloxDev #RBXDev #Roblox