PSingletary PSingletary

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

Bluesky's age assurance sucks, here's how to work around it.

Bluesky has implemented age verification measures in response to regional laws that restrict access, prompting users to verify their age through Epic Games' Kids Web Services before they can access adult content.

This sucks, but thankfully there are ways to work around it.

Before diving in: I encourage you to read this entire document, including the

People

`:bowtie:`	😄 `:smile:`	😆 `:laughing:`
😊 `:blush:`	😃 `:smiley:`	☺️ `:relaxed:`
😏 `:smirk:`	😍 `:heart_eyes:`	😘 `:kissing_heart:`
😚 `:kissing_closed_eyes:`	😳 `:flushed:`	😌 `:relieved:`
😆 `:satisfied:`	😁 `:grin:`	😉 `:wink:`
😜 `:stuck_out_tongue_winking_eye:`	😝 `:stuck_out_tongue_closed_eyes:`	😀 `:grinning:`
😗 `:kissing:`	😙 `:kissing_smiling_eyes:`	😛 `:stuck_out_tongue:`

Tales of Adding oAuth "Login with Bluesky" to an OS Comments Tool

An Atmosphere Conf 2025 Lightning Talk

I recently embarked on the task of adding Bluesky Oauth Login to Coral by Vox Media (a popular comments tool) as an open source contribution.

In this talk I will give a brief overview of how that went, and what you should know before attempting to create your own atprotocol oauth clients.

Tales of Adding oAuth "Login with Bluesky" to an OS Comments Tool
An Atmosphere Conf 2025 Lightning Talk

How to stream games from OBS directly from Steam Deck's Gaming Mode (as of 2023-02-26)

DISCLAIMER: As with any guide, please make sure to read through and understand everything before following the steps in this guide. I'm not responsible for you breaking anything on your own device. This guide assumes you have a little background with the linux command line as well as the text editor nano. If not, please educate yourself

Description: It's possible to stream Vulkan and OpenGL games from Gaming Mode on your Steam Deck. This guide is heavily based on robertkirkman's guide, which is linked multiple times throughout this guide. Much thanks to them

	const oauthClient = new AtprotoOAuthClient({
	AtpBaseClient,
	callbackPathname: oauthCallbackPathname,
	clientMetadataPathname: oauthClientMeatadataPathname,
	clientMetadata: {
	client_name: "AtprotoTest",
	client_uri: new URL("/", request.url).href,
	scope: "atproto transition:generic",
	},
	namespace: env.OAUTH_STORAGE,

	$JobName = "http://localhost:$(Get-Random -Min 4200 -Max 42000)/"
	$httpListener = [Net.HttpListener]::new()
	$httpListener.Prefixes.Add($JobName)
	$httpListener.Start()

	Start-ThreadJob -ScriptBlock {
	param($MainRunspace, $httpListener, $SourceIdentifier = 'http')
	while ($httpListener.IsListening) {
	$contextAsync = $httpListener.GetContextAsync()
	while (-not ($contextAsync.IsCompleted -or $contextAsync.IsFaulted -or $contextAsync.IsCanceled)) {}

	{
	"order": "new",
	"manifest": {
	"filter": {
	"and": [
	{
	"or": [
	{
	"regex_matches": [
	"text",

	export const getValidUrlRegex = (domainName?: string) => {
	return domainName
	? RegExp(
	/^(?:https?:\/\/)?(?:www\.)?(?:(?<subdomain>[a-z0-9-]+)\.)?/.source +
	RegExp(domainName).source +
	/\.(?:(?<tld>[a-z]{1,63}))?(?::(?<port>[0-9]{1,5}))??(?:[/#](?<path>[\w/\-._~:/?#[\]@!$&'()+,;=.])?)?$/
	.source,
	)
	: /^(?:https?:\/\/)?(?:www\.)?(?:(?<subdomain>[a-z0-9-]+)\.)?(?<domain>[a-z0-9-]+)\.(?:(?<tld>[a-z]{1,63}))?(?::(?<port>[0-9]{1,5}))??(?:[/#](?<path>[\w/\-._~:/?#[\]@!$&'()+,;=.])?)?$/;
	};

	bsky.app##+js(user-bsky-annoyances.js)
	main.bsky.dev##+js(user-bsky-annoyances.js)