scheminglunatic Profile Banner
alcuin ❄️ Profile
alcuin ❄️

@scheminglunatic

Followers
6K
Following
36K
Media
8K
Statuses
87K

pure, lazy, immutable ✝️

washington, dc
Joined September 2024
Don't wanna be here? Send us removal request.
@scheminglunatic
alcuin ❄️
2 months
My enemy is computer programmer. I wish no harm to computer scientist. #Toys #Treats #Theory #Thibking
6
20
232
@scheminglunatic
alcuin ❄️
2 minutes
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
@scheminglunatic
alcuin ❄️
17 minutes
wow ruby has gotten really fast
Tweet media one
1
0
2
@scheminglunatic
alcuin ❄️
21 minutes
could a calculator of conductive instructions and a calculator of inductive constructions. really fall in love?.
0
0
3
@scheminglunatic
alcuin ❄️
27 minutes
RT @sampocino: @scheminglunatic @frawaurhts shrimp and grits would hit Japan like crack cocaine and I can't be convinced otherwise.
0
1
0
@scheminglunatic
alcuin ❄️
28 minutes
some kind of japanese + southern food idea. perhaps we shall see what their fried chicken tastes like. it is a good restaurant.
@sampocino
sam pocino is online
59 minutes
@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
@scheminglunatic
alcuin ❄️
29 minutes
もえる 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
@scheminglunatic
alcuin ❄️
35 minutes
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
@scheminglunatic
alcuin ❄️
1 hour
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
@scheminglunatic
alcuin ❄️
1 hour
moop.
1
0
1
@scheminglunatic
alcuin ❄️
1 hour
or darwinian typechecking being tropical + codense fuzzy wuzzy.
1
0
1
@scheminglunatic
alcuin ❄️
1 hour
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
@scheminglunatic
alcuin ❄️
1 hour
currently.
@scheminglunatic
alcuin ❄️
7 days
Tweet media one
1
0
24
@scheminglunatic
alcuin ❄️
2 hours
technology will allow us to move past the need for w*mmin
Tweet media one
@warty_dog
troon
2 hours
why do womxn (allegedly) care so much about height? I've never heard gays really mentioning it it seems so arbitrary
Tweet media one
0
0
6
@scheminglunatic
alcuin ❄️
2 hours
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
@scheminglunatic
alcuin ❄️
2 hours
discuss:.graded modality. evidence translation.= something interesting?.
1
0
3
@scheminglunatic
alcuin ❄️
2 hours
RT @_blinding_light: The Calculus of Misconstructions.
0
1
0
@scheminglunatic
alcuin ❄️
2 hours
the calculus of [semi]conductive instructions.
@_blinding_light
Lucina
2 hours
The Calculus of Misconstructions.
1
0
3
@scheminglunatic
alcuin ❄️
3 hours
your retarded.
@_opencv_
spec
4 hours
@redaction Spotted another @A16Z paid actor. 1.
1
0
11
@scheminglunatic
alcuin ❄️
4 hours
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
@scheminglunatic
alcuin ❄️
5 hours
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