• 0 Posts
  • 7 Comments
Joined 3 years ago
cake
Cake day: July 29th, 2023

help-circle


  • Via catturd2.bsky.social (probably no relation),

    https://gizmodo.com/fbi-warns-ice-agents-not-to-trust-any-woman-willing-to-date-them-2000814283

    Something something domino meme leading from “eron gjoni can’t handle being dumped” to “women in long dresses and who cover their hair declared national security risks”.

    alt text

    The memo implied that ICE officers should be wary of any woman that knows they’re an ICE agent, especially if they go out of their way to seem cool with ICE agents or identify themselves as tradwives. (Those are conservative women who dress like the women in The Sound of Music, but without the opposition to the Anschluss. They’re rare enough in reality that the going rate for a professional matchmaker to find one is reportedly $25k).

    “These profiles were incorporating imagery of a ‘traditional wife’ aesthetic and listing specific interests in an attempt to appeal to… individuals in law enforcement,” the FBI wrote. “The objective was to lure affiliated law enforcement personnel into an online or in-person interaction under the guise of a date, after which the individuals would be publicly exposed and doxed online.”




  • while explicitly forbidding it for communication, commit messages and assets

    This is absolutely the best bit of the policy, and clearly shows how much thought went into the whole thing. Everyone knows that ai generated art is shit, so that’s forbidden, ai generated summaries are just inadequate so that’s forbidden too, using a chatbot to communicate with someone is deeply fucking insulting, so that’s forbidden as well, but… uh… using the bo-bot to write your code for you is apparently a-ok! for reasons! in a project which is primarily a a collection of code! 🤠

    I can’t imagine why there’s acrimony. The whole thing is entirely coherent and well considered 🤗


  • Looks like there might be a bit of an openai vs anthropic dick waving competition over mathematical proofs. I haven’t had time to digest all of this yet because it is a bit hard for me to read, but there are a few interesting nuggets in there such as making it clear that the ai firms treat this as a marketing exercise (no surprises there). They’re also apparently trying to obscure the amount of human assistance involved (again, no surprises).

    Levent had been told by Sebastien “very little human input” had been used. This turned out not to be true. Over the course of the call, as members of their team sent Sebastien corrections and details over their internal chat, it emerged that an entire team had been working on the problem, that this was one of a number of things that was tried, that work had started on the unforced problem, that the team first set the model on easier problems, including Euler, that even the prompt that had been shown to me had been written by prompting Codex, and that an insane amount of compute had been used.

    The main statement is here: https://cims.nyu.edu/~tristanb/statement.pdf

    Associated stuff linked from here: https://mastodon.social/@tristanbuckmaster/117233413705701198

    Do note that the author made heavy use of llm assistance for their work, and does consider it to be the future of developing mathematical proofs… this isn’t human vs ai.