← Feed

Posts

• View post

  Lean and Autoformalization: some helpful links So the boosters are making a big deal about the dump of “proofs” OpenAI has made recently, so I thought I would collect some relevant links in one place… Stuff on autoformalization: A short blog post breaking down some of the bugs found and potential for more preprint discussing the problems with natural language to lean in detail and pointing out some blatant inconsistencies in the recent Navier-stokes “proof” /r/betteroffline discussion of ab...

• View post

  I am a pretty big fan of Ed's work, so I'm going to hold my nose and read Kelsey's work thoroughly enough to do a line by line debunking: > Over the last two years, he has called the top repeatedly: Well yes, but he has also explicitly said that the bubble peaking and popping would be a multiyear process. I've only kept up with his every article for the past year, but in the past year, his median guess for the bubble pop becoming undeniable was 2027. I guess making timelin...

• View post

  It has already worked out that way: https://www.reddit.com/r/singularity/comments/1snbv4m/white_house_moves_to_give_us_agencies_anthropic/ So you aren't even being paranoid, this seems like a straightforward calculation for Anthropic to have made.

• View post

  Habryka defends colonialism, straight out, no qualifiers: https://www.lesswrong.com/posts/w3MJcDueo77D3Ldta/let-goodness-conquer-all-that-it-can-defend > Ok, fine, I'll go even further. I am glad about the colonization of North America. The American experiment was one of the greatest successes in history, and of course, it was a giant fucking mess. But despite it all, despite the Trail of Tears, despite smallpox ravaging the land, despite the conquistadors and the looting and the rapes —...

• View post

  A little exchange on the EA forums I thought was notable: …effectivealtruism.org/…/long-term-risks-from-ide… tldr; a super long essay lumping together Nazism, Communism and religious fundamentalism (I didn’t read it, just the comments). The comment I linked notes how liberal democracies have also killed a huge number of people (in the commenter’s home country, in the name of purging communism): The United States presented liberal democracy as a universal emancipatory framework while materi...