Hacker News: wazHFsRy

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

New comment by wazHFsRy in "Show HN: CLI to order groceries via reverse-engineered REWE API (Haskell)"

wazHFsRy — Fri, 03 Apr 2026 08:29:30 +0000

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 Rewe because it was immediately blocked.

New comment by wazHFsRy in "Cursor 3"

wazHFsRy — Fri, 03 Apr 2026 07:09:14 +0000

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

New comment by wazHFsRy in "Cursor 3"

wazHFsRy — Fri, 03 Apr 2026 06:10:52 +0000

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.

New comment by wazHFsRy in "Show HN: CLI to order groceries via reverse-engineered REWE API (Haskell)"

wazHFsRy — Fri, 03 Apr 2026 06:01:21 +0000

It took hours not weeks. You were absolutely right.

Resilience in the Age of AI

wazHFsRy — Fri, 03 Apr 2026 05:58:49 +0000

Article URL: https://halfanhour.blogspot.com/2026/04/resilience-in-age-of-ai.html

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

Points: 1

# Comments: 0

New comment by wazHFsRy in "Prefer do notation over Applicative operators when assembling records (2024)"

wazHFsRy — Fri, 03 Apr 2026 05:50:39 +0000

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?

New comment by wazHFsRy in "Cursor 3"

wazHFsRy — Fri, 03 Apr 2026 05:32:00 +0000

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 I can set up a shortcut for that?

New comment by wazHFsRy in "Show HN: CLI to order groceries via reverse-engineered REWE API (Haskell)"

wazHFsRy — Wed, 01 Apr 2026 18:53:02 +0000

there is this "400g (1 kg = 3,48 €)" - would be pretty easy to sort results by that I'd guess, good idea!

New comment by wazHFsRy in "Show HN: CLI to order groceries via reverse-engineered REWE API (Haskell)"

wazHFsRy — Wed, 01 Apr 2026 16:51:36 +0000

It is extremely simple. I just tell Claude: "Use korb to look at my order history and create a table with my most frequently bought items. Next time, fill my basket with the items I always buy." So something of that variation works.

New comment by wazHFsRy in "Show HN: CLI to order groceries via reverse-engineered REWE API (Haskell)"

wazHFsRy — Wed, 01 Apr 2026 16:29:03 +0000

Thank you. Though I have to say I'm really not an expert in that domain and just starting to explore it myself.

New comment by wazHFsRy in "Show HN: CLI to order groceries via reverse-engineered REWE API (Haskell)"

wazHFsRy — Wed, 01 Apr 2026 16:05:25 +0000

You can already filter by `isRegional`. That's maybe close enough.