Skip to content

Instantly share code, notes, and snippets.

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

LeeeeT

๐Ÿ˜Ž
๐Ÿ˜Ž
2 followers · 5 following
View GitHub Profile
@LeeeeT
LeeeeT / sic.py
Last active February 10, 2026 23:20
k-SIC + unordered ฮด + refcount (really counts)
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / sic.py
Last active February 10, 2026 19:27
k-SIC + unordered ฮด + refcount
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / gc.py
Last active January 31, 2026 23:57
k-SIC + Opportunistic Swap
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / in.py
Last active January 18, 2026 19:04
Token-passing Optimal Reduction
import itertools
from dataclasses import dataclass
from typing import NewType
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / sic.py
Last active January 14, 2026 10:44
k-SIC + universal ฮด + McCarthy's amb
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / explicit_wiring_polarized.py
Last active January 11, 2026 10:35
SIC cores
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / ic.py
Created January 5, 2026 05:07
k-SIC + DUP rotations
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / ic.py
Last active January 5, 2026 04:44
k-SIC + universal ฮด + UDP rotations
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@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()