wazHFsRy

5 ms·

31.
by wazHFsRy 7mo ago
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 work
32.
by wazHFsRy 7mo ago
Thank you. Though I have to say I'm really not an expert in that domain and just starting to explore it myself.
33.
by wazHFsRy 7mo ago
You can already filter by `isRegional`. That's maybe close enough.
34.
by wazHFsRy 7mo ago
This is also my exact workflow here. Thank you. I'm adding things that should be in the basket via Siri to my Obsidian notes. I also add recipes to that list or anything else. Then Claude checks that list once I want to do the shopping
35.
by wazHFsRy 7mo ago
I mean, definitely leads to me buying more stuff on Rewe than before.
36.
by wazHFsRy 7mo ago
I mean, fixing small issues is not a big deal – during my ordering sessions, if something comes up, I actually just let Claude create an issue for it, and then when I have time, I create a fix.
37.
by wazHFsRy 7mo ago
For me, Haskell is the language of 2026. Having an agent available if you get stuck with some weird type error is a blessing. It also helps with the tooling. Though the modern tooling with cabal is pretty good.
38.
by wazHFsRy 7mo ago
Just pipe the items through this CLI, and you can save a ton of work :)
39.
by wazHFsRy 7mo ago
Absolutely. For example, I want to ask it: Suggest me some vegetables I haven't ordered in recent weeks or stuff like this, and this is all possible.
40.
by wazHFsRy 7mo ago
Absolutely, that could just be a small script or something on top that calls the CLI tool
41.
by wazHFsRy 7mo ago
I am using it exactly like this. I tell Claude: "Add all things for this recipe to the basket."
42.
by wazHFsRy 7mo ago
Yeah, absolutely. I think internally, everyone is cooking up some gigantic commerce. This is just bringing it to myself a bit earlier.
43.
by wazHFsRy 7mo ago
The existing project was a great inspiration and helped me figure out the mTLS stuff. I totally get your mixed feelings, though. I really like your suggestion. I will put it in an issue and look into that. https://github.com&#x2F
44.
by wazHFsRy 7mo ago
I want to add something else to this. In the process of writing this, I also played with formal verification and formally verified the suggestion engine, which was a really nice side discovery. The basic idea is to write a prove in Lean4 an
45.
Prefer do notation over Applicative operators when assembling records (2024)(haskellforall.com)
54 points by wazHFsRy 7mo ago|14 comments
46.
Show HN: CLI to order groceries via reverse-engineered REWE API (Haskell)(github.com)
205 points by wazHFsRy 7mo ago|85 comments
47.
by wazHFsRy 7mo ago
I also discussed this a bit more here: https://www.dev-log.me/everyone_is_an_expert_now/
48.
by wazHFsRy 7mo ago
I think the even worse problem is that by extension now *everyone* sounds like an expert, even if they aren’t. In the past when someone wrote an RFC they would need to study to formulate it well. Now anyone can create content sounding like
49.
by wazHFsRy 7mo ago
Sounds familiar, for most of my life I have tried to remove all "friction" from life – applying that engineering mindset to make everything as efficient as possible. Only then I realized that life somehow is about that "frict
50.
by wazHFsRy 7mo ago
Maybe an argument can be made that this definitely holds for some areas of the feature one is building. But in ever task there might be areas where the spec, even less descriptive than code, is enough, because many solutions are just „good
51.
by wazHFsRy 7mo ago
Do you know if there are some resources or examples of this? Especially actual production stuff, not just side projects or proof of concepts?
52.
by wazHFsRy 7mo ago
Is anyone using this approach with lean to ship production code? Writing lean spec as human, implementation and proof by agent? And then shipping lean or exporting to C? Would be great to understand how you are actually using this.
53.
by wazHFsRy 7mo ago
Does that mean your production code is lean? Or do you translate some other language code to lean to verify it?
54.
by wazHFsRy 8mo ago
Couldn’t you just pretend the kill decisions are for a video game?
55.
by wazHFsRy 8mo ago
I mean you get a random game in the authors example :) But in real life you do not want a random game. That's what I mean, you need the great scaffolding + exact requirements. Then the prompt to do the implementation does not matter to
56.
by wazHFsRy 8mo ago
I think this misses something. The output here is something not the thing. Yes the scaffolding is important, but the requirements are even more important. You need crystal clear requirements + great scaffolding and then the implementation b
57.
by wazHFsRy 8mo ago
Absolutely. And you can also always let the agent look back at the plan to check if it is still on track and aligned. One step I added, that works great for me, is letting it write (api-level) tests after planning and before implementation.
58.
I Have Trust Issues with My AI. Canary Comments Help(dev-log.me)
3 points by wazHFsRy 8mo ago|0 comments
59.
AI to stay in Flow – a personal decision on how I chose to (not) use AI(dev-log.me)
2 points by wazHFsRy 8mo ago|0 comments
60.
by wazHFsRy 8mo ago
I think right now a good approach can be using AI everywhere where it helps us in doing the hard work. Not taking the hard work over, but making the task easier in a supporting role. Few things that work really well for me: - AI creating un

More ›