Manche Käufe im Bitcoin Space wirken viel zu simpel, allerdings ist das Wissen, welches man braucht, um das offensichtlich zu finden, vielleicht 0,1% der Welt bekannt. Bin unschlüssig
wtf is this shit, goal over night was paused half way because of this garbage and didn't fucking bother to continue with another try or model @thsottiaux
Eine nützliche MacOS Software ist vollgeballert mit Werbung, also hab ich sie einfach werbefrei nachgebaut.
Wir leben in goldenen Zeiten (bitcoinigen Zeiten?)
Ich find Immobilien richtig spannend und würde mich gerne reinfuchsen und auch ein Portfolio aufbauen aber wenn ich nur kurz an die Nachteile denke, wird mir komplett schlecht 🤢
Wenn jemand wissen will, wie sich mein ADHS Gehirn anfühlt, muss einfach nur auf die Landingpage von @higgsfield_ai gehen
Wow, echt viele Leute. Ich finde aber viele der Use Cases könnte auch ein einziges normales LLM abbilden, dafür braucht man keinen "personal agent" wie Grok Bot. Wäre trotzdem cool sich auszutauschen, wie könnte man eine Grok Bot Community aufbauen?
Got Bitcoin?
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…













