gmoigneu

The 8 Pillars of Verification Infrastructure

A practical assessment framework for measuring how ready your codebase is for AI coding agents. Based on the principle that the limit to agent autonomy isn't the model, it's your verification infrastructure.

---

How to Use This Checklist

max-rocket-internet

CPU: percentage of limit

A lot of people land when trying to find out how to calculate CPU usage metric correctly in prometheus, myself included! So I'll post what I eventually ended up using as I think it's still a little difficult trying to tie together all the snippets of info here and elsewhere.

This is specific to k8s and containers that have CPU limits set.

To show CPU usage as a percentage of the limit given to the container, this is the Prometheus query we used to create nice graphs in Grafana:

sum(rate(container_cpu_usage_seconds_total{name!~".*prometheus.*", image!="", container_name!="POD"}[5m])) by (pod_name, container_name) /

technetium

Propagating awareness via ManyToOne associations

Introduction

Michaël Perrin has written an article about using annotation and filters improve security.

With a more complex model, for example an order that contains products, you want also to filter on the associations of the filtered entity.

erikw

#!/usr/bin/env bash
# Runs a command wrapped in btrfs snapper pre-post snapshots.
# Usage: $ snp <commands>
# e.g.: $ snp pacman -Syyu
# Requirements: snapper (https://wiki.archlinux.org/title/snapper)
# The latest version of this script is hosted at https://gist.github.com/erikw/5229436

log_path="/var/local/log/snp"
date=$(date "+%Y-%m-%d-%H%M%S")
log_file="${log_path}/snp_${date}.log"

rtcoms

agnoster.zsh-theme

A ZSH theme optimized for people who use:

• Solarized
• Git
• Unicode-compatible fonts and terminals (I use iTerm2 + Menlo)

For Mac users, I highly recommend iTerm 2 + Solarized Dark

mnapoli

# Inspired from http://blog.hio.fr/2011/09/17/doctrine2-yaml-mapping-example.html

MyEntity:
  type: entity
  repositoryClass: MyRepositoryClass
  table: my_entity
  namedQueries:
    all: "SELECT u FROM __CLASS__ u"

  # Class-Table-Inheritance

bubba-h57

<?php

namespace H57\Util;

class Serializor {
	
	/**
	 * Converts the Doctrine Entity into a JSON Representation
	 * 
	 * @param object $object The Object (Typically a Doctrine Entity) to convert to an array

noetix

<?php

namespace Acme\DemoBundle\Form;

use Symfony\Component\Form\AbstractType;
use Symfony\Component\Form\FormBuilderInterface;
use Symfony\Component\DependencyInjection\ContainerInterface;

use Acme\DemoBundle\Form\EventListener\addTranslatedFieldSubscriber;

marktheunissen

This playbook has been removed as it is now very outdated.

almost

# The beginnings of a declarative model syntax for CoffeeScript.
# SEE: http://almostobsolete.net/declarative-models-in-coffeescript.html
# Thomas Parslow
# Email: tom@almostobsolete.net
# Twitter: @almostobsolete

# The top part is the setup, see below that for the demo 

# To see this run right away try copy pasting it into the 'Try
# CoffeeScript' box at http://jashkenas.github.com/coffee-script/