If you're going to insinuate that the author of Bend2 doesn't understand PLs and formal verification, you should do so with some proof an...
If you're going to insinuate that the author of Bend2 doesn't understand PLs and formal verification, you should do so with some proof and not a hot take dunk. I think it's fine to critique the language and the approach without criticizing the author and I hate that this site has become Tech Drama News, like the worst parts of Twitter.
Posted by Karrot_Kream on Sep 18, 2026, 12:41 PM
Tags
Related issues
- I wish there was something that could be done beyond feeling powerless.
- I don’t hate taxes per se but I hate that the government will take tax dollars earmarked for one purpose, which is how they got the tax a...
- I've never thought SF Symbols were beautiful.
- > conservatives don't like being told that their ideas, while legally allowed, are not welcome in polite company As long as there are a ...
- Yeah but this AI music is worse than any AI produced code.
- I wish there was a way I could get educational-only youtube as an adult.
Raise real-world problems, find people facing the same issue, and discuss solutions.2,000 issues0 comments
complaint (Other)
I wish there was something that could be done beyond feeling powerless.
NewI don’t hate taxes per se but I hate that the government will take tax dollars earmarked for one purpose, which is how they got the tax a...
NewI've never thought SF Symbols were beautiful.
New> conservatives don't like being told that their ideas, while legally allowed, are not welcome in polite company As long as there are a ...
NewYeah but this AI music is worse than any AI produced code.
I wish there was a way I could get educational-only youtube as an adult.
people say taste is the differentiator but I hate that because taste is personal, whereas culture is communal taste without curation for...
I've always enjoyed hacking on random projects and AI does that really well.
If you're going to insinuate that the author of Bend2 doesn't understand PLs and formal verification, you should do so with some proof an...
If you're going to insinuate that the author of Bend2 doesn't understand PLs and formal verification, you should do so with some proof and not a hot take dunk. I think it's fine to critique the language and the approach without criticizing the author and I hate that this site has become Tech Drama News, like the worst parts of Twitter.
Comments (0)
No comments yet. Start the discussion.