dollspace-gay

Verification-Driven Development (VDD)

Methodology: Iterative Adversarial Refinement

Overview

Verification-Driven Development (VDD) is a high-integrity software engineering framework designed to eliminate "code slop" and logic gaps through a generative adversarial loop. Unlike traditional development cycles that rely on passive code reviews, VDD utilizes a specialized multi-model orchestration where a Builder AI and an Adversarial AI are placed in a high-friction feedback loop, mediated by a human developer and a granular tracking system.

I. The VDD Toolchain

samwho

from __future__ import annotations

import argparse
import time
from dataclasses import dataclass

import mlx.core as mx
from mlx_lm import load
from mlx_lm.generate import BatchGenerator
from rich.console import Console

braidn

ARG VARIANT="20.04"
FROM mcr.microsoft.com/vscode/devcontainers/base:0-ubuntu${VARIANT}

RUN apt-get update && \
    apt-get install -y build-essential curl libevent-dev libssl-dev libxml2-dev libyaml-dev libgmp-dev git && \
    apt-get clean && rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*

RUN curl -sL "https://keybase.io/crystal/pgp_keys.asc" | apt-key add - && \
echo "deb https://dist.crystal-lang.org/apt crystal main" | tee /etc/apt/sources.list.d/crystal.list && \
apt-get update

dhh

ruby '2.7.1'

gem 'rails', github: 'rails/rails'
gem 'tzinfo-data', '>= 1.2016.7'  # Don't rely on OSX/Linux timezone data

# Action Text
gem 'actiontext', github: 'basecamp/actiontext', ref: 'okra'
gem 'okra', github: 'basecamp/okra'

# Drivers

mikepqr

See this tweet for how I use this.

To install in Firefox:

1. If it doesn't already exist, create a folder called chrome in your profile folder. The easiest way to find your profile folder is in about:profiles (there's a "Show in Finder" link for the folder on macOS). Be sure to choose the right profile is you have more than one.

2. Put userContent.css above in the chrome folder you just created.

amirrajan

def tick args
  defaults args
  render args
  calc args
  input args
end

def defaults args
  args.state.ball.debounce       ||= 3 * 60
  args.state.ball.size           ||= 10

amirrajan

class Game
  attr_accessor :args, :state, :inputs, :outputs, :grid

  def update_line_of_sight
    variations = [-1, 0, 1]
    newly_visible = variations.product(variations).flat_map do |rise, run|
      thick_line_of_sight state.x, state.y, rise, run, 15,
                          lambda { |x, y| dungeon_cell_exists? x, y }
    end.uniq

icculus

# This is the complete source code to Basic Gorillas:
#  https://dragonruby.itch.io/basicgorillas
#
# You can tinker with this by getting a copy of DragonRuby Game Toolkit:
#  https://dragonruby.org/
#
# Amir Rajan wrote this game, catch him at https://twitter.com/amirrajan !

class YouSoBasicGorillas
  attr_accessor :outputs, :grid, :game, :inputs

icculus

# This is the complete source code to Flappy Dragon:
#  https://dragonruby.itch.io/flappydragon
#
# You can tinker with this by getting a copy of DragonRuby Game Toolkit:
#  https://dragonruby.org/
#
# Amir Rajan wrote this game, catch him at https://twitter.com/amirrajan !

class FlappyDragon
  attr_accessor :grid, :inputs, :game, :outputs

wndxlori

# the first 2 or 4 values of the primitive conventionally are x, y, (w, h, or x2, y2)
# the last 4 values conventionally are r, g, b, a (color)
# custom values for primitive are in the middle
# labels    x, y, text, size, alignment, r, g, b, a
# sprites   x, y, w, h, path, angle, alpha
# lines     x, y, x1, y1, r, g, b, a
# solids    x, y, w, h, r, g, b, a
# borders   x, y, w, h, r, g, b, a
# sounds    ".wav|.ogg"