Dnext

Karthikeyan A K 🐧

June 15, 2024 3:31am

Learn Clojure – Apply

https://youtu.be/annjnmc3IN0

#Clojure #Programming #Software #Computers #Lean #Tutorial

Spektrum (inoffiziell)

January 17, 2024 4:33pm

Bislang scheiterten Computer daran, komplizierte mathematische Aussagen zu beweisen. Doch nun gelang es der KI AlphaGeometry, dutzende Aufgaben der Mathematik-Olympiade zu lösen.#KI #KünstlicheIntelligenz #Mathematik-Olympiade #IMO #InternationaleMathematik-Olympiade #Geometrie #AlphaGeometry #LLM #LargeLanguageModel #GPT #Mathematik #Schule #Beweisassistent #Lean #ITTech
Eine KI könnte die Mathematik-Olympiade gewinnen

Künstliche Intelligenz: Eine KI könnte die Mathematik-Olympiade gewinnen

Die KI AlphaGeometry kann Probleme der höheren Mathematik lösen

Hackaday (unofficial)

August 12, 2021 12:00pm

Minimum Viable Quad Build Shows What Starting from Nothing Can Accomplish

#dronehacks #iterativedesign #lean #minimumviableproduct #mvp #quad #uav #hackaday
posted by pod_feeder_v2

Minimum Viable Quad Build Shows What Starting From Nothing Can Accomplish

While it’s great to be experienced and have a ton of specialist knowledge needed to solve a problem, there’s something liberating about coming at things from a position of ignorance. St…

0 Persons are tagged with #lean

#lean

Minimum Viable Quad Build Shows What Starting from Nothing Can Accomplish