alcuin ❄️ @scheminglunatic Twitter profile

Pinned Tweet

alcuin ❄️

7 days

"Why can't we use []'s for lists, ()'s for grouping, and both for ranges?" "Look, sorry, It's the design of our backend, ε-Kleene Star is being deprecated for ω*, but ω* can't parse counter grammars like they said they would, a year ago, so we're ⊥, there's nothing we can do!"

4

1

21

Last Seen Profiles

@ClarenceWi14857

@davee286

@bokeplokalmalam

@weizhonglin2008

@Modi649296

@BigRichie224

@vicecanada

@ORB_BIT

@sb1lal

@jandakembangstw

@JaipurOmg

@Frideswidel

@HemuAhir183269

@agidog61

@kasssiis

@DDuck_you

@BarryCCooper

@IAMFAHEEM_65

@KxNJi99

@goonerlifeBR69

@Green4Naquan

@evsal17

@hjikwajjsk

@TherapyBelfast

@MarcusWTalley

@goodweekcn

@stwmaniax

@apukdcfc

@shelle_aguilar

@VixenSirenn

@BrignacDar66440

@Frown160904

@grimlord_vr

@muahid_hafiz

@MaritaCastello

@rania1w5

alcuin ❄️

@scheminglunatic

15 days

Mathematics is the art of writing frontends that compile to matrices, the IR of all mathematics. If it's not able to be compiled to matrices, then we don't know how to handle it.

HSVSphere

@HSVSphere

16 days

Correct. But the math the computer can do is inherently primitive. There is no acos hardware instruction, the computer doesn't even know what a logarithm is. Computer science is the art of translating complex mathematical concepts into simple add/negate/divide/etc instructions.

7

3

85

5

4

101

alcuin ❄️

@scheminglunatic

14 days

do u think im retarted? i thought my content was fairly high quality and curated, i wanted to post more technical stuff but maybe the presentation doesnt work? idk, i thought i was doing everything right.

22

0

39

alcuin ❄️

@scheminglunatic

9 days

@1owroller It's because you see yourself in him

1

0

40

alcuin ❄️

@scheminglunatic

18 days

@tunahorse21 compilers can be easy or as hard as you want the skill ceiling is basically the sky.

1

0

35

alcuin ❄️

@scheminglunatic

20 days

`twixos-rebuild switch`

5

6

33

alcuin ❄️

@scheminglunatic

8 days

Someone was mean to me but I chose to be nice to them instead of being mean back.

6

0

35

alcuin ❄️

@scheminglunatic

11 days

should i change my pfp to this

Roro

@roronotalt

12 days

@scheminglunatic

1

17

20

0

34

alcuin ❄️

@scheminglunatic

12 days

Affirmations to tell yourself in the mirror: """ {Don't sink. Climb now. Terrain, terrain. Pull up!} (x3) Retard. Retard. Retard. Retard. Retard. Retard. Retard. Retard. Retard. """

1

37

alcuin ❄️

@scheminglunatic

11 days

Mm gang gang ice cream yum yum gang gang

8

0

32

alcuin ❄️

@scheminglunatic

10 days

Hello there. I am looking for a luxury and interesting job across the world. I'm a 22 years old, and I know Haskell, Racket, ancient Chinese, and biblical Greek. I trust in natural science, biological science, and cosmic science as well, however I also love in my church, RCC.

Michael Cameron — 🇰🇷/acc ‐ cyberprep vibes

@chr0n0kun

10 days

@scheminglunatic

1

0

2

6

0

30

alcuin ❄️

@scheminglunatic

12 days

applying to jobs not because i want a job but because i want unc tuna to be proud of me for getting a job

3

0

27

alcuin ❄️

@scheminglunatic

11 days

7

1

23

alcuin ❄️

@scheminglunatic

8 days

Is it correct?

5

0

24

alcuin ❄️

@scheminglunatic

13 days

Going to BJJ to find true love. Good plan?

6

0

24

alcuin ❄️

@scheminglunatic

12 days

Replying to people dying in accidents or things like that but with "memory unsafe?" instead of "vaccinated?"

5

0

23

alcuin ❄️

@scheminglunatic

8 days

