💡 Ed Zitron's new 16K-word "How to Argue With An AI Booster" is an essential communications toolkit for the next ~18 months. Go read it, and bookmark it.
#AI #ArtificialIntelligence #hype
https://www.wheresyoured.at/how-to-argue-with-an-ai-booster/
Wouter Tebbens
and 1 other
boosted
How to Block Meta AI?
You can’t.
But you can slow it down.
The first half of Meta’s bot behaves like any other bot — that part you can block. There are many scripts available that are effective at stopping bots, and they work well.
The second half of Meta’s AI is where the real problem lies.
Meta anticipated that people would eventually catch on to their AI scraping, so they designed a system that uses standard web browsers. The AI doesn’t directly visit your site — it interacts with a browser instance on another system. It just does this using countless small, distributed micro-instances.
#Meta #AI #ArtificialIntelligence#Fediverse #ActivityPub#Mastodon#Misskey
just small circles 🕊
boosted
I’m not saying don’t try to block Meta’s AI.
I’m saying it won’t be easy.
Meta is using a mix of traditional scraping, along with a new method: AI browsing via a real browser. Additionally, they’re using multiple IPs (not identified as Meta) from various sources and locations.
I’m not claiming it’s impossible to stop AI — I just believe they’re making it very inconvenient to do so. Ultimately, that’s the goal — and you’re in a battle of attrition.
Will you block Mozilla Firefox?
Meta is counting on many people answering “no” to that question — especially among those it believes would oppose AI.
For years, Facebook has been building sociological profiles of individuals likely to resist a multi-billion dollar corporation.
And that’s exactly what they’re using against people right now.
#Firefox#Mozilla#Meta#Facebook #AI
I’m not saying don’t try to block Meta’s AI.
I’m saying it won’t be easy.
Meta is using a mix of traditional scraping, along with a new method: AI browsing via a real browser. Additionally, they’re using multiple IPs (not identified as Meta) from various sources and locations.
I’m not claiming it’s impossible to stop AI — I just believe they’re making it very inconvenient to do so. Ultimately, that’s the goal — and you’re in a battle of attrition.
How to Block Meta AI?
You can’t.
But you can slow it down.
The first half of Meta’s bot behaves like any other bot — that part you can block. There are many scripts available that are effective at stopping bots, and they work well.
The second half of Meta’s AI is where the real problem lies.
Meta anticipated that people would eventually catch on to their AI scraping, so they designed a system that uses standard web browsers. The AI doesn’t directly visit your site — it interacts with a browser instance on another system. It just does this using countless small, distributed micro-instances.
#Meta #AI #ArtificialIntelligence#Fediverse #ActivityPub#Mastodon#Misskey
Yogthos
boosted
@MIT's new AI can teach itself to control robots by watching the world through their eyes — it only needs a single camera. Via @live_science #AI #ArtificialIntelligence 💻 🧠 #Robotics 🤖
MIT's new AI can teach itself ...
@MIT's new AI can teach itself to control robots by watching the world through their eyes — it only needs a single camera. Via @live_science #AI #ArtificialIntelligence 💻 🧠 #Robotics 🤖
MIT's new AI can teach itself ...
alcinnz
boosted
Automated planning and scheduling
https://en.wikipedia.org/wiki/Automated_planning_and_scheduling
Satplan
https://en.wikipedia.org/wiki/Satplan
"Satplan (better known as Planning as Satisfiability) is a method for automated planning. It converts the planning problem instance into an instance of the Boolean satisfiability problem (SAT), which is then solved using a method for establishing satisfiability such as the DPLL algorithm or WalkSAT"
Fascinating! 🤓
2/3
ESBMC - An Efficient SMT-based Bounded Model Checker
https://ssvlab.github.io/esbmc/
"ESBMC is an open-source, [...], context-bounded model checker based on satisfiability modulo theories for verifying single- and multi-threaded C/C++ programs. It does not require the user to annotate the programs with pre- or postconditions, but allows the user to state additional properties using assert-statements, that are then checked as well."
1/3
#LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling
https://dl.acm.org/doi/10.1145/3691620.3695512
"We investigate a modification of the classical Bounded Model Checking (BMC) procedure that does not handle loops through unrolling but via modifications to the control flow graph (CFG). A portion of the CFG representing a loop is replaced by a node asserting invariants of the loop[...]."
(continues next toot...)
2/3
Cory Doctorow
and 1 other
boosted
📨 Today, EDRi and 51 civil society organisations, academics, and experts have written to the European Commission to oppose any attempts to suspend or delay the #ArtificialIntelligence #AI Act.
These attempts, especially in light of the growing trend of #deregulation of #FundamentalRrights and environmental protection, could undermine accountability and hard-won rights for people, the planet, justice and democracy 🚨
Read the open letter ➡️ https://edri.org/our-work/open-letter-european-commission-must-champion-the-ai-act-amidst-simplification-pressure/
📨 Today, EDRi and 51 civil society organisations, academics, and experts have written to the European Commission to oppose any attempts to suspend or delay the #ArtificialIntelligence #AI Act.
These attempts, especially in light of the growing trend of #deregulation of #FundamentalRrights and environmental protection, could undermine accountability and hard-won rights for people, the planet, justice and democracy 🚨
Read the open letter ➡️ https://edri.org/our-work/open-letter-european-commission-must-champion-the-ai-act-amidst-simplification-pressure/
Yogthos
boosted
Minister tells UK's Turing AI institute to focus on defence. Via @bbc #AI #ArtificialIntelligence 💻 🤖 🧠
Minister tells UK's Turing AI ...
Minister tells UK's Turing AI institute to focus on defence. Via @bbc #AI #ArtificialIntelligence 💻 🤖 🧠
Minister tells UK's Turing AI ...
Automated planning and scheduling
https://en.wikipedia.org/wiki/Automated_planning_and_scheduling
Satplan
https://en.wikipedia.org/wiki/Satplan
"Satplan (better known as Planning as Satisfiability) is a method for automated planning. It converts the planning problem instance into an instance of the Boolean satisfiability problem (SAT), which is then solved using a method for establishing satisfiability such as the DPLL algorithm or WalkSAT"
Fascinating! 🤓
2/3
AIXI
https://en.wikipedia.org/wiki/AIXI
"AIXI /ˈaɪksi/ is a theoretical mathematical formalism for artificial general intelligence. It combines Solomonoff induction with sequential decision theory. AIXI was first proposed by Marcus Hutter in 2000[...]."
"[...]AIXI is incomputable."
3/3
#AI #ArtificialIntelligence#Gödel#AGI#ArtificialGeneralIntelligence
Automated planning and scheduling
https://en.wikipedia.org/wiki/Automated_planning_and_scheduling
Satplan
https://en.wikipedia.org/wiki/Satplan
"Satplan (better known as Planning as Satisfiability) is a method for automated planning. It converts the planning problem instance into an instance of the Boolean satisfiability problem (SAT), which is then solved using a method for establishing satisfiability such as the DPLL algorithm or WalkSAT"
Fascinating! 🤓
2/3
Oops, I think I've gone a bit too deep into the #AI rabbit hole today 😳 (a thread 🧵):
Did you know why AI systems like #AlphaGo or #AlphaZero performed so well?
It was because of their objective function:
-1 for loosing, +1 for winning ¯_(ツ)_/¯
Why Artificial Intelligence Like AlphaZero Has Trouble With the Real World (February 2018)
Try to design an objective function for a self-driving car...
1/3