Skip to content

Instantly share code, notes, and snippets.

View LeeeeT's full-sized avatar
๐Ÿ˜Ž
๐Ÿ˜Ž

LeeeeT

๐Ÿ˜Ž
๐Ÿ˜Ž
1 follower · 5 following
View GitHub Profile
@LeeeeT
LeeeeT / sic.py
Created December 28, 2025 13:50
SIC + new agent fusion showcase
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / lc.py
Created December 26, 2025 14:09
LC fusion showcase
from dataclasses import dataclass
from itertools import count
type Name = int
name = count()
@LeeeeT
LeeeeT / sic.py
Created December 22, 2025 21:44
k-SIC + universal ฮด (UDP/USP)
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / sic.py
Last active December 23, 2025 11:15
SIC evaluator (so symmetrical) {untested}
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / io.py
Last active December 15, 2025 15:53
Inductive free IO monad
# Map f = (a -> b) -> f a -> f b
# Id f = a -> f a
# Join f = f (f a) -> f a
# Bind f = f a -> (a -> f b) -> f b
# Then f = f a -> f b -> f b
@LeeeeT
LeeeeT / io.py
Last active November 30, 2025 22:01
IO (inductive Free)
# Map f = (a -> b) -> f a -> f b
# Id f = a -> f a
# Join f = f (f a) -> f a
# Bind f = f a -> (a -> f b) -> f b
# TakeAfter f = f a -> f b -> f b
@LeeeeT
LeeeeT / itt.py
Last active October 29, 2025 17:43
(Broken)
from dataclasses import dataclass
from itertools import count
type Name = int
name = count()
@LeeeeT
LeeeeT / ฮป.py
Last active July 31, 2025 14:41
Attempt number [NaN]
from dataclasses import dataclass
from itertools import count
type Name = int
name = count()
@LeeeeT
LeeeeT / dinet.py
Created July 20, 2025 19:23
from collections.abc import Callable
from dataclasses import dataclass
from itertools import count
from typing import Any
type Name = int
name = count(0)
@LeeeeT
LeeeeT / ic.py
Last active July 20, 2025 18:07
from dataclasses import dataclass
from itertools import count
type Name = int
name = count(0)