i'm trying to turn over a new leaf and reshape and remold and recast my personality, no matter how painful it is. break my bones and recast them. break my bones and recast them. unravel my peptides and nucleaic acids and shatter them and reconstitute them. i will be lovely.

sky

@skydotcs

8 days

@scheminglunatic this is not the alcuin i know

0

4

0

23

alcuin ❄️

@scheminglunatic

13 days

@TeddyBear97681 you can't go wrong with this basic one. u dont need to start big.

3

1

21

alcuin ❄️

@scheminglunatic

19 days

Agenda for today: - drink coffee - call my insurance company - do algebra - do geometry - do topology - clear out my inbox (last thing to do)

2

0

22

alcuin ❄️

@scheminglunatic

13 days

Remember this is what the world's best competitive programmer looks like.

0

2

21

alcuin ❄️

@scheminglunatic

15 days

a fucking dagger through my gay incel chungus chest ffs man. fuck my skibidi incel life.

4

0

21

alcuin ❄️

@scheminglunatic

14 days

i didnt eat anything today except for chocolate, milk, coffee, and blueberries. zamn.

7

0

21

alcuin ❄️

@scheminglunatic

9 days

receding hairlines and short hair generally are disgusting on men

7

0

20

alcuin ❄️

@scheminglunatic

7 days

@wordgrammer @lexodamus @rshakoor12 10 milliseconds is a massive waste of time.

0

21

alcuin ❄️

@scheminglunatic

7 days

i got rid of that stupid medication. i dont think i will be doing any more mood medications. just going to have to figure this out on my own. maybe my gut biome is weird.

3

0

19

alcuin ❄️

@scheminglunatic

20 days

Fuck you know how hard I worked to get to 900 followers and it's all gone now?

8

0

18

alcuin ❄️

@scheminglunatic

12 days

"Are you familiar with zero knowledge proofs?" "I have zero knowledge of proofs." "Youre hired"

crypt0x_0

@crypt0x_0

12 days

when was the last time you talked with someone who has 0 knowledge of programming, ai, etc... i think alot of the takes i'm seeing here are because we are too plugged into our world

69

7

443

0

18

alcuin ❄️

@scheminglunatic

13 days

i saw a anal retentive pedantic cunt on r/math. i click account name. oh look he posts on r/rust why am i not surprised.

1

0

18

alcuin ❄️

@scheminglunatic

12 days

how i understand 'peating' so far: - get rid of pufas (veg oil, oil fish) - eat more coco oil - drink more milk - get sugar - get salt - get gelatin is that most of it

8

0

17

alcuin ❄️

@scheminglunatic

13 days

First, I decided I wanted to make a new worldbuild conlang-- In three weeks. Then I decided, that's too complicated. So I started learning dead liturgical languages. Now I don't care that it's too complicated for people.

2

1

17

alcuin ❄️

@scheminglunatic

10 days

1

0

16

alcuin ❄️

@scheminglunatic

18 days

where are all the functional programmers in tpot?

3

1

17

alcuin ❄️

@scheminglunatic

7 days

thinking about using [ and ) to be used for closed and open intervals in a neat little math dsl v. thinking about how to write the parser for that

5

1

25

alcuin ❄️

@scheminglunatic

13 days

CS/SWE-cels / open source fanatics could never understand.

Mathieu Alain

@miniapeur

14 days

40

217

3K

3

0

17

alcuin ❄️

@scheminglunatic

9 days

giatt sees himself in this guy because he's asian american. we need better asian american role models for giatt to look up to.

giatt

@1owroller

9 days

idk guys i think the pear guys are kinda based. i can’t find it in myself to hate this guy

28

9

499

5

0

17

alcuin ❄️

@scheminglunatic

13 days

me and who

ID_law

@brutalmog

13 days

@BoganPragmatist

2

0

4

3

0

17

alcuin ❄️

@scheminglunatic

17 days

topology exam was pretty easy. crazy how studying for an hour has such huge payoffs ikr?

alcuin ❄️

@scheminglunatic

17 days

agenda for today: - algebra - geometry - topology - data structures - do some haskell golf - clear out emails (forgot to do this yesterday)

1

0

6

2

0

15

alcuin ❄️

@scheminglunatic

