#rubberducking — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #rubberducking, aggregated by home.social.
-
While I am still very sceptical of #LLM #Chatbots, I must confess that I use ChatGPT (the free version) more and more.
My main use cases are as a search engine for #Lean4 functions (because there is no real #Hoogle alternative for Lean yet), and to bounce ideas during #RubberDucking.
My bets are still on LLMs being a dead-end in the search for AGI, but I no longer consider them only a useless software toy.
-
While I am still very sceptical of #LLM #Chatbots, I must confess that I use ChatGPT (the free version) more and more.
My main use cases are as a search engine for #Lean4 functions (because there is no real #Hoogle alternative for Lean yet), and to bounce ideas during #RubberDucking.
My bets are still on LLMs being a dead-end in the search for AGI, but I no longer consider them only a useless software toy.
-
While I am still very sceptical of #LLM #Chatbots, I must confess that I use ChatGPT (the free version) more and more.
My main use cases are as a search engine for #Lean4 functions (because there is no real #Hoogle alternative for Lean yet), and to bounce ideas during #RubberDucking.
My bets are still on LLMs being a dead-end in the search for AGI, but I no longer consider them only a useless software toy.
-
While I am still very sceptical of #LLM #Chatbots, I must confess that I use ChatGPT (the free version) more and more.
My main use cases are as a search engine for #Lean4 functions (because there is no real #Hoogle alternative for Lean yet), and to bounce ideas during #RubberDucking.
My bets are still on LLMs being a dead-end in the search for AGI, but I no longer consider them only a useless software toy.
-
While I am still very sceptical of #LLM #Chatbots, I must confess that I use ChatGPT (the free version) more and more.
My main use cases are as a search engine for #Lean4 functions (because there is no real #Hoogle alternative for Lean yet), and to bounce ideas during #RubberDucking.
My bets are still on LLMs being a dead-end in the search for AGI, but I no longer consider them only a useless software toy.
-
In #Bärland ist @idealistik ziemlich gut umsorgt:
Pöttke rubberduckt,
ich rubberhorne
und Elfi lernt gerade rubberrüsseln!Hobbes gehört natürlich auch zum #SupportTeam im #ArbeitszimmerVonBärland.
Der passt auf. -
Beeindruckt zu sein, wird bei uns, soweit ich das wahrnehme, gar nicht eingesetzt beim #RubberDucking. Eher Mitfreuen, Anteilnahme, Aufmerksamkeit und eben Zuversichtlichkeit. #AllesWirdGut
Pöttke und @carola1horn sind zumeist auch zu dritt, aber was Hobbes macht, wird #Aufpassen genannt. Und das macht er nicht nur, wenn wir am Rechner sind.