goedel-rhymes-with-turtle

[goedel-rhymes-with-turtle]

me when I derive '(∃x)[ Fx ]' from 'Fc'

the existence of a divine feminine implies the existence of a john waters masculine

[goedel-rhymes-with-turtle]

when youre at a math talk and the speaker starts writing out an extremely elementary equation/definition/etc you know theyre about to get on some bullshit about how their wacky new thing is actually a natural generalization of an object you know and love

[goedel-rhymes-with-turtle]

Anyway I think it's crazy that for thousands of years people just had this deep yearning to draw weird diagrams and contemplate crytpic hidden truths and for 99% of that time it was 100% nonsense and then in the last hundred years we invented quantum mechanics and category theory and oh shit it turns out there are cryptic truths in weird diagrams. just had to draw the right ones.

[goedel-rhymes-with-turtle]

[goedel-rhymes-with-turtle]

thinking about her, her is vectors. everyone say thank you vectors

#thank you vectors

[goedel-rhymes-with-turtle]

queen of the world to me

#new power fantasy

[goedel-rhymes-with-turtle]

no offense but if i exit out of a program that program should close. none of that running in the background shit.

[goedel-rhymes-with-turtle]

taking a tolerance break from sudoku because it's desensitizing me to numbers

[goedel-rhymes-with-turtle]

it’s a new week!!! let’s do this!!!!! (cries uncontrollably)

[goedel-rhymes-with-turtle]

Starting a discord for the tech girlies who work remote and who have trouble getting their work done for no reason (the reason is you have a disorder that impacts your executive function)

Come get your work done with other bad bitches

[goedel-rhymes-with-turtle]

Starting a discord for the tech girlies who work remote and who have trouble getting their work done for no reason (the reason is you have a disorder that impacts your executive function)

Come get your work done with other bad bitches

#WIP I'll fill it out more later #but here‚ have some accountability or community or whatever you need

[goedel-rhymes-with-turtle]

Check it out guys, it's the Ubuntu pride flag. The orange and white represent the Ubuntu logo, while the pink represents the fact that linux users are gay!

[goedel-rhymes-with-turtle]

benefits of having a job: WOOO MONEY 🔥🙏🥇💥💥💰

bad parts of having job:

[goedel-rhymes-with-turtle]

Oh yeah, I forgot to tell you

So, I am away from computer for four days for a really cool event and I come back and in the mean time they maybe found a polynomial quantum attack against Learning With Errors, a lattice problem? (https://eprint.iacr.org/2024/555) If this paper is correct then this is some serious breaking news shit, because lattices are like the main candidate for quantum-secure public key cryptography. (there are others but they are much less practical and for other types there have also been attacks) I mean, this paper seems to attack just a particular setting, is very impractical and does not work for schemes that are actually proposed, but an existing impractical attack often signals the way for more practical attacks. So, if it is not a false alarm, this is pretty big. It could signal the attackability of lattice schemes and undermine the trust in them. And it takes a long time to move to a new standard. Oh well. I guess we have to wait for experts to check the paper for mistakes before we can say anything.

[goedel-rhymes-with-turtle]

This makes so much sense

[goedel-rhymes-with-turtle]

spiritually you will never employ me

[goedel-rhymes-with-turtle]