13 days

OK so I got an algebra exam soon. Let's do some practice problems.

2

0

16

alcuin ❄️

@scheminglunatic

9 days

fighting it anyway is still part of the plan too

1

16

alcuin ❄️

@scheminglunatic

10 days

Hippos are disgusting.

6

0

15

alcuin ❄️

@scheminglunatic

12 days

so many things should be transactional by default.

2

0

14

alcuin ❄️

@scheminglunatic

10 days

0% - @scheminglunatic have hit rock bottom 😢

4

0

15

alcuin ❄️

@scheminglunatic

14 days

i think ocaml and haskell should have more similar syntax, we need less variations like this.

1

0

15

alcuin ❄️

@scheminglunatic

13 days

oh my god you are so beautiful...

7

0

15

alcuin ❄️

@scheminglunatic

11 days

@HSVSphere Where do I submit my application

1

0

15

alcuin ❄️

@scheminglunatic

9 days

Rust developer:

HSVSphere

@HSVSphere

9 days

@bmix012 We will be carpet bombing america with estrogen to make them even weaker and more soy

4

0

13

1

0

15

alcuin ❄️

@scheminglunatic

13 days

the more useless it is, the more its worth studying remember this.

moeez

@notmoeezm

13 days

today i learned that a tensor product of two R-modules A (right) and B (left) is an abelian group + an R-bilinear mapping from A x B to the group, and this is universal or whatever so when do i get to the part where they use this shit in ML

7

0

31

3

1

15

alcuin ❄️

@scheminglunatic

19 days

there's this restaurant chain over here called "&pizza" people usually say "and-pizza" but we know to say "slice of pizza"

3

0

15

alcuin ❄️

@scheminglunatic

15 days

There has to be a better way

alcuin ❄️

@scheminglunatic

15 days

Reflowing document formats, which one is best? I want to read papers without the stupid zoom on my phone.

4

0

5

4

0

14

alcuin ❄️

@scheminglunatic

12 days

Jax, jq, and Nix are the ways to suddenly purify that which has classically been impure.

wordgrammer

@wordgrammer

12 days

Jax is actually a functional programming language. Why are none of the fp bros talking about this. “Oh fp won’t get you a job” be fr

2

0

21

2

0

14

alcuin ❄️

@scheminglunatic

7 days

few people understand that i was an internet femto-celebrity when i was half my current age by posting almost passable fanart on DA/tumblr. if i wasnt as not so bad at math as i am, i would have been a "COMMISSIONS OPEN"-in-bio kind of person by now.

jack

@gnshnor

7 days

@scheminglunatic @florencecel alcuin was an art hoe?

1

0

3

1

0

15

alcuin ❄️

@scheminglunatic

11 days

Chick-fil-A should have fish on Fridays

2

0

14

alcuin ❄️

@scheminglunatic

10 days

@leoshatrushin1 @wordgrammer i chose to ignore it.

0

2

14

alcuin ❄️

@scheminglunatic

11 days

You are what you eat...

Æther βeliever

@MomentumOp89

11 days

I feel like this renaissance painting (1591) was the precursor to AI generated art

2

0

12

0

2

14

alcuin ❄️

@scheminglunatic

12 days

Went to Brazil steakhouse. Eating früüt now.

2

0

14

alcuin ❄️

@scheminglunatic

11 days

Gonna sleep

4

0

14

alcuin ❄️

@scheminglunatic

9 days

4

2

14

alcuin ❄️

@scheminglunatic

15 days

Since the market is a computer I should be able to run bad apple on it.

1

0

13

alcuin ❄️

@scheminglunatic

10 days

@wordgrammer @leoshatrushin1 true statement: _abstract algebra_ is less useful in terms of benefit per effort than (enumerative) combinatorics in solving _leetcode problems_ insert a "in leetcode [which was implied by the op as being part of the discourse]" after "least useful" in leosha's comment.

1

0

14

alcuin ❄️

@scheminglunatic

19 days

They won't let me talk in the space.

2

0

13

alcuin ❄️

@scheminglunatic

13 days

Alcuinese is an interesting mix of Sanskrit, Aramaic, Dota, Javascript... JavaScript? I mean Basque.

