Hogeyama

命令

opcode	mnemonic	operands	info
000000	sqrt	f f
000001	move	r r
000010	neg	r r
000011	add	r r r
000100	addi	r r i

Hogeyama

namespace Lazy
  data FuelL = DryL | MoreL (Lazy FuelL)

  partial
  forever : FuelL
  forever = MoreL forever

  total
  f : FuelL -> IO ()

Hogeyama

#!/bin/bash
set -eu
set -o pipefail
PROGNAME="$(basename "$0")"

while [[ $# -gt 0 ]]; do
  case $1 in
    --command|-c)
      read -ra CMD <<<"$2"
      shift

Hogeyama

#!/bin/bash
set -eu
set -o pipefail

# TODO
# - menu
# - redmine

# Globals:
#   $PROG:            full path of this program

Hogeyama

Keybase proof

I hereby claim:

• I am hogeyama on github.
• I am hogeyama (https://keybase.io/hogeyama) on keybase.
• I have a public key ASCTzOGUSsG3rBK68CU4dUpBK0h5kP7ehpRt_6sPdqjpiwo

To claim this, I am signing this object:

Hogeyama

{
  description = "template";

  inputs = {
    nixpkgs.url = "nixpkgs-pinned";
    flake-utils.url = "github:numtide/flake-utils/master";
  };

  outputs = { self, nixpkgs, flake-utils, ... }:
    let

Hogeyama

# yamllint disable rule:comments
# yamllint disable rule:line-length
---
version: "3.8"

services:
  localstack:
    container_name: localstack
    image: localstack/localstack:1.3.1
    ports:

Hogeyama

# yamllint disable rule:comments
# yamllint disable rule:line-length
---
version: "3.8"

services:
  localstack:
    image: localstack/localstack:1.3.1
    ports:
      - "4566:4566"

Hogeyama

# usage:
#   import ./bundle.nix {
#     inherit pkgs;
#     name = "foo";
#     target = "${pkgs.foo}/bin/foo";
#   }
{ name
, target
, tempDir ? "/tmp"
, pkgs

Hogeyama

FROM alpine:3.17
SHELL ["/bin/ash", "-euo", "pipefail", "-c"]
# shadow for useradd. See https://github.com/DeterminateSystems/nix-installer/issues/284
RUN apk update  && apk add --no-cache \
  curl=7.88.1-r1 \
  shadow=4.13-r0
RUN curl --proto '=https' --tlsv1.2 -sSf -L https://install.determinate.systems/nix \
  | sh -s -- install linux --init none --no-confirm
RUN \
  >> /entrypoint.sh echo '#!/bin/ash' && \