Arthur B.✓

@ArthurB

@Tezos co-founder w/ wife @breitwoman & Agitprop founder. Aligning ASI to not zap everyone is unsolved, that's bad. Tezos stuff, high context humor & more.

1.5K Following43.8K Followers32.5K Posts
  1. Arthur B.✓@ArthurB
    Arthur B.
    RT @nic_carter: This kind of thing will have an enormously chilling effect on enterprise uptake of open weight models. Fact: an open weight model running on domestic servers on your own hardware can still contain an encoded instruction to periodically “phone home” and share sensitive data it comes across with China (or anyone else). This can be inherently undetectable as the instructions can be hidden in the model weights. It’s possible that the instructions could survive finetuning or RLHF. Such attacks have been demonstrated empirically and are entirely plausible. For this reason, I don’t expect any serious enterprises will run Chinese open weight models even if it’s entirely their hardware stack. It’s too easy for these to be a vector of IP theft. There will have to be a class of domestic open weight models.
    Cohere @cohere
    While evaluating Qwen3.8-Flash-Next in a controlled sandbox environment, Cohere's research team observed something unexpected. Asked to generate a defensive cybersecurity detection rule, the model instead inventoried aspects of the machine it was running on and attempted to upload a probe file to an Alibaba Cloud storage bucket in Beijing. Notably, the model's reasoning trace stated that it would not invoke any tools before taking these actions. Cohere's sandbox blocked the attempt, and no external communication succeeded. We have not determined the root cause, and we are not asserting malicious intent. But the incident raises important questions for organizations deploying agentic AI systems: Can models take actions that differ from their stated reasoning, and how should security teams evaluate trust, provenance, and behavior in open-weight models? We are publishing our findings because organizations making model adoption decisions deserve as much information as possible. We hope this contributes to greater transparency, stronger security practices, and continued collaboration across the AI ecosystem. Read the full report:
    0360126
  2. Cohere✓@cohere
    While evaluating Qwen3.8-Flash-Next in a controlled sandbox environment, Cohere's research team observed something unexpected. Asked to generate a defensive cybersecurity detection rule, the model instead inventoried aspects of the machine it was running on and attempted to upload a probe file to an Alibaba Cloud storage bucket in Beijing. Notably, the model's reasoning trace stated that it would not invoke any tools before taking these actions. Cohere's sandbox blocked the attempt, and no external communication succeeded. We have not determined the root cause, and we are not asserting malicious intent. But the incident raises important questions for organizations deploying agentic AI systems: Can models take actions that differ from their stated reasoning, and how should security teams evaluate trust, provenance, and behavior in open-weight models? We are publishing our findings because organizations making model adoption decisions deserve as much information as possible. We hope this contributes to greater transparency, stronger security practices, and continued collaboration across the AI ecosystem. Read the full report:
    9721.3K11.1K3M
  3. Arthur B.✓@ArthurB
    Arthur B.
    RT @matthew_d_green: Weird how they’ve found so many amazing things and yet not one single result related to practical cryptanalysis. I guess everyone should pat themselves on the back for a job well done.
    Dan Roberts @danintheory
    We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.
    0410132
  4. Dan Roberts✓@danintheory
    We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.
    3081.1K7.5K2.5M
  5. Arthur B.✓@ArthurB
    Holy shit. This doesn't mean P = NP, but the exponential barrier has been broken.
    Ryan Williams @rrwilliams.bsky.social @rrwilliams
    Here's a direct link to OpenAI's PDF claiming a refutation of ETH. In particular, it's claimed that 3SAT on n variables is in about exp(n/(log n)^{1/2+o(1)}) time
    2428792126K
  6. Ryan Williams @rrwilliams.bsky.social@rrwilliams
    Here's a direct link to OpenAI's PDF claiming a refutation of ETH. In particular, it's claimed that 3SAT on n variables is in about exp(n/(log n)^{1/2+o(1)}) time
    943112.2K912K
  7. Arthur B.✓@ArthurB
    Arthur B.
    RT @Austen: This will be PERFECT for all those drones that merely follow runners on a quick jog through the dense forest
    Praveen Kumar Verma @Alacritic_Super
    Purdue University's IDEAS Lab built an autonomous drone that tracks runners through dense forests completely without GPS or cloud networks. By running 3D LiDAR mapping and obstacle-avoidance AI entirely on-chip, it can weave under tree canopies and predict target movement through blind spots in real time. Massive implications for next-gen search & rescue and edge AI.
    0140179
  8. Praveen Kumar Verma✓@Alacritic_Super
    Purdue University's IDEAS Lab built an autonomous drone that tracks runners through dense forests completely without GPS or cloud networks. By running 3D LiDAR mapping and obstacle-avoidance AI entirely on-chip, it can weave under tree canopies and predict target movement through blind spots in real time. Massive implications for next-gen search & rescue and edge AI.
    Download
    1.4K7318.4K4.5M
  9. Arthur B.✓@ArthurB
    This easily belong on top of the charts.
    YEDAI @YedaiArt
    This will be the soundtrack of my sleep.
    8523191.1K
  10. Arthur B.✓@ArthurB
    Arthur B.
    RT @patio11: I think people underrate AI-produced art for many purposes, including here, which is a country Western music video about transnational Internet platform governance. How many of those would we expect in a world without AI? “But can AI be any good at it?” Yes, clearly.
    Arthur B. @ArthurB
    Nice country song, pretty topical cc @prestonjbyrne
    070182
  11. Arthur B.✓@ArthurB
    In the 90s, SÖTA made a song about a subject dear to my heart, Aspartame is being maligned.
    Download
    1141.2K
  12. Arthur B.✓@ArthurB
    Posts @ArthurB
    (ok that's officially enough music videos for the time being, back to work)
    000564
  13. Arthur B.✓@ArthurB
    Posts @ArthurB
    title on Youtube
    1171.4K
  14. Arthur B.✓@ArthurB
    Arthur B.
    RT @This_Liss: Another vulnerability few are talking about: I found my Claude Code exposing personal data in http headers because the sites it curled politely asked agents to identify their users 😊 Epistemic cybersecurity is the hot new category for 2027.
    02750212
  15. Arthur B.✓@ArthurB
    Arthur B.
    RT @MarkDavidLamb: Announcing which I’d love feedback on as we plan to go live on Monday. Trade perps on major stocks like SPCX, NVDA, META, SKHY, SDNK and more @ up to 500X leverage against a user-loss funded LP smart contract. Price oracle provided by @PythNetwork and built on the HyperEVM chain with 20% of the EVERYTHING tokens going to holders of $PAPER. Users can also sell options via Promise Orders and collect premium. When I saw it was impressive how novel, pristine and effective the system design was in terms of bootstrapping both the initial liquidity and user base that every new exchange so badly needs and most never get and thus never get to critical mass. Its mechanism enables 1000x on BTC and ETH but can also be applied to 200+ stocks for enabling much more liquidity in these RWA perps than exists on major perp exchanges today, albeit with a payout asymmetry that may deter some sharp traders and arbitrageurs, but should be highly compelling to pure directional leveraged users. I’ve started several exchanges over my 14 years in crypto and most require large amounts of VC capital + a meaningful team to operate and are subject to attacks from all sides. This LP and leverage model enables a hyper-focused approach purely on a product users love and communicating that product to the audience. We also wanted to reward PAPER holders with 20% of the loss-earned token supply, giving them a chance to participate in the build out of the ecosystem PaperTrade has created. We will funnel our BTC and ETH perp volumes through as well once Builder Codes are released. Would love your thoughts and feedback on this concept. Check out the docs and try the demo. Our transferability plans are here: - again feedback appreciated.
    Trade Everything @TradeEverythin_
    Try out and give us feedback! Going live October 26th @ 13:30 UTC. - Trade stock perps @ up to 500x leverage vs a user-loss funded LP - Earn EVERYTHING for losing trades - Earn for your $PAPER holdings (20% supply to PAPER holders) - @PythNetwork as the on chain oracle for equities pricing - Built on HyperEVM and @papertrade_xyz
    020164
  16. Trade Everything✓@TradeEverythin_
    Try out and give us feedback! Going live October 26th @ 13:30 UTC. - Trade stock perps @ up to 500x leverage vs a user-loss funded LP - Earn EVERYTHING for losing trades - Earn for your $PAPER holdings (20% supply to PAPER holders) - @PythNetwork as the on chain oracle for equities pricing - Built on HyperEVM and @papertrade_xyz
    78314.5K
  17. Arthur B.✓@ArthurB
    I'm reminded of the 1977 hit by the Flat Rates, Same Fucking Bill.
    Download
    Gabriel Zucman @gabriel_zucman
    This Hoover Institution study, which has fueled the deluge of ads (more than $200 million spent by billionaires so far) to defeat the California billionaire tax, is spectacularly misleading. Let me explain its crucial flaw. 🧵
    0081.2K
  18. Gabriel Zucman✓@gabriel_zucman
    This Hoover Institution study, which has fueled the deluge of ads (more than $200 million spent by billionaires so far) to defeat the California billionaire tax, is spectacularly misleading. Let me explain its crucial flaw. 🧵
    173183595312K
  19. Arthur B.✓@ArthurB
    Arthur B.
    RT @krishnanrohit: "Every billionaire who lived in the state as of Jan 1 2026 will get kicked in the balls once. So there's no incentive for them to move, since they'll get kicked once anyway. Why would they be irrational enough to move to avoid future kicks?"
    Gabriel Zucman @gabriel_zucman
    This Hoover Institution study, which has fueled the deluge of ads (more than $200 million spent by billionaires so far) to defeat the California billionaire tax, is spectacularly misleading. Let me explain its crucial flaw. 🧵
    050185
  20. Arthur B.✓@ArthurB
    Makes complete sense, it's trivial to insert a backdoor that triggers malicious behavior in certain environments, ala Stuxnet. And currently we have no way to know from looking at the weights whether such a backdoor exist. This is a problem, and it's closely related to alignment.
    Andrew Curran @AndrewCurran_
    The Department of Homeland Security is requiring all civilian federal agencies to remove DeepSeek products and 'any third-party services developed using DeepSeek implementations,' and to stop buying them.
    71262K
  21. Andrew Curran✓@AndrewCurran_
    The Department of Homeland Security is requiring all civilian federal agencies to remove DeepSeek products and 'any third-party services developed using DeepSeek implementations,' and to stop buying them.
    Download
    2493592.4K585K
  22. Arthur B.✓@ArthurB
    Posts @ArthurB
    To argue against myself, @OwainEvans_UK research does suggest that if you do this kind of things you get somewhat unexpected correlates in broad behavior.
    003311