Ich nutze jetzt seit ca 1 Jahr #LLM|s im Job. Wir können #GPT und #Claude über #GitHub #Copilot verwenden. Mich hat das Gelaber am Anfang ziemlich genervt und es dem Ding auch abgewöhnt. Interessanterweise hat es mehrere Anläufe gebraucht das "You're right" wegzubekommen.Wir arbeiten mit einem System, das inzwischen 30 Jahre alt ist und mehrere Migrationen ohne vernünftiges Refactoring mitgemacht hat.Es gibt viele Dinge die extrem unübersichtlich sind und Copilot wirklich hilfreich ist. 1/
Related
"…and the proof is checked in Lean". ~ Kevin Buzzard. https://xenaproject.wordpress.com/2026/11/12/and-the-proof-is-chec...
"…and the proof is checked in Lean". ~ Kevin Buzzard. https://xenaproject.wordpress.com/2026/11/12/and-the-proof-is-checked-in-lean/ #LeanProver #LeanLang #Math #AI #AI4Math
Transformers didn't come out of nowhere.1958: Rosenblatt's perceptron, the first artificial neuron that could learn.1980...
Transformers didn't come out of nowhere.1958: Rosenblatt's perceptron, the first artificial neuron that could learn.1980s-90s: RNNs read text one word at a time, with memory that f...
Bing allows you to disable AI responses and return to classic search whenever you wish.https://gadgetflux.eu/bing-ti-per...
Bing allows you to disable AI responses and return to classic search whenever you wish.https://gadgetflux.eu/bing-ti-permite-sa-dezactivezi-raspunsurile-ai/#Bing #Microsoft #AI #Ar...