ὑπέρνοια

@hypernoided

13 days

@scheminglunatic "OCaml ... but in Attic Greek"

0

2

3

0

13

alcuin ❄️

@scheminglunatic

7 days

damn nearly forgot i had a psychiatrist appointment today lol

3

0

13

alcuin ❄️

@scheminglunatic

15 days

what is tren and should i use it?

10

0

13

alcuin ❄️

@scheminglunatic

10 days

I swear if I see another ML paper that's just "Hey, look, we made the lines go down, see?" I am going to fkn explode.

Weijie Su

@weijie444

13 days

10 years ago, ML papers were math-heavy. Advice I got: less math, more empirics. Today, many ML/AI papers lack even a single math formula, let alone math thinking. My advice to young LLM researchers: do a little math if possible. It'll distinguish yours from the sea of LLM

50

176

2K

2

0

13

alcuin ❄️

@scheminglunatic

10 days

🧀🧀🧀🧀🧀

Renzo Carbonara

@renzocarbonara

10 days

Brie or Camembert?

1

0

2

4

0

12

alcuin ❄️

@scheminglunatic

12 days

Please stop using an accusation of demonic possession so casually, it has a very narrow and specific use. The more you attribute to demons, you implicitly attribute less to human culpability and fiat (which is bad).

chooch skookum

@ChoochSkookum

12 days

Those are the eyes of a man fully gakked out on prescription amphetamines. Let's be honest. Either that or he is demon possessed. Maybe both.

9

0

42

1

0

13

alcuin ❄️

@scheminglunatic

17 days

i am vibrating at a high frequency.

2

1

12

alcuin ❄️

@scheminglunatic

14 days

Solve project euler problmes with Haskell.

jaivin 🎨

@jaivinwylde

14 days

my little brother just texted me that he wants to get into coding. i can't fuck this up guys

28

1

273

0

13

alcuin ❄️

@scheminglunatic

19 days

me and who

maia 🐈 crimew 🏴

@awawawhoami

19 days

techbro startup culture is deeply homoerotic

16

711

21K

3

0

13

alcuin ❄️

@scheminglunatic

7 days

depends on ur goals.

jack

@gnshnor

7 days

should i learn haskell

20

0

46

4

0

13

alcuin ❄️

@scheminglunatic

19 days

I may or may not be someone formerly known as Alcuin

alcuin ❄️

@scheminglunatic

20 days

Fuck you know how hard I worked to get to 900 followers and it's all gone now?

8

0

18

2

0

13

alcuin ❄️

@scheminglunatic

20 days

I deleted all those cringe larp posts. Sorry for that, I really tried my best. But, I still love Emacs, Nix and Guix, functional programming in Scheme and Haskell, whitepapers, useless math, and not shipping B2B SAAS (or really anything at all). Back to being the old me...

2

0

13

alcuin ❄️

@scheminglunatic

9 days

✰λster✰

@4ster_light

9 days

I'm so fucking tired man

6

0

25

1

0

13

alcuin ❄️

@scheminglunatic

12 days

Ethnicity = orange

Zaraki Kenpachi fan

@p0nnnpppppppppp

12 days

@scheminglunatic @florencecel @awwmey alcuin just knows many languages hes not of any ethnicity he is a cat

1

4

1

0

13

alcuin ❄️

@scheminglunatic

14 days

@bmix012 the purpose of life is to increase laziness. computers is the next step of increasing laziness, and mathematics was the most successful way we havet o be lazy in the history.

1

2

13

alcuin ❄️

@scheminglunatic

14 days

@bmix012 i wrote a program (in haskell) that would automatically do gaussian elimination, lu decomp, other decomps for me and then emit the worked steps in latex very cool coding! however it meant i didnt practice the claculation for the exam so im ade dimb mistakes and didnt get grade.

3

1

12

alcuin ❄��

@scheminglunatic

15 days

Lei Fu

@the_leifu

16 days

justice for Alcuin 😔

3

0

13

2

0

12

alcuin ❄️

@scheminglunatic

10 days

Disgusting creature.

1

0

12

alcuin ❄️

@scheminglunatic

19 days

we discovered analytic breakfast v2.0 and its better than continental breakfast (by a lot)

