Agost Biro

@agostbiro

803 Following

1506 Followers

Agost Biro pfp

Turns out the solution is Notes > Format > Math Results Off. H/t to my Mom!

0 reply

0 recast

0 reaction

Agost Biro pfp

When I type "h^2 = " into the MacOS Notes or TextEdit app it autocompletes it to "h^2 =3.600 mins²". I don't want this feature. Anyone knows how can I turn it off? I've tried disabling Apple Intelligence and every feature under input sources, but no luck.

0 reply

0 recast

0 reaction

Agost Biro pfp

Thoughts on US politics from someone who grew up in a similar system (Hungary): - domestic policy bill looks like T is gearing up for a new term, not a 2nd term president pushing through hard reforms - strongman pushing out independent minded oligarchs is a common theme in these regimes, but it usually takes longer to consolidate power. Elon just gave T a freebie on that. - talking with pro Tump techies is sometimes as surreal as trying to convince hippies that communism is a bad idea. Trump naivete syndrome should be a thing

0 reply

0 recast

3 reactions

Agost Biro pfp

Feeling thankful for our civilization 🙏

1 reply

0 recast

3 reactions

Agost Biro pfp

It was a terrible, but game, but Tottenham 100% deserved to win https://www.youtube.com/watch?v=9Ua2bhdU5JY

0 reply

0 recast

2 reactions

Agost Biro pfp

It’s not so much that I don’t believe in death, but that my experience is unity with the universe and living this experience makes the question of death moot.

0 reply

1 recast

2 reactions

Agost Biro pfp

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

0 reply

0 recast

1 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

2 replies

0 recast

9 reactions

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

7 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

2 reactions

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

5 reactions

Agost Biro pfp

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

0 reply

0 recast

1 reaction

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

5 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

8 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