Agus Muñoz

1K posts

Agus Muñoz banner
Agus Muñoz

Agus Muñoz

@AguuMg

Co-founder @polfinance_. PhD in Mathematics. I do math so you don't have to. 🇦🇷

Buenos Aires, Argentina. Katılım Haziran 2019
490 Takip Edilen307 Takipçiler
Agus Muñoz retweetledi
Fede’s intern 🥊
Fede’s intern 🥊@fede_intern·
We've been working on something similar with @LambdaClass, @alignedlayer and @polfinance_ since @EthCC, great work by @kubimensah and @titanbuilderxyz. This will change things very fast. The bid ask spread is the hidden tax every trader pays on every trade. Tighter spreads mean better prices, more volume, and deeper liquidity. Right now Uniswap owns DeFi, Binance owns CEX, and Solana ate part of Ethereum's lunch. If PropAMM brings spread compression to Ethereum onchain, things change entirely and Ethereum will become the best place to trade. Traders follow liquidity, liquidity follows better prices. Better prices come from tighter spreads. All of it gets contested: Uniswap's dominance, Solana's momentum, Binance's volume. PropAMM on Ethereum could redraw the entire power map of this ecosystem. As always, LambdaClass will work with anybody trying to make Ethereum win. As always, LambdaClass will work with anybody trying to make Ethereum win. We've already delivered @ethrex_client. We're about to deliver an open source Wallet-as-a-Service and LambdaVM, a RISC-V zkVM built with @alignedlayer. We're building @ethlambda_lean, a Lean Ethereum client. We're also launching stablecoins on Ethereum for LATAM with @lemonapp_ar. We've been helping build a new coalition in the block building world, and now we're entering DeFi.
Titan Builder 🌕👷‍♂️@titanbuilderxyz

1/3 PropAMM liquidity is now fully operational on Ethereum mainnet! Three makers are live in every Titan block, and quotes are already consistently beating Binance VIP9 taker fees for retail orders (trades <$1k).

English
2
12
81
16K
Agus Muñoz retweetledi
ae^((-(x-b)^2)/(2c^2))
ae^((-(x-b)^2)/(2c^2))@JohnGalt_is_www·
Vayan acostumbrandose a este concepto, de "inteligencia útil x Gb" En vez de medir los LLMs por que tanto aciertan en preguntas cada vez mas rebuscadas de PhD y coso (para lo que se puede overfitear el RL) Se mide por el contrario, que tanto le pifian en preguntas o razonamientos tipicos del dia a dia, normalizando por Gb de memoria RAM utilizado para realizar la tarea Creo que el futuro de la inferencia va a ser local, privada y costo-eficiente y que va a seguir siendo cuello de botella cada vez mas la memoria RAM, mas aun porque "la utilidad" de los modelos va a depender cada vez mas del contexto que del modelo Una cosa es escalar la parte fisica/infra de toda la insutria al 50% anual cuando es algo chico y otra cuando es el monstruo que son hoy los datacenters y su infra Se puede seguir escalando esos bichos a estas tasas? si, pero cada vez con menor costo-eficiencia, eso se ve en la industria en el precio del token como commodity que al empezar a subir muchas startups son una bomba de tiempo de quemar guita Asi q mas alla de la necesidad de modelos chicos por el tema inferencia local y privacidad, se suma la necesidad de eficiencia energetica y de costo por token si esto sigue escalando Asi que sigo con mi tesis que vamos a ir a modelos cada vez mas chicos que requeriran cada vez menos computo y mas RAM
PrismML@PrismML

Intelligence density = how much useful intelligence a model delivers per GB. By this measure, 1-bit Bonsai 8B scores 1.06/GB, while the closest nearby full-precision 8B model scores 0.10/GB. This isn’t a small efficiency gain — it’s a new paradigm of intelligence compression: advanced capability in a radically smaller deployment footprint.