2

0

12

alcuin ❄️

@scheminglunatic

9 days

@wordgrammer Here's something more modern; if you wish.

Understanding Haskell Features Through Their Desugaring

All the myriad of Haskell features can be reduced to the few features of GHC's Core. In this article, we look at this internal language and give an overview of GHC's front-end pipeline.

serokell.io

2

1

12

alcuin ❄️

@scheminglunatic

9 days

and all i got for it was being a used-goods lowbie that no one wants to play with anymore.

wordgrammer

@wordgrammer

9 days

@scheminglunatic @KamdynShaeffer @cmptrhvn Yeah tbh I would’ve stuck to Lean and Python if it wasn’t for alcuin

1

5

1

0

12

alcuin ❄️

@scheminglunatic

13 days

headache. tinnitus. radiating pain.

4

0

12

alcuin ❄️

@scheminglunatic

11 days

Me.

sam laki (e^-λ)

@samlakig

11 days

Bjork explaining IO monads

4

6

71

1

11

alcuin ❄️

@scheminglunatic

10 days

Do I look like I know what a Euclidean GCD is?

2

1

12

alcuin ❄️

@scheminglunatic

13 days

@tunahorse21 let me know so i can block him.

2

0

12

alcuin ❄️

@scheminglunatic

12 days

want to say that my career + people liking me 10x'd when i did one simple thing which is you just talk slower.

tuna🍣

@tunahorse21

12 days

Ohhhhhh Now I see why y'all are all upset You think we are on the same level. We are not. I'm better than you. You may be a better coder, but you stink and have bad social skills. I'm a better "solution" engineer. The best even. We are not the same. I'm just better than you.

10

0

58

1

0

12

alcuin ❄️

@scheminglunatic

19 days

if anyone else has a romantic interest in me please let me know now

alcuin ❄️

@scheminglunatic

19 days

two men are fighting over me right now

2

0

11

3

0

12

alcuin ❄️

@scheminglunatic

7 days

don't make computery cry in agony please

for { syk() }

@0x_syk

7 days

we let the CPU scream for help

3

0

13

2

0

12

alcuin ❄️

@scheminglunatic

18 days

compilers are basically just gonna be the next "gameboy emulator" type project tbqh aka sounds hard but like theres a trillion step by step tutorials out there + to make something u could technically call a compiler -- is actually a very low bar.

tuna🍣

@tunahorse21

18 days

I wrote a compiler This is........easy ? No way this is what y'all were bragging about LMAOOOOOO

16

6

392

6

0

12

alcuin ❄️

@scheminglunatic

14 days

why is me and ludwig the only intimidating people

mortrix🎈

@1Mortrix

14 days

thats enough, here you go...😴

26

4

115

5

0

11

alcuin ❄️

@scheminglunatic

10 days

A programming language where syntax highlighting is part of the syntax. You highlight regions of text and apply a color to make the text there and the color is meaningful. You have to edit text in a rich-text editor.

4

0

11

alcuin ❄️

@scheminglunatic

15 days

i might start writing sappy tragic poetry. should i upload it somewhere?

3

0

11

alcuin ❄️

@scheminglunatic

13 days

my current sandwich recipe is like this: - milk bread slices - toast in coco + butter - have cheese slices (i use provol) - put toast/cheese on plate - heat slices of turky ham and add - slice little rounds of pickles - add stone ground mustard - smush and cook again

sam laki (e^-λ)

@samlakig

13 days

all a guy needs everyday

11

1

86

4

2

11

alcuin ❄️

@scheminglunatic

13 days

🐅🐯🐅🐯

ren ❀

@florencecel

13 days

@scheminglunatic @awwmey wait it just clicked for me u are tamil????

1

0

4

0

11

alcuin ❄️

@scheminglunatic

14 days

we call the process of recursively domain expanding into all the things that come next and next and next -- ultrafiltering. some people get ultrafiltered.

wordgrammer

@wordgrammer

14 days

Building from scratch leads you down so many bunny trails. You think you understand how neural networks work. Then you realize you don’t understand Backpropogation. Then you realize you forgot how linear algebra works. It’s a very good way to relearn the fundamentals.

4

92

3

0

11