alhazrod
Joined 2 years ago
Karma
177
Submissions
49
Member since
Sep 8
“That is not dead which can eternal lie,
And with strange aeons even death may die.”
View on Hacker NewsRecent submissions
Comment · 5 months ago
The complexity you would come to the rescue to solve, would that be from AI or from the style of programming you let the AI have? I mean, you have very different problems if you use functional style vs object-oriented. It is up to the programmer to realize they want a functional style and request that from the AI, as much as possible. Even AI cannot imagine every state transition, unless it is so smart that it should be the one telling you what to do.
Comment · 5 months ago
Comment · 5 months ago
Hopefully some people find this interesting too:
TLAiBench[0]: A dataset and benchmark suite for evaluating Large Language Models (LLMs) on TLA+ formal specification tasks, featuring logic puzzles and real-world scenarios.
Comment · 5 months ago
What is your opinion on farolero[0]?
Comment · 5 months ago
An Italian man once told me, "Coca-Cola is American champagne." Take it as you will.
Comment · 6 months ago
Wow! That sounds amazing. I know people often compliment the debuggers for Smalltalk (Squeak/Pharo today), Common Lisp (SLIME/Sly) and Clojure (FlowStorm). Could you tell me more about the VB debugger? Are there other amazing debuggers I do not know about?
Comment · 6 months ago
Comment · 6 months ago
Thanks for giving your AI freedom.