Español
17
32
294
29K
Agus Muñoz
Agus Muñoz@AguuMg·
@fede_intern Like friends, family and drinking wine with Spanish and Italian people.
English
0
0
2
334
Fede’s intern 🥊
Fede’s intern 🥊@fede_intern·
Like many young Westerners, I didn't fully understand what made the West unique. After traveling the world and growing older, I've come to love humanity as a whole but I do believe the West and Christianity hold a set of values and cultural traditions I find myself proud to be part of.
English
8
4
87
4.7K
Agus Muñoz retweetledi
Clarín
Clarín@clarincom·
NO ES SÓLO LA INDUSTRIA: DENUNCIAN DESPIDOS Y RETIROS EN EL SECTOR FINANCIERO Lectura rápida Tras recortes en la industria, aparecen señales de ajuste en consultoras y bancos. PwC habría desvinculado hasta 60 personas y el gremio bancario denuncia retiros masivos en Santander. Recortes en PwC En redes se habló de hasta 200 despidos en PwC. La empresa reconoció desvinculaciones, pero negó esa cifra y afirmó que no superan el 1% de su dotación local de 6.300 empleados. Señaló que todos los años hay recambios y reubicaciones. En 2025 incorporó 750 personas. Hablan de objetivos de eficiencia y mayores costos de la operación local. Bancarios La Bancaria alertó sobre retiros voluntarios masivos en Santander. Los vinculó con un plan de cierre de sucursales. El banco admitió que cerró nueve este año. Sostuvo que no implica despidos forzados y que el 90% de las transacciones ya son digitales. (+) en Clarín: clar.in/4l0XNCA
Clarín tweet media
Español
23
127
397
59.5K
Agus Muñoz retweetledi
Dipa @Consensus 🐇
Dipa @Consensus 🐇@SantiDiPaolo·
Esto es all in. 110b en una sola ronda no es normal, es una apuesta. La velocidad a la que se mueve esto ya no se explica solo por la competencia entre OpenAI, Anthropic y Google, esto es USA vs China por la supremacía en ai. Toda la carne al asador
Sam Altman@sama

We have raised a $110 billion round of funding from Amazon, NVIDIA, and SoftBank. We are grateful for the support from our partners, and have a lot of work to do to bring you the tools you deserve.

Español
6
16
327
35K
Agus Muñoz retweetledi
Thomas Trimoreau
Thomas Trimoreau@TTrimoreau·
> 2022 - Student > 2023 - Developer > 2024 - Prompt Engineer > 2025 - Vibe coder > 2026 - AI agent > 2027 - Farmer
English
288
1.8K
17.2K
704.4K
Agus Muñoz
Agus Muñoz@AguuMg·
Keep it resilent, small and pro.
jack@jack

we're making @blocks smaller today. here's my note to the company. #### today we're making one of the hardest decisions in the history of our company: we're reducing our organization by nearly half, from over 10,000 people to just under 6,000. that means over 4,000 of you are being asked to leave or entering into consultation. i'll be straight about what's happening, why, and what it means for everyone. first off, if you're one of the people affected, you'll receive your salary for 20 weeks + 1 week per year of tenure, equity vested through the end of may, 6 months of health care, your corporate devices, and $5,000 to put toward whatever you need to help you in this transition (if you’re outside the U.S. you’ll receive similar support but exact details are going to vary based on local requirements). i want you to know that before anything else. everyone will be notified today, whether you're being asked to leave, entering consultation, or asked to stay. we're not making this decision because we're in trouble. our business is strong. gross profit continues to grow, we continue to serve more and more customers, and profitability is improving. but something has changed. we're already seeing that the intelligence tools we’re creating and using, paired with smaller and flatter teams, are enabling a new way of working which fundamentally changes what it means to build and run a company. and that's accelerating rapidly. i had two options: cut gradually over months or years as this shift plays out, or be honest about where we are and act on it now. i chose the latter. repeated rounds of cuts are destructive to morale, to focus, and to the trust that customers and shareholders place in our ability to lead. i'd rather take a hard, clear action now and build from a position we believe in than manage a slow reduction of people toward the same outcome. a smaller company also gives us the space to grow our business the right way, on our own terms, instead of constantly reacting to market pressures. a decision at this scale carries risk. but so does standing still. we've done a full review to determine the roles and people we require to reliably grow the business from here, and we've pressure-tested those decisions from multiple angles. i accept that we may have gotten some of them wrong, and we've built in flexibility to account for that, and do the right thing for our customers. we're not going to just disappear people from slack and email and pretend they were never here. communication channels will stay open through thursday evening (pacific) so everyone can say goodbye properly, and share whatever you wish. i'll also be hosting a live video session to thank everyone at 3:35pm pacific. i know doing it this way might feel awkward. i'd rather it feel awkward and human than efficient and cold. to those of you leaving…i’m grateful for you, and i’m sorry to put you through this. you built what this company is today. that's a fact that i'll honor forever. this decision is not a reflection of what you contributed. you will be a great contributor to any organization going forward. to those staying…i made this decision, and i'll own it. what i'm asking of you is to build with me. we're going to build this company with intelligence at the core of everything we do. how we work, how we create, how we serve our customers. our customers will feel this shift too, and we're going to help them navigate it: towards a future where they can build their own features directly, composed of our capabilities and served through our interfaces. that's what i'm focused on now. expect a note from me tomorrow. jack

