Agost Biro

@agostbiro

763 Following

1581 Followers

Agost Biro pfp

TIL ssh port forwarding can't handle heavy traffic

1 reply

2 recasts

24 reactions

Agost Biro pfp

If you're unsure about a type, just write `bool` and let the compiler tell you what it really is

0 reply

0 recast

2 reactions

Agost Biro pfp

Claude Code quickly became my favorite LLM tool

1 reply

3 recasts

6 reactions

Agost Biro pfp

In general, it's helpful to think about an `Option` as container with 0 or 1 elements and a `Result` as a container with exactly 1 element where the contained type is a sum type.

0 reply

0 recast

1 reaction

Agost Biro pfp

Results and options can be difficult to compose. Fortunately the `transpose` method makes this a breeze. E.g. if you're mapping over an option and need to return a result, you can just call transpose on the `Option<Result>` returned by `map` and propagate the error from the outer scope with `?`.

0 reply

0 recast

0 reaction

Agost Biro pfp

Making Claude Code a CLI app instead of an extension/standalone editor was a big brain move. Faster to ship and covers all users with one app + I actually prefer the CLI version for both UX and security

0 reply

0 recast

3 reactions

Agost Biro pfp

Most people: rustc error messages are great, because the compiler gives you actionable advice! Me: hehe, compiler said turbofish > error: generic args in patterns require the turbofish syntax

1 reply

0 recast

3 reactions

Agost Biro pfp

Fun apocryphal story: Gödel found a loophole in the US constitution while studying for his citizenship test and tried to convince the examiner of this fact with Einstein in attendance https://en.m.wikipedia.org/wiki/Gödel%27s_Loophole

0 reply

0 recast

3 reactions

Agost Biro pfp

The cat is out of the bag: https://www.nytimes.com/2025/03/07/world/europe/poland-nuclear-trump-tusk.html

1 reply

0 recast

0 reaction

Agost Biro pfp

I think an underrated interpretation of "what doesn't kill you makes you stronger" is that the more difficulties you face, the fewer things can scare you which is a super power

1 reply

0 recast

3 reactions

Agost Biro pfp

There are no assholes, only frightened people

0 reply

0 recast

5 reactions

Agost Biro pfp

The narrative that Trump is trying to foster peace with his actions is blatantly false. His actions reveal two goals: 1. Disengage from the Ukraine war asap, no matter the consequences for the region, and normalize relations with Russia. 2. Avoid losing support in his base while doing this.

1 reply

1 recast

7 reactions

Agost Biro pfp

Ok so the US-Russia alignment is happening. First US stops offensive cyberops and now cuts off Ukraine. https://www.nytimes.com/2025/03/03/us/politics/trump-ukraine-military-aid.html https://www.nytimes.com/2025/03/02/us/politics/hegseth-cyber-russia-trump-putin.html

2 replies

1 recast

2 reactions

Agost Biro pfp

I've just started sponsoring nicm on Github. Nicholas is the author of Tmux which is one my favorite dev tools. It works well out of the box, but it's highly configurable and I've never had a problem with it. I couldn't do without it. You can sponsor Nicholas and Tmux on Github or on Liberapay https://github.com/nicm https://liberapay.com/tmux/donate

0 reply

0 recast

2 reactions

Agost Biro pfp

Books I packed to kill a few hours after driving somewhere

2 replies

1 recast

10 reactions

Agost Biro pfp

App updater used by apps like Notion and Cursor could be hijacked to push arbitrary updates to these apps. This is why I'm extremely reluctant to install new apps on my host. For new stuff it's either browser based or goes into a VM. https://kibty.town/blog/todesktop/

2 replies

0 recast

4 reactions

Agost Biro pfp

Thank you everyone who helped test this out!

2 replies

0 recast

6 reactions

Agost Biro pfp

This is a tough one to watch and nobody's looking good: https://www.youtube.com/watch?v=_jx6rPkdAhs Zelensky is right of course when it comes to the facts, but he should've played the role Trump assigned to him for his country. Trump is right that he needs to look impartial towards Putin to effectively mediate, but he acts anything but impartial towards Zelensky. Vance is right that Zelensky acts disrespectfully, but he gets his ass handed to him and needs Trump to step in and defend him.

4 replies

1 recast

9 reactions

Agost Biro pfp

This poem is stuck in my head

0 reply

0 recast

2 reactions

Agost Biro pfp

Terence Tao on machine assisted proofs in mathematics. The most interesting part for me is how proof systems like Lean scale and democratize collaboration on theoretical mathematics https://youtu.be/5ZIIGLiQWNM

1 reply

2 recasts

7 reactions