Agost Biro

@agostbiro

802 Following

1578 Followers

Agost Biro pfp

https://youtu.be/MXnrzS3aGeM ASML keeps crushing it

0 reply

0 recast

0 reaction

Agost Biro pfp

A Visual Journey Through Async Rust https://github.com/alexpusch/rust-magic-patterns/blob/master/visual-journey-through-async-rust/Readme.md This is pretty cool

1 reply

0 recast

1 reaction

Agost Biro pfp

While we're on office chairs, I've come to like these dynamic stools a lot: https://www.aeris.de/en/products/aeris-swopper-wollmischung-capture-gruen Looks like something out of South Park, but the older I get the less I can sit in one place, and the constant movement on the stool keeps my lower back from stiffening.

0 reply

0 recast

0 reaction

Agost Biro pfp

ARC-AGI-2 is the AI benchmark to watch. It consists of logic puzzles that are simple for humans, but difficult for current frontier models. https://www.youtube.com/watch?v=TWHezX43I-4

0 reply

0 recast

6 reactions

Agost Biro pfp

Love this notification from @kmacb.eth I totally forgot this game was on

1 reply

0 recast

2 reactions

Agost Biro pfp

Feeling grateful for Claude code fixing all the CI errors 🙏

0 reply

0 recast

1 reaction

Agost Biro pfp

There is no master plan, the fate of the world rests on the instincts of Donald Trump, one of the greatest populist politicians ever, and a man whose business success is grounded in weaseling out of failures. Buckle up people! https://www.nytimes.com/2025/04/09/us/politics/trump-tariff-pause-be-cool.html

0 reply

0 recast

1 reaction

Agost Biro pfp

It's starting to sink in for Elon https://www.nytimes.com/2025/04/05/us/politics/musk-says-he-hopes-europe-and-us-move-to-a-zero-tariff-situation.html

0 reply

0 recast

6 reactions

Agost Biro pfp

What to read on the division of Korea and the subsequent war?

0 reply

0 recast

2 reactions

Agost Biro pfp

I've recently discovered that Hannah Arendt wrote poetry and these lines stuck with me: "Doch das Leid will nich beschwichten Alte Träume, junge Weisheit. Und es lässt mich nicht verzichten Auf des Glückes schöne Reinheit." The last line is so beautiful, but I think it only works in German.

1 reply

0 recast

6 reactions

Agost Biro pfp

TIL: Amazon developed the P Programming Language as a successor to TLA+. They also built PObserve that takes "structured logs from the execution of distributed systems and validate post-hoc that they match behaviors allowed by the formal P specification of the system" https://queue.acm.org/detail.cfm?id=3712057

1 reply

0 recast

0 reaction

Agost Biro pfp

2 replies

0 recast

5 reactions

Agost Biro pfp

Math Academy is easily my favorite recent discovery on FC. I think I saw it on @francos.eth 's feed. I'm using it to fill in holes in my math knowledge and it's worth every penny. https://www.mathacademy.com/

2 replies

0 recast

4 reactions

Agost Biro pfp

Zooming out a bit from day-to-day politics, US foreign policy in the 21st century looks disastrously bad: 1. GWB started 2 can't win wars and set the stage for a 3rd one (Ukraine). 2. Obama failed to course correct and left a disaster in the Middle East. 3. Biden allowed the Ukraine war to start, but didn't follow through. Handed Russia to China on a platter. 4. Trump broke the North Atlantic alliance, the net result will be probably both US and EU weaker, while China stronger as EU seeks protection elsewhere.

0 reply

0 recast

3 reactions

Agost Biro pfp

I’ll definitely learn other languages in the next 1-2 decades for fun, but I fully expect Rust to be my daily driver in this period

2 replies

0 recast

11 reactions

Agost Biro pfp

Malicious npm package infects local installation of ethers with reverse shell https://www.reversinglabs.com/blog/malicious-npm-patch-delivers-reverse-shell

1 reply

0 recast

6 reactions

Agost Biro pfp

Adam Cleary left 442 to start his own channel: https://www.youtube.com/watch?v=VVgnC6_UsgU

3 replies

2 recasts

12 reactions

Agost Biro pfp

I think meme coins are good. They are a new form social coordination that can be used for good or bad, but having new mediums is good.

1 reply

1 recast

1 reaction

Agost Biro pfp

For the uninitiated: Western & Central Europe used to be ravaged by major wars every few decades. We’re close to 80 years of peace now and the EU is our best bet of continuing that

0 reply

0 recast

2 reactions

Agost Biro pfp

As far as institutions go, I used to think the USA to be the greatest source of net good in the world. Now I think it’s the EU

1 reply

0 recast

3 reactions