Skip to content

Instantly share code, notes, and snippets.

View michaelsmanley's full-sized avatar

Michael S. Manley michaelsmanley

View GitHub Profile
@dollspace-gay
dollspace-gay / VSDD.md
Last active May 8, 2026 11:39
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.
@johnston
johnston / data-star-CSRF.js
Created April 12, 2025 19:40
Automatically add a CSRF token to requests with data-star
import { load } from "@starfederation/datastar/bundles/datastar-core"
import * as plugins from "@starfederation/datastar/plugins"
// Function to get CSRF token from meta tag
const getCSRFToken = () => {
const meta = document.querySelector('meta[name="csrf-token"]')
return meta ? meta.getAttribute('content') : null
}
// Helper function to create CSRF-enabled HTTP method handlers
@markuman
markuman / README.md
Last active February 11, 2025 11:30
🗺️ OSM - self host the entire planet 🌎 in ~30 minutes 🚀

🗺️ OSM - self host the entire planet 🌎 in ~30 minutes 🚀

TL;DR

mkdir osm
wget -O osm/planet.mbtiles https://hidrive.ionos.com/api/sharelink/download?id=SYEgScrRe
podman run -ti --rm -p 9000:9000 --name sms -v $(pwd)/osm/:/data/ registry.gitlab.com/markuman/sms:latest
firefox http://localhost:9000
@cugu
cugu / README.md
Last active March 10, 2026 15:59
Webhooks for PocketBase

Webhooks for PocketBase

A simple webhook plugin for PocketBase.

Adds a new collection "webhooks" to the admin interface, to manage webhooks.

Example

The webhook record in the following example send create, update, and delete events in the tickets collection to http://localhost:8080/webhook.

@blineberry
blineberry / supportsWebmentionsBookmarklet.js
Last active September 27, 2025 15:29
Supports Webmentions? Bookmarklet
javascript: (() => {
// Set some strings for the common result scenarios.
const support = "Page supports webmentions!";
const noSupport = "Page does not support webmentions :(";
// Create a dialog element and insert into the DOM.
let d = document.createElement('dialog');
document.getElementsByTagName('body')[0].appendChild(d);
// Remove the dialog element when it's closed.
#!/usr/bin/env bash
# Abort sign off on any error
set -e
# Start the benchmark timer
SECONDS=0
# Repository introspection
OWNER=$(gh repo view --json owner --jq .owner.login)
@gnat
gnat / index.html
Last active July 7, 2024 01:55
3D Card (Surreal + CSS Scope Inline)
<html>
<head>
<script src="https://gnat.github.io/css-scope-inline/script.js"></script>
<script src="https://gnat.github.io/surreal/surreal.js"></script>
</head>
<body>
<style>
* { box-sizing: border-box; }
html, body { width: 100%; height: 100%; display: flex; justify-content: center; align-items: center; }
body { font-family: system-ui, sans-serif; perspective: 1500px; background: linear-gradient(#666, #222); }
@dangovorenefekt
dangovorenefekt / blockmetatwitter.md
Last active December 27, 2025 05:32
Block Meta and Twitter (nginx)