Grana padano is not vegetarian Guinness is not vegetarian

Broke 2 modalities Woke |N| modalities

Related work 🤢

Just review my mathlib pr man

Here's my proof of P=NP no sorry: `6`

Playing geoguesser to find all the addresses i lived in the past 7 years

I think I should touch more grass I scored 12 / 12 on "Extension Or Imitation" doscienceto.it/extension-or... Try it out? via @doscienceto.it #Haskell #HaskellLanguageExtensionOrImitation

`theorem p_equals_np (n : ℕ) (hn : 5 ≤ n) : P_equals_NP := by` Yeah it is not even a complete proof, they are assuming the existence of a natural number bigger than 5

What a paper github.com/TiruArt/Pedi...

It is well known that two terms are equal iff they reduce to the same value

Is programming the closest thing to spell casting in the ral world?

This is one of those days where it is clear i should have studied biology

I had PvsNP psychosis well before LLMs but the communication of the acm never published an article about me. Very unfair.

It is crazy how goated I am at cooking

We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells We conjure the spirits of the computer with our spells

?)

They made a film about C++??????

Is the ACM using pdflatex or luatex? Because the pdfs looks very different when using their template

People are citing more my master thesis than my papers... I guess i was a better program logicina than i am a type theorist

You know when you want something to happen, then it happens but then youre not happy it happened

Artisanal proofs at a good price

I clearly should start a podcast

Sick!!!!! Check-out mine:

When the idea stops being a crackpot it stops being fun

There is this paper, with this absurd thing, that every time I think that i have to talk about it in the related work I feel like dying

Btw the joke is that I have omega tatted on me because tattoos are permanent

First time that a stranger recognises my lambda calculus tattoo

Today I discovered that green cola is not made by the cocacola company

start doing computer science <3

sensei liquid haskell programs are beautiful and correct isn't it the best language? The master poured tea into a flawless cup See, said the disciple, it holds no drop in error The master nodded, then set it on a high shelf No thirsty person ever reached it At once the disciple was enlightened

Vinegar ranking: Rice Apple Grape

Lately i can't sleep if i go to the gym in the afternoon

I forgot how ugly is the general schema to derive the eliminator of inductives

whoa new lean drama just dropped 🤯

Claude it's literally me

You know that even when the young waiters at the chinese restaurant speak worst spanish than you the food is gonna slap

Monday I have the interview

The semantics is what the PDP11 does

What to do when supervising a student and they just don't listen to you

>GStack >No chinese peptides inside

Hi haskell-effectful.github.io

Current situation: two induction principles

One of the advantages of living in a big city

I jave two months to figure out a thing

Why most people on *stodon are insufferable?

Should I ask the recuiter if the team is aware of my background?

I have on my cv no ml anything notneven python why would you interview me for a ml internship

[[ (\x . 2 + 1) == (\x . 1 + 2) ]] = {} [[ ((\x . 2 + 1) == (\x . 1 + 2)) -> _|_ ]] /= {} 🤦‍♂️

I could work on crazy ideas instead I'm here stuck putting the toothpaste back into the tube