jboelter

name	review-correctness
description	Review a codebase or subsystem from a Rust-style correctness-by-construction perspective. Use when the user asks for a review "as if from a Rust background", wants impossible states made unrepresentable, asks for stronger invariants or type-driven design, or wants concrete changes to reduce stringly-typed state, ambiguous mutations, and correctness-by-discipline APIs.

Rust Correctness Review

Review the target system as if preparing it for a Rust implementation: favor local reasoning, strong typing, explicit invariants, and designs where invalid states and transitions are difficult or impossible to express.

Workflow

jboelter

b2sum=coreutils b2sum $*
b3sum=coreutils b3sum $*
base32=coreutils base32 $*
base64=coreutils base64 $*
basename=coreutils basename $*
basenc=coreutils basenc $*
cat=coreutils cat $*
cksum=coreutils cksum $*
comm=coreutils comm $*
cp=coreutils cp $*

jboelter

#! /usr/bin/python3
# Usage:
#   clone repo_url [path] [clone args]
#
# Examples
#   clone https://github.com/username/reponame.git
#   git clone https://github.com/username/reponame.git /home/user/src/github.com/username/reponame
#
#   clone https://github.com/username/reponame.git /src
#   git clone https://github.com/username/reponame.git /src/github.com/username/reponame

jboelter

package main

import (
	"fmt"
)

contract stringer@<type T> {
	T String() string
}

jboelter

# docker build . -t your:tag
# run the container and mount some directory into /data
# the startup script will create a user and launch CMD w/ the matching the UID:GID
# docker run --rm -it `pwd`:/data your:tag

FROM mhart/alpine-node

ENV GOSU_VERSION 1.10
RUN set -ex; \
	\

jboelter

DROP TABLE test;
CREATE TABLE test (
  id SERIAL NOT NULL PRIMARY KEY,
  a TEXT DEFAULT 'A',
  b TEXT DEFAULT 'B',
  i INTEGER DEFAULT 0
);
INSERT INTO test DEFAULT VALUES ;
INSERT INTO test DEFAULT VALUES ;
INSERT INTO test DEFAULT VALUES ;

jboelter

#!/bin/bash
set -x -e

# This script will attempt to fetch the go version specified below
# and install the tools required by vs-code + the metalinter.
# The binaries will be copied to $HOME/bin
# You might be prompted. Linux only for now.

GO_VERSION_WANT='1.8.3'

jboelter

// Uses the default AWS SDK Credentials;  e.g. via the environment
// AWS_REGION=region AWS_ACCESS_KEY_ID=key AWS_SECRET_ACCESS_KEY=secret
package main

import (
	"bytes"
	"flag"
	"fmt"
	"io"
	"log"

jboelter

// Uses the default AWS SDK Credentials;  e.g. via the environment
// AWS_REGION=region AWS_ACCESS_KEY_ID=key AWS_SECRET_ACCESS_KEY=secret
package main

import (
	"flag"
	"fmt"
	"io"
	"log"
	"os"

jboelter

package prometheus

import (
	"fmt"
	"sort"
	"sync"

	"github.com/golang/protobuf/proto"
	dto "github.com/prometheus/client_model/go"
)