cee-dub

package main

import (
	"fmt"
	"log"
	"net/http"
	"time"
)

// SSE writes Server-Sent Events to an HTTP client.

dnoliver

  GNU nano 4.3                                             disk-encryption.sh                                                       
#!/bin/bash

set -euxo pipefail

rpm -qa clevis* cryptsetup* luks* tpm2* e*fspr* | sort

# Creation

# dd if=/dev/zero of=/dev/sda1 bs=1M status=progress

lawliet89

git grep -I -E '^.+[ ]+$'

dbrgn

#!/bin/bash

function git_is_dirty {
    [[ $(git diff --shortstat 2> /dev/null | tail -n1) != "" ]] && echo "yes"
}

function git_is_diverged {
    LOCAL=$(git rev-parse --abbrev-ref HEAD 2> /dev/null || echo "none")
    REMOTE=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2> /dev/null || echo "none")
    if [[ "$LOCAL" == "none" ]]; then  # No commits yet

cwacek

UEFI PXE Installation of RHEL6.4

For some reason, starting a PXE boot installation of RHEL6.4 on UEFI systems is poorly documented. Simultaneously, the process is not terribly verbose when it fails. Here's what I had to do to get this to work.

We going to use Cobbler to take care of a lot of the gruntwork (TFTP, DHCP, etc). It's entirely possible to do it without Cobbler, but even accounting for its warts it will make you more

ryancdotorg

/* This is a wrapper library that will give your server the power of
 * /dev/null as a service, as seen at http://devnull-as-a-service.com/
 *
 * Compile:
 * gcc -ggdb -shared -fPIC dnaas.c -ldl -lcurl -o libdnaas.so
 *
 * Try:
 * LD_PRELOAD=./libdnaas.so dd if=/dev/sda of=/dev/null bs=8192 count=16
 *
 * Install:

0xdade

#!/usr/bin/env python3
'''
Determine if this python is part of an executable or a standalone script and then delete the file accordingly.

If the script has been bundled into an executable using pyinstaller (such as pyinstaller --onefile <fname>.py) then the realpath of __file__ will be incorrect, thus the use of sys.executable.

Example of just relying on __file__:
$ pyinstaller --onefile test.py
[...]
$ ls dist/

usrbinkat

Hacking on UOR Framework based ai-model-registry

Build Container

cat <<EOF > Dockerfile && docker build -t registry .
FROM --platform=x86_64 cgr.dev/chainguard/go:latest-glibc as build
RUN CGO_ENABLED=0 GOBIN=/home/nonroot go install github.com/google/go-containerregistry/cmd/registry@latest

FROM --platform=x86_64 cgr.dev/chainguard/static:latest

hwayne

---- MODULE Filters ----
EXTENDS TLC, Integers
VARIABLE push_msgs, emails, i, filtered, pushed
vars == <<push_msgs, emails, i, filtered, pushed>>

set ++ x == set \union {x}
set -- x == set \ {x}

TypeInv ==
    /\ emails \subseteq (1..3)

csuwildcat

{
  "method": "ProtocolsConfigure",
  "protocol": "https://decentralized-music.org/protocol",
  "protocolVersion": "1.0.0",
  "protocolDefinition": {
    "labels": {
      "playlist": {
        "schema": "https://decentralized-music.org/protocol/playlist",
        "dataFormat": [
          "application/json"