Viewing profile — wazHFsRy

in action video: https://github.com/user-attachments/assets/f349595d-bece-4ac... I wanted a Rust learning project and for this I created a TUI to control a crazyflie from the termi…

Something very small and simple compared to other ambitious projects here :) A TUI to control a crazyflie nano drone. This is mostly a rust learning project - but insanely fun beca…

Even their sales teams work with GitHub repos, so not that surprising I’d say.

Those are often also people who are in the company for a long time already, not only newly hired. I think AI makes it just so easy to be lazy. I guess my hope with the face to face…

That is something I actually have not noticed, do you get pushback like this?

I mean I agree with you, but the reality for many of us is that this is not under our control?

As everyone is an expert now[1] on paper I think it is unfortunately time for a shift again. For years I was big proponent of asynchronous remote work. But it seems like the only r…

Mostly though if you do anything with the returned value at the call site you need to change that code anyways? If it is not just passing it on, and even then you might need to ada…

Thanks for sharing.

But you will end up with something where you can say „this is mine, I did that“ for the rest of your life. Even if no one ever cares. I come back to some of the things I did in the…

How will fake stars help it getting of the ground?

I guess the idea is to show a small token of appreciation. I do that and I am also happy if I receive some on my own repos.

I felt exactly the same, but recently started building side projects again in Haskell and fell in love again. Really brought my passion for software development back. 2026 feels pe…

Same here it just feels like something so simple, I’d rather have it under my own control. That way I can keep it independent of claude as well. I use it for all kind of routine ta…

That sounds awesome! I basically do all the same sports, but I always need to win or to get better at them. I am trying to move in your direction though.

Awesome, I am finding so little actual experience reports on this, if you build something similar, I'd be very happy to hear about how it's going. Feel free to reach out directly t…

Thank you for sharing that. I am going to save this one. Does that work for you? Could you shift from winning at things to just doing them?

While working on a sideproject I explored lean 4 a bit and figured it actually something that can be very easily integrated into any project if one wants to prove correctness.

Nice thank you. If something came out of this that would be amazing. I am not the biggest fan of mcp, as they are a waste of tokens though. I shot you a message on LinkedIn as well…

Yes and I do. My above point was just that I’d like to have fast inline auto complete.

I tried copilot for a bit in vscode as well with opus and felt something was off. Somehow as if copilots harness around it just wasn’t as good. But I can’t give solid prove.