Pinned

1. tech-thoughts tech-thoughts Public

   Just a personal dump of tech related thoughts

   1

2. Reader Monad practice Reader Monad practice

   1

   {-# LANGUAGE InstanceSigs #-}

   2

   3

   newtype Reader e a = Reader (e -> a)

   4

   5

   runReader :: Reader e a -> e -> a

3. My first non-trivial proof in Lean P... My first non-trivial proof in Lean Prover! ㊗️🎉

   1

   import tactic.norm_num

   2

   import data.real.basic

   3

   import analysis.normed_space.basic

   4

   5

   open normed_field

4. 霧島京子からの挑戦状 7924pt https://paiza.jp/m... 霧島京子からの挑戦状 7924pt https://paiza.jp/moshijo/share/moshijo_character_10/challenge_result/ad90853b

   1

   import re

   2

   from queue import PriorityQueue

   3

   4

   class Tile:

   5

       def __init__(self, blocked=False, lb="", isKey=False, isTrap=False):

5. Experiment with tagless final in Rust Experiment with tagless final in Rust

   1

   // http://okmij.org/ftp/tagless-final/JFP.pdf

   2

   3

   // Self is not HKT so cannot enforce term types

   4

   trait Symantics {

   5

       fn int(v: i64) -> Self;

6. commit-blog commit-blog Public

   A blog written in Git commit messages.