Damn @sanders.senate.gov. Just when I compliment you, I looked for info on the event. NONE HERE. But multiple posts on X. WTF. You obviously don’t care to engage. Just look at the quality of replies you get over there.

Show Post

this is a really good introduction into how proofs sit in the Lean type system xenaproject.wordpress.com/2020/06/20/m...

Show Post

Re: Massive science budget cuts Dear Elon Musk, What the fuck are you doing? Saving money is not only the variable. You are crippling the future of our nation. Sincerely, Gary Marcus, PhD

Show Post

Stop treating ‘AGI’ as the north-star goal of AI research "Instead: (1) prioritize specificity in engineering and societal goals. (2) center pluralism about multiple worthwhile approaches to multiple valuable goals. (3) foster innovation through greater inclusion of disciplines and communities."

Show Post

alright, off hand, this is actually pretty neat. it's like cursor agent, but scriptable, no IDE, and oddly effective there's no diff view experience, so this isn't for coding. it's purely for extra stuff that you want to script via LLM

Show Post