Pinned toot
Pinned toot
david boosted

how can you call them imaginary numbers. none of the other numbers are real anyways whats the difference

whatever happened to "innocent until proven guilty" huh

Show thread

personally i think it's true. just ask any machine learning model they know everything

Show thread

i don't understand why the riemann hypothesis is the "most important unsolved problem in pure mathematics". there are two possible answers. true or false. just guess one and you have a 50% chance of being correct. it's not that hard

david boosted

it would be pretty cool if i could clone an android app and run `gradlew installDebug` and have it just work

if i had my way all proofs would just be "i think this is true therefore it is true" or "i think this is false therefore it is false"

Show thread

fuck proofs. i'm an engineer not a lawyer

other paradoxes: what even is space? what is time? how do we know anything? what is anything?

russell's paradox: h-hey so uh if you take this made up concept and apply it in a way that nobody will ever need to for any reason, it doesn't work

Show thread

russell's paradox is just about the lamest paradox ever invented

just found this absolutely cursed sql indentation on stackoverflow (cw code) 

  SELECT *
FROM table_name
WHERE other_column >= (
SELECT other_column
FROM table_name
WHERE column_value = x
)
ORDER BY other_column
LIMIT n
david boosted
david boosted

@hazel @iitalics @wilbowma @ionchy @milo
github.com/xBytez/duo-cli
this one
you need it once, when setting it up
install the python dependencies, and follow the instructions. it'll convert the duo qr code into a standard one you can scan with any regular HOTP app

fucking hate it when i click the reload button and firefox is like "no"

one of my monitors makes this awful hum when it's not at 100% brightness so i have to choose between destroying my eyes or my ears

why do we need to prove things? just look and see if they're right or not

david boosted

it all depends on whether i'm smart enough

Show thread
Show older
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.