English
0
0
0
44
Agus Muñoz retweetledi
dean cureton
dean cureton@deancureton·
less than six months after Math Inc began, it is not inaccurate to claim that the problem of autoformalization has been solved. Gauss can now produce tens of thousands of lines of formally verified mathematics, entirely unsupervised - work that would take humans years.
English
1
5
31
2.7K
Agus Muñoz retweetledi
Math, Inc.
Math, Inc.@mathematics_inc·
We are honored to have assisted Sid and the rest of the team with completing the formalization of sphere packing in 8 dimensions. The latest version of our autoformalization agent, Gauss, was able to complete the proof relying solely on the blueprint from Sid’s repository, requiring no additional mathematical hints. This result would not have been possible without the phenomenal blueprint and foundations laid by Sid and the rest of the team. We also want to acknowledge the incredible work done by the broader Lean community on Mathlib. Formalizations of this scale will soon be commonplace and we believe it is important to ensure that the code can be upstreamed and made useful. We look forward to continuing to work together to review the PR, improve the quality of the formalization, and push the boundaries of what AI and mathematicians can achieve together.
Sidharth Hariharan@SidharthHariha1

It gives the maintainers of the Sphere Packing Project great pleasure to announce a major milestone in the formalization effort: we now have a sorry-free Lean proof of the theorem that the optimal sphere packing in ℝ⁸ is the E₈ lattice packing. (1/9)

English
7
32
167
40.3K
Agus Muñoz
Agus Muñoz@AguuMg·
@fede_intern My friends look at me like I'm crazy or like humans will still have something to do because "people will always prefer humans"
English
0
0
1
180
Agus Muñoz
Agus Muñoz@AguuMg·
At least I won't face a lawsuit if I insult him.
Agus Muñoz tweet media
English
0
0
0
52
Agus Muñoz
Agus Muñoz@AguuMg·
@fede_intern I love a good storytelling about centralization of power and the end of capitalism based on labor force. On it atm 🍿
English
0
0
1
22
Fede’s intern 🥊
Fede’s intern 🥊@fede_intern·
i highly recommend you read the last economy by emad mostaque
English
6
3
46
3.7K
Agus Muñoz retweetledi
Fran Aligned 🟩
Fran Aligned 🟩@fran_aligned·
No veo esferas de poder claras y ordenadas. El sistema está roto y tiende a la atomización, hay muchos moats de las élites que se rompieron y eso va a ser muy evidentes: El modelo americano de plataformas de AI en donde te ofrezco un servicio y lo pagas por mes se rompe con la estrategia china de commoditizar la AI. Las capacidades que ya se están teniendo son un evidente game changer. Esto no solo debilita a corto / mediano plazo los grandes poderes globales si no que también re formula a los poderes locales. Ganó el software libre en el momento más crítico de la humanidad.
Español
0
2
2
201