aron
@adler.dev
⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
excuse me THEY COPIED US!!!!!!!! 😡
September 4, 2025 at 7:58 AM
excuse me THEY COPIED US!!!!!!!! 😡
what a book. incredible clarity of thinking and purpose. this is philosophy at its best 👌
June 26, 2025 at 9:51 AM
what a book. incredible clarity of thinking and purpose. this is philosophy at its best 👌
lmao i just fell in love with this lil dude
June 4, 2025 at 2:05 PM
lmao i just fell in love with this lil dude
May 25, 2025 at 6:16 PM
me when the adhd meds run out for the day
May 24, 2025 at 2:55 PM
me when the adhd meds run out for the day
twitter is legit falling to pieces atm. stuff is straight up not loading
May 24, 2025 at 2:35 PM
twitter is legit falling to pieces atm. stuff is straight up not loading
@welltypedwit.ch they're quoting your gospels on the other website
May 13, 2025 at 9:53 PM
@welltypedwit.ch they're quoting your gospels on the other website
see this is confusing because it's not about the *number* of foralls but how deeply nested it is, right?
unless the 'number' includes trivial hidden foralls that don't contain any vars?
unless the 'number' includes trivial hidden foralls that don't contain any vars?
May 7, 2025 at 7:39 PM
see this is confusing because it's not about the *number* of foralls but how deeply nested it is, right?
unless the 'number' includes trivial hidden foralls that don't contain any vars?
unless the 'number' includes trivial hidden foralls that don't contain any vars?
oh no I'm behind on my zulip questionposting
May 5, 2025 at 9:40 PM
oh no I'm behind on my zulip questionposting
@texoport.in another TS question for you: is there a way to pass in a type parameter to a *value* when that value is a function?
May 2, 2025 at 3:01 PM
@texoport.in another TS question for you: is there a way to pass in a type parameter to a *value* when that value is a function?
this is a screenshot of some of the key proofs if ur interested :3
April 22, 2025 at 10:04 PM
this is a screenshot of some of the key proofs if ur interested :3
yeah no I actually think this should be doable after all!
it just doesn't seem to work for some reason 🤔 so i posted about it on zulip
leanprover.zulipchat.com#narrow/chann...
it just doesn't seem to work for some reason 🤔 so i posted about it on zulip
leanprover.zulipchat.com#narrow/chann...
April 12, 2025 at 4:31 PM
yeah no I actually think this should be doable after all!
it just doesn't seem to work for some reason 🤔 so i posted about it on zulip
leanprover.zulipchat.com#narrow/chann...
it just doesn't seem to work for some reason 🤔 so i posted about it on zulip
leanprover.zulipchat.com#narrow/chann...
lol I came here because I saw your post on the front page of hn!
March 30, 2025 at 12:40 PM
lol I came here because I saw your post on the front page of hn!
oh god reading some of these comments was painful.
this attitude of "it's fine the way it is, there's no pressing need to change it therefore I will actively reject helpful work that someone has already done to make things better" is the worst kind of attitude
this attitude of "it's fine the way it is, there's no pressing need to change it therefore I will actively reject helpful work that someone has already done to make things better" is the worst kind of attitude
March 3, 2025 at 3:58 PM
oh god reading some of these comments was painful.
this attitude of "it's fine the way it is, there's no pressing need to change it therefore I will actively reject helpful work that someone has already done to make things better" is the worst kind of attitude
this attitude of "it's fine the way it is, there's no pressing need to change it therefore I will actively reject helpful work that someone has already done to make things better" is the worst kind of attitude
ooooooh this kind of thing gets me good. someone very patiently and kindly explaining something to me that they are simply objectively wrong about.
oooh i can feel the anger bubbling up. ooooh savour it. ooooh let it flow through you.
oooh i can feel the anger bubbling up. ooooh savour it. ooooh let it flow through you.
February 21, 2025 at 12:06 AM
ooooooh this kind of thing gets me good. someone very patiently and kindly explaining something to me that they are simply objectively wrong about.
oooh i can feel the anger bubbling up. ooooh savour it. ooooh let it flow through you.
oooh i can feel the anger bubbling up. ooooh savour it. ooooh let it flow through you.
