alex

5.4K posts

alex banner
alex

alex

@ObadiaAlex

@aria_research

Katılım Mart 2016
7.7K Takip Edilen9.8K Takipçiler
Sabitlenmiş Tweet
alex
alex@ObadiaAlex·
People seem to be arriving at a similar conclusion from various angles: - AGI may not emerge as a monolith, but as a distributed "patchwork" system of coordinating sub-AGI agents [1] - Static benchmarks aren't enough; we need multi-agent ones to capture emergent risks and capabilities [2] - As creation costs go to zero, human verification bandwidth becomes the ultimate economic bottleneck, making verification infrastructure one of the most important public goods for the AI era [3] - Automated proof-generation and verification can act as the unlock for this bottleneck [4] - New kinds of strategic interactions between agents are emerging, reaching cooperative "program equilibria" inaccessible in traditional settings [5] - Coasean transaction costs are about to collapse, changing our society [6] There is an elephant here that we're all touching. Our @ARIA_research initial £50m r&d programme Scaling Trust is our unifying thesis, on the trust infrastructure needed for an agentic world and how to steer us there. Before we set out on our journey over the next ~3ish years, we're hiring an additional individual to complete our team. Your role will essentially be one of Technical Director, steering our efforts technically and co-owning our research and engineering agenda. You will be doing incredibly meaningful work, in a highly interdisciplinary environment, and at the cutting edge of a technology that is shaping up to be the most defining of our century, if not of humanity. We are building for the highest possible impact. After all, this is what @ARIA_research is about, moonshot r&d projects that change the world. We want to build technology as impactful as the invention of the internet once was in another r&d programme at DARPA, to start new academic fields and academic lineages for the next century, and to catalyze lasting positive change for the world. For the right person, this is a bat signal 🦇, few places will offer you as much leverage to effect positive change on the world, intellectual stimulation, and fun. Join us! We want to onboard someone asap as we build out our initial portfolio, and are willing to move fast. Apply here: aria.pinpointhq.com/en/postings/1a… Any questions on the role, please shoot me a DM or reply in comment here! --- [1] Distributional AGI Safety @weballergy @sebkrier @FranklinMatija et. al -- arxiv.org/abs/2512.16856 [2] Agents of Chaos @NatalieShapira et. al — arxiv.org/abs/2602.20021 [3] Some Simple Economics of AGI @ccatalini et. al — arxiv.org/abs/2602.20946 [4] When AI Writes the World's Software, Who Verifies It? @Leonard41111588leodemoura.github.io/blog/2026/02/2… [5] Evaluating LLMs in Open-Source Games @SwadeshSistla et. al — arxiv.org/abs/2512.00371 [6] Coasean Bargaining at Scale @sebkrierblog.cosmos-institute.org/p/coasean-barg…
alex tweet media
English
4
20
78
13.4K
alex retweetledi
Lance Fortnow
Lance Fortnow@fortnow·
Charlie Bennett and Gilles Brassard win the Turing Award for Quantum Information Science. Most notably they developed the theory for a provably secure quantum key distribution protocol. awards.acm.org/about/2025-tur…
Lance Fortnow tweet media
English
2
10
60
5.3K
alex
alex@ObadiaAlex·
People seem to be arriving at a similar conclusion from various angles: - AGI may not emerge as a monolith, but as a distributed "patchwork" system of coordinating sub-AGI agents [1] - Static benchmarks aren't enough; we need multi-agent ones to capture emergent risks and capabilities [2] - As creation costs go to zero, human verification bandwidth becomes the ultimate economic bottleneck, making verification infrastructure one of the most important public goods for the AI era [3] - Automated proof-generation and verification can act as the unlock for this bottleneck [4] - New kinds of strategic interactions between agents are emerging, reaching cooperative "program equilibria" inaccessible in traditional settings [5] - Coasean transaction costs are about to collapse, changing our society [6] There is an elephant here that we're all touching. Our @ARIA_research initial £50m r&d programme Scaling Trust is our unifying thesis, on the trust infrastructure needed for an agentic world and how to steer us there. Before we set out on our journey over the next ~3ish years, we're hiring an additional individual to complete our team. Your role will essentially be one of Technical Director, steering our efforts technically and co-owning our research and engineering agenda. You will be doing incredibly meaningful work, in a highly interdisciplinary environment, and at the cutting edge of a technology that is shaping up to be the most defining of our century, if not of humanity. We are building for the highest possible impact. After all, this is what @ARIA_research is about, moonshot r&d projects that change the world. We want to build technology as impactful as the invention of the internet once was in another r&d programme at DARPA, to start new academic fields and academic lineages for the next century, and to catalyze lasting positive change for the world. For the right person, this is a bat signal 🦇, few places will offer you as much leverage to effect positive change on the world, intellectual stimulation, and fun. Join us! We want to onboard someone asap as we build out our initial portfolio, and are willing to move fast. Apply here: aria.pinpointhq.com/en/postings/1a… Any questions on the role, please shoot me a DM or reply in comment here! --- [1] Distributional AGI Safety @weballergy @sebkrier @FranklinMatija et. al -- arxiv.org/abs/2512.16856 [2] Agents of Chaos @NatalieShapira et. al — arxiv.org/abs/2602.20021 [3] Some Simple Economics of AGI @ccatalini et. al — arxiv.org/abs/2602.20946 [4] When AI Writes the World's Software, Who Verifies It? @Leonard41111588leodemoura.github.io/blog/2026/02/2… [5] Evaluating LLMs in Open-Source Games @SwadeshSistla et. al — arxiv.org/abs/2512.00371 [6] Coasean Bargaining at Scale @sebkrierblog.cosmos-institute.org/p/coasean-barg…
alex tweet media
English
4
20
78
13.4K
Saloni
Saloni@salonium·
Séb Krier.
Saloni tweet media
13
7
294
28.3K
palcu
palcu@AlexPalcuie·
given short agi timelines and the fact that we might cure lung cancer anyway, we should bring back smoking in the office
palcu tweet media
English
9
3
43
2.6K
Tech Layoff Tracker
Tech Layoff Tracker@TechLayoffLover·
Oracle is confirmed cutting 20,000-30,000 jobs but sources inside are saying the real number is closer to 45,000 I'm hearing this isn't just about AI data center costs Word is they've been running pilot programs with AI agents doing database administration work for 8 months One source told me a team of 47 DBAs in Austin got replaced by 3 senior architects plus automated Oracle Cloud Infrastructure management The agents are handling routine maintenance, performance tuning, backup verification - stuff that used to require armies of L4 and L5 engineers Internal metrics show the AI systems are catching 94% of database issues before human intervention needed But here's the terrifying part: they're not just cutting the obvious roles I'm hearing entire solution engineering teams are getting eliminated - the people who customize implementations for enterprise clients Apparently the new AI workflow can generate custom database schemas and migration plans in 6 hours instead of 6 weeks One insider said they watched a 12-person team that handled Fortune 500 implementations get told their roles were "redundant effective immediately" The severance packages are allegedly massive - 18 months salary plus equity vesting acceleration But that's because Oracle knows these people can't find equivalent work anywhere Every other enterprise software company is running the same playbook One source said it best: "We're not getting laid off, we're getting archived"
English
364
1.4K
7.4K
1.5M
Séb Krier
Séb Krier@sebkrier·
I've developed the unique skill of being incredibly sharp in meetings that don't matter, and a half-zombified wreck when surrounded by people who actually do. Bodes well.
English
15
3
242
9.2K
maraoz.com
maraoz.com@maraoz·
We might be living in the last few months of any semblance of computer security.
English
3
0
21
2.4K
Tomasz K. Stańczak
Tomasz K. Stańczak@tkstanczak·
maybe already there but I can imagine new websites to allow users to prompt how they display UI after logging in (and keep the prompt in settings)
English
13
0
33
3.9K