TechTakes

Have not read it yet, but seems relevant to our collective interests. NSFW due to NASB. Accelerationism, amphetamine philosophy, and the Death Trip. (A long post about Nick Land).

Reid Southern bringing us a good sneer

Just found out from a screenshot in a tweet that Marc Aandreesen considers Nick Land to be some kind of patron saint of "techno-optimism". Setting aside Land's ugly views about everything... I didn't think optimism was what he was known for. More like grasping, desperate, disgusted embrace of the onward march of capital.

ChatGPT's new search feature hasn't even launched and already its shitting the bed

The sneers are writing themselves

AP takes down CF Vance apologia, not asserting things that they cannot evidence (that Vance did not have sexual relations with that couch)

before: https://archive.is/fXiMc after: https://archive.is/j3aot

This is the journalistic integrity we expect of AP News

Not a sneer, but a mildly interesting open letter:

A specification for those who want content searchable on search engines, but not used for machine learning.

The basic idea is effectively an extension of robots.txt which attempts to resolve the issue by providing a means to politely ask AI crawlers not to scrape your stuff.

Personally, I don't expect this to ever get off the ground or see much usage - this proposal is entirely reliant on trusting that AI bros/companies will respect people's wishes and avoid scraping shit without people's permission.

Between OpenAI publicly wiping their asses with robots.txt, Perplexity lying about user agents to steal people's work, and the fact a lot of people's work got stolen before anyone even had the opportunity to say "no", the trust necessary for this shit to see any public use is entirely gone, and likely has been for a while.

after all this time, TIL that Roko pronounces his name "Rocko" https://www.youtube.com/watch?v=VIwJDnej7pg

Regarding that claimed breakthrough about AI winning the International Mathematical Olympiad: a reminder that a proof which hangs together logically is not necessarily a proof that makes sense.

Those formalized proofs are so incredibly ugly, it's amazing. Of course it doesn't much of a sensible indentation, but then there are single proof steps where I have no idea what it's even doing. [...] And then there are nonsense mathematical steps. The solution of problem 2 starts with induction, before introducing any variables. It applies induction to the number 12. And it write 12 as (10)+2. Then it proceeds to do the whole proof in the base case of the induction, and notices that the induction step is trivial, since the goal is the same as the induction hypothesis (but instead of the assumption tactic it uses congr 26).

Let's see how long HN takes to ban yet another literal Nazi.