Skip to content

Instantly share code, notes, and snippets.

View pmarques's full-sized avatar

Patrick Marques pmarques

  • Proofpoint
  • London
View GitHub Profile
@pmarques
pmarques / VSDD.md
Created March 2, 2026 06:05 — forked from dollspace-gay/VSDD.md
Verified Spec-Driven Development

Verified Spec-Driven Development (VSDD)

The Fusion: VDD × TDD × SDD for AI-Native Engineering

Overview

Verified Spec-Driven Development (VSDD) is a unified software engineering methodology that fuses three proven paradigms into a single AI-orchestrated pipeline:

  • Spec-Driven Development (SDD): Define the contract before writing a single line of implementation. Specs are the source of truth.
  • Test-Driven Development (TDD): Tests are written before code. Red → Green → Refactor. No code exists without a failing test that demanded it.
@pmarques
pmarques / signing-gpg-keys.md
Created May 5, 2024 20:59 — forked from F21/signing-gpg-keys.md
Signing someone's GPG key

This is a quick guide of the commands we use to sign someone's GPG key in a virtual key signing party.

Note: The steps cover only the technical aspects of signing someone's key. Before signing someone's key, you must verify their identity. This is usually done by showing government-issued ID and confirming the key's fingerprint

The commands will work for both GPG and GPG2.

I use Julian's key for the examples. His key id is 2AD3FAE3. You should substitute with the appropriate key id when running the commands.

Signing the key

  1. List the keys currently in your keyring: gpg --list-keys.
@pmarques
pmarques / session.go
Created December 7, 2016 15:19 — forked from jochasinga/session.go
Example of middlewares in Go
package main
import (
"log"
"strings"
)
type Session struct {
Email string
Password string