wazHFsRy

6 ms·

1.
Show HN: Fly a nano-drone from your terminal (Rust TUI)(github.com)
2 points by wazHFsRy 2mo ago|0 comments
2.
by wazHFsRy 2mo ago
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 because it leads to something flying through my living room. ht
3.
by wazHFsRy 4mo ago
Even their sales teams work with GitHub repos, so not that surprising I’d say.
4.
by wazHFsRy 4mo ago
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 is that people take the feedback and learn to do the actual
5.
by wazHFsRy 4mo ago
That is something I actually have not noticed, do you get pushback like this?
6.
by wazHFsRy 4mo ago
I mean I agree with you, but the reality for many of us is that this is not under our control?
7.
by wazHFsRy 4mo ago
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 reasonable way forward is to discuss things face to face. I s
8.
by wazHFsRy 5mo ago
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 adapt its signatures. E.g. if you change from String | Null to
9.
by wazHFsRy 5mo ago
Thanks for sharing.
10.
by wazHFsRy 5mo ago
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 past through hard labour (coding projects, skateboarding vi
11.
by wazHFsRy 5mo ago
How will fake stars help it getting of the ground?
12.
by wazHFsRy 5mo ago
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.
13.
by wazHFsRy 5mo ago
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 perfect for that, as AI can help with things where one was stu
14.
by wazHFsRy 5mo ago
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 tasks like updating the summary of projects I am working on or
15.
Verifying Rust Programs(github.com)
1 points by wazHFsRy 5mo ago|0 comments
16.
by wazHFsRy 5mo ago
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.
17.
by wazHFsRy 5mo ago
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 to me.
18.
by wazHFsRy 5mo ago
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?
19.
The Usefulness of AI Agents(erikjohannes.no)
1 points by wazHFsRy 5mo ago|1 comments
20.
by wazHFsRy 5mo ago
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.
21.
Formal Verification in Any Language for Everybody (lean 4)(dev-log.me)
14 points by wazHFsRy 5mo ago|4 comments
22.
Visualisation of the Artemis Mission (German)(zeit.de)
2 points by wazHFsRy 6mo ago|1 comments
23.
by wazHFsRy 6mo ago
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, was wondering if this caused some discussion internally at
24.
by wazHFsRy 6mo ago
Yes and I do. My above point was just that I’d like to have fast inline auto complete.
25.
by wazHFsRy 6mo ago
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.
26.
by wazHFsRy 6mo ago
It took hours not weeks. You were absolutely right.
27.
Resilience in the Age of AI(halfanhour.blogspot.com)
1 points by wazHFsRy 6mo ago|0 comments
28.
by wazHFsRy 6mo ago
In the authors enter first and last name example, isn’t the do notation also much clearer on order of effects? Eg being asked first for first name?
29.
by wazHFsRy 6mo ago
I just wish Claude code would also offer fast inline auto complete. Sometimes I’ll just want to have a function definition or some boilerplate spelled out without waiting for the slow Claude response. Or actively switching models. ——- Maybe
30.
by wazHFsRy 6mo ago
there is this "400g (1 kg = 3,48 €)" - would be pretty easy to sort results by that I'd guess, good idea!

More ›