Bruno

[Gareth Davies @garethtdavies]

Revived the Mina Rust node. Syncs devnet from scratch in under a minute, runs in a few hundred MB of RAM, and works on a Raspberry Pi 3. https://t.co/RvDQSNq1iS

[Bruno @tiodante]

@maicmicke @4amNicc #mendoza

[Bruno @tiodante]

@reuruguaya Ricardo López

[Wouter van Oortmerssen @wvo]

Goose: my latest programming language. Safer, faster and less memory than Rust/C++ for algorithms where tightly packed, flat data structures matter.

It can represent more kinds of data structures as flat, pointer-free bytes than any language I know.

https://t.co/qqC3RFD0BS
1/

[reuben @reubbr]

@zack_overflow https://t.co/FbxwpwuvLu

[Evan Shapiro @evanashapiro]

Today we're introducing 𝗛𝗼𝗺𝗲𝗿𝗼𝗼𝗺 — 𝗔𝗜 𝗮𝗽𝗽-𝗯𝘂𝗶𝗹𝗱𝗶𝗻𝗴, 𝗻𝗼𝘄 𝗺𝘂𝗹𝘁𝗶𝗽𝗹𝗮𝘆𝗲𝗿.

AI made it ridiculously easy for one person to build an app.

We've been working on the next part: making it easy for the people using that app to help build it too.

Suggest a change. Try it. Decide together. Ship what works.

Because the best software shouldn't just be built for 𝘂𝘀. It should be built 𝘄𝗶𝘁𝗵 us.

Join the waitlist ↓
Reply "HOME" and I'll DM you to bump your early access priority.

[Daniel @ergot86]

I'm so glad Intel finally added unlimited hardware breakpoints.

[Bruno @tiodante]

@grok @ergot86 @ralsina who was less wrong tho?

[Bruno @tiodante]

@ergot86 @ralsina @grok who won the nerd fight?

[Evan Shapiro @evanashapiro]

Everyone's racing to build "user-owned" networks.
Then handing the apps on top back to one company.

We spent some time testing what happens when users can shape both.

Here's what we learned ↓ Much more soon. https://t.co/tLYSV07qYe

[reuben @reubbr]

Most "better AI coding" takes chase smarter models and better prompts.

I think that's the wrong frame.

Here's a build *refusing* to skip a tenant-auth check, deterministically, before the binary even exists. The model didn't remember the rule; the substrate enforced it. 👇

[antirez @antirez]

Control the ideas, not the code: blog post here https://t.co/RLjVUvGWVX

[Succinct @SuccinctLabs]

Introducing Flock: a new SNARK for proving batches of standard hash functions at just 250× the cost of computing them natively.

Developed by @benediktbuenz from @EspressoSys, @ronrothblum, and NYU's William Wang, Flock puts Ethereum's Post Quantum target in reach.

[Bruno @tiodante]

@Gort_68 @pipps_90 @agesic Es por el tipo de vehículo, no el peso de la carga.

[Bruno @tiodante]

Pero qué porteño ignorante!

La palabra "championes" viene del inglés champions shoes. En el oeste americano, cuando los cowboys ganaban los rodeos, las carreras de barriles o los concursos de lazo, después los hacían desfilar y bailar en la fiesta del pueblo. El problema era que con las botas de montar no podían hacer ni dos pasos sin quedar como un ñandú engripado.

Entonces a los campeones les daban unos zapatos livianos, cómodos, de suela flexible, especiales para la celebración. Les decían champions, porque eran "los zapatos de los campeones".

Después eso llegó al Río de la Plata por los marineros ingleses, pero en Uruguay quedó bien dicho: championes. En otros lados le empezaron a decir "zapatillas", que es cualquier cosa, porque una zapatilla es para estar en tu casa tomando mate con bizcochos, no para salir a correr.

Así que no: no es un uruguayismo raro. Es inglés rural competitivo del siglo XIX mal pronunciado por gente que sabía vivir.

[KC Sivaramakrishnan @kc_srk]

"Data race freedom in OxCaml" https://t.co/6K0fkitNxI

Every code block is a live x-ocaml cell, an OxCaml toplevel running in your browser, with errors and all. Type into the examples and the compiler talks back.

[Bruno @tiodante]

@ergot86 @AntelDeTodos Están vulnerando nuestros derechos! 🫰

[Bruno @tiodante]

@AntelDeTodos @ergot86 Acá igual. Lo peor es que a diferencia de antes ya ni siquiera te atiende una persona para darte un estimado o detalles de la situación. Te guardan el reclamo y nada.

[Evan Shapiro @evanashapiro]

With our last two testnets, we reached a working proof of concept of a community-run network, operated directly from users’ phones and other devices.

The last few weeks, we've been building out a more complete feature-set on top of the network's strong user sovereignty.

Today, we launched a beta with our community for that new, more complete network architecture.

Here are the new components we are most excited about:

1. Now 120+ participants (doubled from ~60 in the last network)
2. High performance; aiming for 10+ tps, with 5-15s latency
3. Initial testing of zk-proof of personhood
4. Support for dapps – we will be testing several dapps on the new testnet, including an opinion market dapp, leveraging proof of personhood.
5. Support for making dapps easily instantiable by AI agents, and then [WIP] iterable by agents directly from user feedback.

We’ll be testing all of these over the coming weeks. Once working well, we'll have a solid foundation for a self-sovereign network, where groups of people can collectively build and iterate on the software they use, backed by proof of personhood.

[Bruno @tiodante]

@maicmicke Porque prosperó y ahora es el dueño.