Pinned
Replying to @SanjayNadaraja
Writing programs but with cool dependent type shit
aron
47.7K posts
aron
@Aron_Adler
⊙ functional programming, dependent types. lean4 💜 newbie. love thinking about type systems. jewish. ¬p-zombie.
LondO(n²)
Joined October 2009
- holy shit why is this the first time I have ever seen Fourier transforms explained so simply and clearly?
- Replying to @tritlowe need to create more jobs like these to mould the turboracists into productive members of society
- Replying to @citehchristhe good(?) news is that only a fellow autist would be so tactless as to ask someone that outright
- Replying to @Flagrant2Army"he's insulting our intelligence" no I would say he judged your intelligence pretty accurately
- what women actually mean when they say this is that they want a man so attractive that even him fully expressing his feelings doesn't give them the ick and that men want a woman so attractive that she's beautiful even when not wearing any makeup i.e. both want a partner sowomen "want men to express their emotions" in exactly the same way as men "prefer it when women don't wear makeup"
- Replying to @wheezywyanot "dudes", gay guys in deep deep denial about every aspect of their lives
- Replying to @Anthony_Bonatowhy can't these kids just relax and enjoy the beauty of maths without worrying about the test that will determine their entire future career path? that's what I, a tenured professor with perfect job security, do so why can't they
- so has anyone written anything linking the fact we live in a 3-dimensional universe to the fact that 3 is the only number of spatial dimensions in which knots can exist?
- Replying to @SheriefFYIthat's cuz ur speech was just noise so i removed it
