alcuin ❄️
@scheminglunatic
Followers
6K
Following
36K
Media
8K
Statuses
87K
pure, lazy, immutable ✝️
washington, dc
Joined September 2024
pedrot showed us we can have baclofen type theory .so i would like to propose a new thing,im calling it trenbolone type theory.
0
0
1
could a calculator of conductive instructions and a calculator of inductive constructions. really fall in love?.
0
0
3
RT @sampocino: @scheminglunatic @frawaurhts shrimp and grits would hit Japan like crack cocaine and I can't be convinced otherwise.
0
1
0
some kind of japanese + southern food idea. perhaps we shall see what their fried chicken tastes like. it is a good restaurant.
@frawaurhts For me it was just "what do you mean there's a desert made of kudzu and toasted soy (easy sub for peanuts) and I can't get it in Georgia".
0
0
4
もえる but the kanji for it is 萌 with the fire radical underneath (4 strokes), it means someone who is hot and also cute.
0
0
2
idk what stage of lean4 this is but its when u have two lines of a tactic that u know r equal, but u know how to go backward but not forward so you say "rewrite this, then reflex, exact". still amateurish.
0
0
3
RT @TheEduardoRFS: @scheminglunatic In general the size is not about memory size here, but about references. For sizes you can do the same….
0
1
0
or darwinian typechecking being tropical + codense fuzzy wuzzy.
1
0
1
optimality theory, bisimulation phrasings [closed normals as data but observables give a co- version], and physical telescopy condition [local causality shit]. meep.
1
0
4
technology will allow us to move past the need for w*mmin
why do womxn (allegedly) care so much about height? I've never heard gays really mentioning it it seems so arbitrary
0
0
6
namely: for linear-flavored terms such that they are Nat-indexed you could treat this indexing to hold size information. perhaps you get safety-checked shit acting similarly to `reinterpret_cast` for free. and u get comultiplicative respect shit.
1
0
3
discuss:.graded modality. evidence translation.= something interesting?.
1
0
3
the calculus of [semi]conductive instructions.
The Calculus of Misconstructions.
1
0
3
my desk fan has a bunch of fallen-out hairs in it. and i see no screw holes for me to open it up and clean it out. uh oh.
3
0
11
never mind i just needed to specify the fallback font i guess. i wish it could do this automatically, perhaps there is a way.
0
0
0