Saul Shanabrook saulshanabrook

## tmp.json
{
  "id": "--eclipse-layout-kernel-root",
  "layoutOptions": {
    "elk.algorithm": "layered",
    "elk.layered.spacing.nodeNodeBetweenLayers": "100",
    "elk.spacing.nodeNode": "80",
    "elk.direction": "DOWN",
    "elk.portConstraints": "FIXED_SIDE",
    "elk.hierarchyHandling": "INCLUDE_CHILDREN"
  },

## tmp.json
{
  "id": "--eclipse-layout-kernel-root",
  "layoutOptions": {
    "elk.algorithm": "layered",
    "elk.layered.spacing.nodeNodeBetweenLayers": "100",
    "elk.spacing.nodeNode": "80",
    "elk.direction": "DOWN",
    "elk.portConstraints": "FIXED_SIDE",
    "elk.hierarchyHandling": "INCLUDE_CHILDREN",
  },

## gist:132348622efb7d4130e41251cee7de2f

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                saulshanabrook
                / gist:132348622efb7d4130e41251cee7de2f
            
            
              Created
              April 25, 2024 15:32
            
          
    Proposal to remove the top level function command and replace it with frel and constructor
(pending bikeshedding on new names):
frel

Any function that returns a primitive sort, you must now make with frel.
For example:

  
## capital improvements.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                saulshanabrook
                / capital improvements.md
            
            
              Last active
              April 18, 2024 15:03
            
          
$l$: lifespan of the item in years

$a$: current age of the item

$p$: current price of item

$r$: inflation rate per year (as a number > 1 i.e. 1.03)

$f$: initial reserve for the item

$y_i$: amount set aside for the item at year $i$


We would like to have a capital improvements plan where our:

  
## find_list_egglog.ipynb

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                saulshanabrook
                / find_list_egglog.ipynb
            
            
              Created
              December 5, 2023 23:48
            
          
      Loading

      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## eqsat-basic.ipynb

      
              2 files
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                saulshanabrook
                / eqsat-basic.ipynb
            
            
              Created
              May 15, 2023 20:16
            
          
      Loading

      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## tmp.sh
#!/usr/local/bin/fish

set fish_trace on
# https://stackoverflow.com/questions/57746792/homebrews-llvm-fatal-error-stdio-h-file-not-found-on-macos
set LLVM_PATH "/usr/local/opt/llvm"
set LLVM_VERSION "21.6.0"
set -x PATH "$LLVM_PATH:$PATH"
set -x SDKROOT (xcrun --sdk macosx --show-sdk-path)
set -x LD_LIBRARY_PATH "$LLVM_PATH/lib/"
set -x DYLD_LIBRARY_PATH "$LLVM_PATH/lib/"

## graph.json
{
  "id": "root",
  "children": [
    {
      "id": "0",
      "x": -38.5,
      "y": -16,
      "width": 77,
      "height": 32
    },

## tmp.csv

          
            mode
            browser
            n
            type
            mean
            confidenceInterval

            
              open
              firefox
              0
              100 n outputs each of a div
              2.5732290683420116
              3.8240364815126204

            
              open
              firefox
              0
              one output with 100 n divs
              1.010023894412375
              0.10920438045006321

            
              switch
              firefox
              0
              100 n outputs each of a div
              1.4223837673259567
              0.35645723854657835

            
              switch
              firefox
              0
              one output with 100 n divs
              1.0427466384309414
              0.3645977355738751

            
              open
              firefox
              5
              100 n outputs each of a div
              1.0473409536852676
              0.4919644275027175

            
              open
              firefox
              5
              one output with 100 n divs
              1.11596088676786
              0.2767693224037376

            
              switch
              firefox
              5
              100 n outputs each of a div
              1.009349877791352
              0.10665425922817721

            
              switch
              firefox
              5
              one output with 100 n divs
              1.0025889409915483
              0.24335132357646194

            
              open
              firefox
              10
              100 n outputs each of a div
              1.011304775132308
              0.06804069429668422

## type_analysis.py
"""
Functions and tools to unify types.

Note that this uses dicts as ordered sets in many places so that input and output
has the same ordering, so that git diffs are better
"""
from __future__ import annotations

import typing
import collections
	{
	"id": "--eclipse-layout-kernel-root",
	"layoutOptions": {
	"elk.algorithm": "layered",
	"elk.layered.spacing.nodeNodeBetweenLayers": "100",
	"elk.spacing.nodeNode": "80",
	"elk.direction": "DOWN",
	"elk.portConstraints": "FIXED_SIDE",
	"elk.hierarchyHandling": "INCLUDE_CHILDREN"
	},
	#!/usr/local/bin/fish

	set fish_trace on
	# https://stackoverflow.com/questions/57746792/homebrews-llvm-fatal-error-stdio-h-file-not-found-on-macos
	set LLVM_PATH "/usr/local/opt/llvm"
	set LLVM_VERSION "21.6.0"
	set -x PATH "$LLVM_PATH:$PATH"
	set -x SDKROOT (xcrun --sdk macosx --show-sdk-path)
	set -x LD_LIBRARY_PATH "$LLVM_PATH/lib/"
	set -x DYLD_LIBRARY_PATH "$LLVM_PATH/lib/"
	{
	"id": "root",
	"children": [
	{
	"id": "0",
	"x": -38.5,
	"y": -16,
	"width": 77,
	"height": 32
	},
mode	browser	n	type	mean	confidenceInterval
open	firefox	0	100 n outputs each of a div	2.5732290683420116	3.8240364815126204
open	firefox	0	one output with 100 n divs	1.010023894412375	0.10920438045006321
switch	firefox	0	100 n outputs each of a div	1.4223837673259567	0.35645723854657835
switch	firefox	0	one output with 100 n divs	1.0427466384309414	0.3645977355738751
open	firefox	5	100 n outputs each of a div	1.0473409536852676	0.4919644275027175
open	firefox	5	one output with 100 n divs	1.11596088676786	0.2767693224037376
switch	firefox	5	100 n outputs each of a div	1.009349877791352	0.10665425922817721
switch	firefox	5	one output with 100 n divs	1.0025889409915483	0.24335132357646194
open	firefox	10	100 n outputs each of a div	1.011304775132308	0.06804069429668422
	"""
	Functions and tools to unify types.

	Note that this uses dicts as ordered sets in many places so that input and output
	has the same ordering, so that git diffs are better
	"""
	from __future__ import annotations

	import typing
	import collections