Hacker News: wazHFsRy

New comment by wazHFsRy in "GitHub confirms breach of 3,800 repos via malicious VSCode extension"

wazHFsRy — Thu, 21 May 2026 05:07:37 +0000

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

New comment by wazHFsRy in "Appearing productive in the workplace"

wazHFsRy — Thu, 07 May 2026 07:22:08 +0000

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 work again. Right now it feels like a lot of this kind of collaboration and what is okay and what no has to be figured out.

New comment by wazHFsRy in "Appearing productive in the workplace"

wazHFsRy — Thu, 07 May 2026 06:15:00 +0000

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

New comment by wazHFsRy in "Appearing productive in the workplace"

wazHFsRy — Thu, 07 May 2026 06:14:00 +0000

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

New comment by wazHFsRy in "Appearing productive in the workplace"

wazHFsRy — Thu, 07 May 2026 05:12:30 +0000

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 still prefer to prepare things async, but then discuss them in person to understand if people actually understand what they are talking about. So far I also have a good time with really being frank and honest with colleagues if something is clearly AI expertise and not that persons expertise.

1: https://www.dev-log.me/everyone_is_an_expert_now/

New comment by wazHFsRy in "A couple million lines of Haskell: Production engineering at Mercury"

wazHFsRy — Sun, 03 May 2026 04:49:36 +0000

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 String you remove the null handling. If you add Null you need to add Null handling?

New comment by wazHFsRy in "Deezer says 44% of songs uploaded to its platform daily are AI-generated"

wazHFsRy — Tue, 21 Apr 2026 05:22:17 +0000

Thanks for sharing.

New comment by wazHFsRy in "Deezer says 44% of songs uploaded to its platform daily are AI-generated"

wazHFsRy — Tue, 21 Apr 2026 05:20:52 +0000

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 videos) and even if it is nice if others appreciate this, they are still always there for myself as sign of what I achieved.

New comment by wazHFsRy in "GitHub's fake star economy"

wazHFsRy — Mon, 20 Apr 2026 16:56:40 +0000

How will fake stars help it getting of the ground?

New comment by wazHFsRy in "GitHub's fake star economy"

wazHFsRy — Mon, 20 Apr 2026 16:55:01 +0000

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.

New comment by wazHFsRy in "Official Clojure Documentary page with Video, Shownotes, and Links"

wazHFsRy — Fri, 17 Apr 2026 05:21:04 +0000

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 stuck, not the stuck in a good learning way, forever in the past. Now is the time!

New comment by wazHFsRy in "Claude Code Routines"

wazHFsRy — Wed, 15 Apr 2026 05:20:39 +0000

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 tracking some personal activities. My setup looks like this: https://www.dev-log.me/click_recurring_tasks_for_claude/

Verifying Rust Programs

wazHFsRy — Sun, 12 Apr 2026 05:37:07 +0000

Article URL: https://github.com/AeneasVerif/aeneas

Comments URL: https://news.ycombinator.com/item?id=47736432

Points: 1

# Comments: 0

New comment by wazHFsRy in "Ask HN: Any interesting niche hobbies?"

wazHFsRy — Thu, 09 Apr 2026 16:11:57 +0000

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.

New comment by wazHFsRy in "Formal Verification in Any Language for Everybody (lean 4)"

wazHFsRy — Thu, 09 Apr 2026 06:08:01 +0000

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.

New comment by wazHFsRy in "Ask HN: Any interesting niche hobbies?"

wazHFsRy — Thu, 09 Apr 2026 05:10:39 +0000

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?

The Usefulness of AI Agents

wazHFsRy — Thu, 09 Apr 2026 05:03:38 +0000

Article URL: https://erikjohannes.no/posts/20260408-on-the-usefulness-of-ai-agents/index.html

Comments URL: https://news.ycombinator.com/item?id=47699460

Points: 1

# Comments: 1

New comment by wazHFsRy in "Formal Verification in Any Language for Everybody (lean 4)"

wazHFsRy — Thu, 09 Apr 2026 04:56:16 +0000

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.

Formal Verification in Any Language for Everybody (lean 4)

wazHFsRy — Thu, 09 Apr 2026 04:56:16 +0000

Article URL: https://www.dev-log.me/formal_verification_in_any_language_for_everybody/

Comments URL: https://news.ycombinator.com/item?id=47699426

Points: 14

# Comments: 4

Visualisation of the Artemis Mission (German)

wazHFsRy — Sun, 05 Apr 2026 05:22:11 +0000

Article URL: https://www.zeit.de/wissen/2026-04/artemis-2-mondmission-nasa-raumfahrt-visuelle-reise

Comments URL: https://news.ycombinator.com/item?id=47646338

Points: 2

# Comments: 1