Skip to content

Instantly share code, notes, and snippets.

View expipiplus1's full-sized avatar
🙀
Trying to `fix error` in Haskell

Ellie Hermaszewska expipiplus1

🙀
Trying to `fix error` in Haskell
View GitHub Profile
module Rock.Memo where
import Control.Concurrent.Lifted
import Control.Exception.Lifted
import Control.Monad
import Data.Dependent.HashMap (DHashMap)
import Data.Dependent.HashMap qualified as DHashMap
import Data.Foldable
import Data.GADT.Compare (GEq)
import Data.GADT.Show (GShow)
{ config, pkgs, ... }:
let
minio-dir = "/data/minio";
minio-data = "${minio-dir}/data";
minio-config = "${minio-dir}/config";
minio-port = "9002";
region = "ap-southeast-1";
# This bucket will be present in the instance
Sweet hibiscus
Edeltanne
Red fir
Amoeba
Horseface loach
Hawk moth
Macaw palm
Green stink bug
African jacana
Neotropical harvestman
{-# LANGUAGE LambdaCase #-}
module Main where
import Data.Traversable
import System.Environment
import Data.Foldable
data A
= N
/dts-v1/;
/plugin/;
/ {
fragment@0 {
target-path = "/soc/base_fpga_region";
#address-cells = <1>;
#size-cells = <1>;
__overlay__ {
#address-cells = <1>;
#size-cells = <1>;

A quick recap of where we got to:

The party was contracted by the dwarf Gundren Rockseeker to deliver intact a cartload of provisions from Neverwinter to the town of Phandalin. Gundren claimed to have discovered "something big" near Phandalin and went ahead of the party.

On the way to Phandalin, with about one day's march remaining, the party was ambushed by goblins who were quickly dispatched. One goblin was taken prisoner and cruelly interrogated; he revealed the existence of

$ qemu-system-aarch64 -machine virt,highmem=off -bios /nix/store/il3mvs5j09rp7bja9j26ra746ll121qp-uboot-qemu_arm64_defconfig-2018.05/u-boot.bin -drive if=none,file=rpi.qcow2,id=mydisk -device ich9-ahci,id=ahci -device ide-drive,drive=mydisk,bus=ahci.0 -netdev user,id=net0 -device virtio-net-pci,netdev=net0 -nographic -smp 4 -m 2G -cpu cortex-a57
U-Boot 2018.05 (May 07 2018 - 15:32:36 +0000)
DRAM: 2 GiB
In: pl011@9000000
Out: pl011@9000000
Err: pl011@9000000
Net: No ethernet found.
$ qemu-system-aarch64 -machine virt,highmem=off -bios /nix/store/il3mvs5j09rp7bja9j26ra746ll121qp-uboot-qemu_arm64_defconfig-2018.05/u-boot.bin -drive if=none,file=rpi.qcow2,id=mydisk -device ich9-ahci,id=ahci -device ide-drive,drive=mydisk,bus=ahci.0 -netdev user,id=net0 -device virtio-net-pci,netdev=net0 -nographic -smp 4 -m 2G -cpu cortex-a57
U-Boot 2018.05 (May 07 2018 - 15:32:36 +0000)
DRAM: 2 GiB
In: pl011@9000000
Out: pl011@9000000
Err: pl011@9000000
Net: No ethernet found.
$ qemu-system-aarch64 -machine virt,highmem=off -bios /nix/store/il3mvs5j09rp7bja9j26ra746ll121qp-uboot-qemu_arm64_defconfig-2018.05/u-boot.bin -drive if=none,file=rpi.qcow2,id=mydisk -device ich9-ahci,id=ahci -device ide-drive,drive=mydisk,bus=ahci.0 -netdev user,id=net0 -device virtio-net-pci,netdev=net0 -nographic -smp 4 -m 2G -cpu cortex-a57
U-Boot 2018.05 (May 07 2018 - 15:32:36 +0000)
DRAM: 2 GiB
In: pl011@9000000
Out: pl011@9000000
Err: pl011@9000000
Net: No ethernet found.
$ qemu-system-aarch64 -machine virt,highmem=off -bios /nix/store/il3mvs5j09rp7bja9j26ra746ll121qp-uboot-qemu_arm64_defconfig-2018.05/u-boot.bin -drive if=none,file=rpi.qcow2,id=mydisk -device ich9-ahci,id=ahci -device ide-drive,drive=mydisk,bus=ahci.0 -netdev user,id=net0 -device virtio-net-pci,netdev=net0 -nographic -smp 4 -m 2G -cpu cortex-a57
U-Boot 2018.05 (May 07 2018 - 15:32:36 +0000)
DRAM: 2 GiB
In: pl011@9000000
Out: pl011@9000000
Err: pl011@9000000
Net: No ethernet found.