hey guys โบ๏ธ
Any conversation
Really glad to be using Haskell for work - especially in today's climate with agentic coding.
Our team uses containers to keep our development environment consistent across team members, though, and most agent sandbox approaches want to either offload your work fully to the cloud or they want to sandbox the agent harness process itself.
We're not ready for full cloud based development (yet?) and sandboxing just the agent doesn't work for us when the agent needs to run docker.
Whatโs the difference between a script-kiddy and a real ? Abstraction. You can program your whole life without learning how to meaningfully abstract problems into simpler pieces that TRULY make the problem easier to understand.
Iโm not talking about design patterns or vs . These tools can help. But to really simplify something for others, you need an intellectual empathy that many simply never figure out.
I never have enough time but Iโd love to do a bit more recreational programming with esoterical languages like kitten, , and . AoC and Project Euler are good because they just require an answer but thereโs also loads of simple puzzles online that rely on being able to submit the code in common languages. Iโve been wondering, however, if I could use an LLM to take those problems and create a verification harness for any language I like.




