All of Clamwinds's Comments + Replies

I was a common south bay member in the meet ups we had a few years ago before our core members decided they would do stuff other than host meetings in the south bay. I'm back from an alternative account I used to use when #NRx was more prominent among members here. I just want to say hello again to everyone on the new website(no clue how long its been since we've had it) but i'm glad to be back and discussing stuff like Jaynes, Solomonoff induction, and how we can best prevent humanities disasters, and indeed perhaps even cause golden ages. I'm a fan of Isaac Levi's work in formal epistemoloy, and I follow the author of the Incerto quite closely. Anyways glad to be back here.

Interesting. Ever hear of the work of Jean-Yves-Girard? (You mentioned mathematical logic) I hear his book "The Blind Spot" is an excellent lecture on the nature of mathematical truth by a seasoned veteran of such difficult affairs.

3RHollerith
I like Girard. The Rust programming language's borrow checker probably wouldn't've been invented yet if it weren't for Girard's 1987 paper, "Linear logic". (The paper got sustained attention from numerous programming-languages researchers; I read many thousands of papers on programming-language design before the appearance of Girard 1987 and I can recall no exploration of the use of linear types, use-once variables or whatever you want to call them before Girard 1987.)
2jollybard
Yes, I have! Girard is very... opinionated, he is fun to read for that reason. That is, Jean-Yves has some spicy takes: I enjoyed his book "Proofs and Types" as an introduction to type theory and the Curry-Howard correspondence. I've looked through "The Blind Spot" a bit and it also seemed like a fun read. Of course, you can't avoid his name if you're interested in linear logic (as I currently am), since the guy invented it.

Alright, i'm going to get enough karma and just start this myself until some one stops me. I also kind of need this, so I don't destroy my life through some other unspecified means.

I do not know if this is the best place, but I have lurked here and on OB for roughly a year, and have been a fellow traveler for many more. However specifically I want to talk to any members that have ADHD, and how they specifically go about treating their disorder. On the standard anti-akrasia topics, the narrative is that if you have anxiety,depression, xyz that you should treat that first, but there seems to be a lack of quantity of members that have this. Going to other forums to talk about stuff like which medication is "better" is filled w... (read more)

0Clamwinds
Alright, i'm going to get enough karma and just start this myself until some one stops me. I also kind of need this, so I don't destroy my life through some other unspecified means.
0hamnox
I was diagnosed non-hyperactive ADD as a kid, though I haven't done meds for that since middle school. It's been suggested that it was a misdiagnosis for asperger's.