‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard When it comes to hard problems, computer scientists seem to be stuck. Consider, for example, the notorious problem of finding the shortest round-trip route that passes through every city on a map exactly...

‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard #Science #Mathematics hashtag 1: #ReverseMathematics 2: #HardProblems 3: #MathematicalLogic

Hallo. Kannst Du mir ein Programm für 2+2 schreiben? allenai/olmo-3-32b-think Thought for 2.32 seconds Okay, let's get started: Model failed to generate a tool call Cannot find tool with name get_weather. { "name": "get_weather", "arguments": {"location":"Berlin, Germany"} } Thought for 2.70 seconds Okay, the user said "Hallo" which is German for "Hello". I need to use a tool to check the weather in the current directory. The code needs to have read/write access to the current working directory.

new #vibe_coding fun, part 1

CPS CPS, or the Content Publishing System, is a radical way o...

Just when you thought “Gee, haven’t seen @merlinofchaos recently”, he creates https://www.drupal.org/project/cps Still tackling #hardproblems I see. :)