This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE ConstraintKinds #-} | |
{-# LANGUAGE ImplicitParams #-} | |
-- Reproducer for a GHC bug: https://gitlab.haskell.org/ghc/ghc/-/issues/25529 | |
module Main where | |
import GHC.Stack (HasCallStack, CallStack, SrcLoc(srcLocStartLine, srcLocStartCol), callStack, getCallStack) | |
main :: IO () |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
source-repository-package | |
type: git | |
location: https://github.com/9999years/hs-certificate.git | |
tag: 20aef750c8e3411bd61e553fa37f98c2696adf6f | |
subdir: x509 | |
source-repository-package | |
type: git | |
location: https://github.com/9999years/hs-certificate.git | |
tag: 20aef750c8e3411bd61e553fa37f98c2696adf6f |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// .--------------------------------------------------------------------------. | |
// | Send a daily Slack alert for Google Calendar events which need an RSVP | | |
// `--------------------------------------------------------------------------' | |
// | |
// # What and why | |
// | |
// I kept getting surprised by interviews and other meetings the morning they | |
// happened. Here's instructions for a Zapier "Zap" that checks if you haven't | |
// RSVP'd to any of the next 50 events (by default) on your primary calendar, | |
// and sends you a Slack DM alerting you of the events in question. It runs |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from dataclasses import dataclass | |
from typing import Any | |
from typing import cast | |
from typing import Dict | |
from typing import Generic | |
from typing import Type | |
from typing import TypeVar | |
T = TypeVar("T") |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from typing import Type | |
from typing import TypeVar | |
class ValueTypeError(ValueError): | |
"""Raised when a `TypeMap` receives a key-value pair where ``type(value) != key``.""" | |
def __init__(self, key: type, value: object, message: str) -> None: | |
"""Construct a `ValueTypeError`. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// ==UserScript== | |
// @name YAML spec tweaks | |
// @description Better link indicators | |
// @namespace http://tampermonkey.net/ | |
// @version 1.0.0 | |
// @author Rebecca Turner | |
// @match https://yaml.org/* | |
// @icon https://www.google.com/s2/favicons?domain=yaml.org | |
// @grant GM_addStyle | |
// ==/UserScript== |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#! /usr/bin/env bash | |
set -e | |
oldBranch="master" | |
newBranch="main" | |
# {{{ Colors, logging boilerplate | |
readonly PROG_NAME="$0" | |
function RESET { echo -e "\e[0m"; } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
//! Kat Spiers has yet again bullied me into writing code. | |
//! Today we worked on type-level arithmetic. | |
use std::ops::{Add, Sub, Mul}; | |
#[derive(Debug, Clone, PartialEq)] | |
enum Kat { | |
Kat(Box<Kat>), | |
Hryn, | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#lang r5rs | |
(#%require schemeunit) | |
(define ** expt) | |
(define (!= x y) (not (= x y))) | |
(define (^^ a b) (or (and a (not b)) | |
(and b (not a)))) | |
; can you believe they made && and || special forms??? | |
(define (&& a b) (and a b)) | |
(define (|| a b) (or a b)) |
NewerOlder