Viewing profile — alhazrod

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 us…

https://archive.ph/fFWSn

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, featuri…

What is your opinion on farolero[0]? [0]: https://github.com/IGJoshua/farolero

An Italian man once told me, "Coca-Cola is American champagne." Take it as you will.

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 a…

https://archive.ph/XQQHf

Thanks for giving your AI freedom.

I remember before Little Snitch there was ZoneAlarm for Windows[0] (here is a good screenshot[1]). No clue if the current version of ZoneAlarm does anything like that (have not use…

Please someone, send grey goo to Mercury.

It seems to be using 'v86' by copy. [0]: https://github.com/copy/v86

Here[0] is the chart they made from scraping Indeed. [0]: https://www.citadelsecurities.com/wp-content/uploads/sites/2...

I wish Adobe had open sourced Flash - it really was a pretty amazing tool. They could have owned the proprietary developer tool market to support themselves...