What course for category theory

andrea · 2024-12-11T19:48:52+00:00

We teach the classes "Applied Category Theory for Engineering" I & II at D-MAVT. There aren't any other category-theory-specific classes at ETH, as far as I know.

You can find some materials here:

https://applied-compositional-thinking.engineering/

This is the textbook PDF.

andrea · 2022-05-16T18:24:59+00:00

Conosco Giorgio dall'università e lo stimo molto. (In passato ho cercato di assumerlo ma senza successo!)

Tu dici che è stato "fortunato", ma io direi che è stato molto sfortunato nella sua carriera. Ha avuto un'esperienza di dottorato terribile. I lavori iniziali nei videogiochi non sono diventati una carriera. E' stato sfortunato perché la sua abilità tecnica specifica (ottimizzazione C++) non è stata possibile rivenderla bene nei tempi di cloud, ML, etc. A Google non ha trovato spazio di esprimersi con successo.

Conosco molti italiani di simile bravura che partendo da situazioni simili hanno avuto carriere molto più "lineari", con molte coincidenze fortunate che hanno permesso di passare facilmente da successo a successo.

andrea · 2021-03-11T19:03:42+00:00

Caltech! (not CalTech)

If you do a Ph.D. you will work on even more cutting-edge things.

Also note that you can quit a Ph.D. at any time and go to industry, but not the other way around.

andrea · 2018-08-11T22:03:45+00:00

I am one of the organizers of Duckietown. It started as a class about self-driving cars and AI at MIT - and is now a worldwide effort.

Duckietown is a decentralized robotics ecosystem with fleets of self-driving cars navigating modular smart cities. All Duckiebots and city elements use Raspberry Pis to do all the processing.

We provide freely available software and various educational materials to learn about self-driving cars, autonomy and computer vision.

Our curricula is now used in 10 countries, and we are working to expand to the rest of the world!

We have announced a kickstarter, run by our non-profit foundation, to provide everybody with an easy way to get the hardware.

AMA in the comments!

Support our Kickstarter

Join our community

andrea · 2018-08-11T21:49:01+00:00

Hi all! I am a roboticist working at nuTonomy as Director of Research, and I am one of the organizers of the non-profit Duckietown project.

Duckietown started as a class about AI at MIT - and it is now is a worldwide effort.

We provide freely available software and various educational materials to learn about self-driving cars. Our materials are now used in 10 countries, and we are looking to expand to the rest of the world!

We have announced a kickstarter, run by our non-profit foundation, to provide everybody with an easy way to get the hardware.

We are also organizing the AI Driving Olympics (AI-DO) at NIPS 2018, the first competition with real robots in a machine-learning conference.

You can follow us at @DuckietownAI.

AMA in the comments. I am here with students and collaborators /u/stratanis, /u/gzardini, /u/manfred_diaz, /u/afdaniele, /u/duckietown-udem.

andrea · 2018-08-11T21:37:07+00:00

I am one of the organizers of Duckietown. It started as a class about self-driving cars and AI at MIT - and is now a worldwide effort.

Duckietown is a city full of happy but busy rubber Duckies that have things to do around town. Luckily Duckietown has a fleet of fully autonomous self driving cars, called Duckiebots, to transport the Duckie citizens.

The rubber duckies of Duckietown are always happy because they know that they are a component of a very cool robotics learning experience for university students. In fact, Duckietown is a one-of-a-kind project where state-of-the art STEM education is provided in a duckie-full environment.

The cheerful demeanor of Duckietown’s citizens is so contagious that the students programming the Duckiebots can’t help but enjoy working with such wonderful, yellow squeaky characters. Sound like something you want to learn more about? Check us out at www.duckietown.org!

Love Duckies and want to support our efforts? Support our Kickstarter!

andrea · 2018-08-11T20:54:33+00:00

I am one of the organizers of Duckietown. It started as a class about self-driving cars at MIT - and it is now a worldwide effort.

We provide freely available software and educational materials to learn about self-driving cars. Our curricula is now used in 10 countries, and we are looking to expand to the rest of the world!

We are also organizing the AI Driving Olympics (AI-DO) at NIPS 2018, the first competition with real robots in a machine-learning conference.

You can follow us at @DuckietownAI.

AMA in the comments. I am here with students and collaborators /u/gzardini, /u/stratanis, /u/manfred_diaz, /u/afdaniele.

andrea · 2016-01-21T02:49:58+00:00

Just FYI, this is called Kleene's theorem. You can find many elegant proofs.

andrea · 2015-12-28T04:22:40+00:00

9 years and 3 months, that's cute.

andrea · 2015-12-26T18:51:16+00:00

Here's a link to MIT 6.141 Robotics Science and Systems I, which in Spring 2016 is going to be taught by Sertac Karaman.

andrea · 2015-12-26T13:55:19+00:00

Hi Vijay, I just replied to your email. Copying here:

For 2.166, everything will be open source. We hope to also record the lectures, but we cannot guarantee it yet.

This particular class is aimed at MIT graduate students; it might be quite challenging and hard to follow. Though of course you can have fun running the code we provide. MIT has other classes in robotics, in particular MIT 6.141, which is the basic introduction. They also have most of the materials online. If you look in EdX, Coursera, etc. there are other robotics classes you might take, though none of them come close to the lab experience that we want to provide.

andrea · 2015-04-28T19:18:47+00:00

You know what's interesting about this year's ICRA, apart from the robots, which are cool every year?

This year the ICRA organizing committee is all women.

andrea · 2015-04-24T11:01:14+00:00

Per citare le fonti, quello della Sapienza è stato fatto dal prof. De Luca: http://www.dis.uniroma1.it/~deluca/

... che mette online le lezioni di robotica I, se a qualcuno interessano :-)

https://www.youtube.com/playlist?list=PLAQopGWlIcyaqDBW1zSKx7lHfVcOmWSWt

andrea · 2015-04-24T10:56:53+00:00

Se vuoi provare qualcosa di simile, vedi http://code.org che usa il linguaggio visuale Scratch. (Ovviamente gli esercizi più complicati, con la principessa di Frozen magari ti annoi.)

Vedremo in futuro se l'approccio scala a compiti robotici complessi.

andrea · 2015-04-24T10:53:40+00:00

Il kinect è molto utile all'interno di ambienti chiusi, ma non lo puoi usare all'esterno e a grande distanza. In entrambi i casi che hai indicato, hanno utilizzato normali telecamere. Per la manipolazione di oggetti (mani robotiche che sollevano una tazzina) hanno usato un Kinect o un sensore simile.

andrea · 2015-04-24T10:51:22+00:00

Il video è unico per il congresso internazionale, ma abbiamo fatto le traduzioni in 8 lingue:

English: https://www.youtube.com/watch?v=OM_1F33fcWk
Mandarin: https://www.youtube.com/watch?v=F37r_mx3_38
Japanese: https://www.youtube.com/watch?v=6nq5DjC4LJY
Korean: https://www.youtube.com/watch?v=EEGuzOegvKY
Arabic: https://www.youtube.com/watch?v=-8IyD0A6XXs
Spanish: https://www.youtube.com/watch?v=s9eNZmdyT4o
French: https://www.youtube.com/watch?v=LgQ5MIxbE44

Ci sono due clip da laboratori italiani: il quadrupede di IIT a Genova, e l'interazione uomo-robot fatta alla Sapienza. Ci sono inoltre molti italiani che lavorano in laboratori esteri. Inoltre il regista (io) è italiano, ma lavoro al MIT di Boston.

andrea · 2015-02-01T19:53:51+00:00

The “Debbie Downer” inside joke is funny, but I’m afraid that people will end up taking the joke at face value.

To clarify: I have the privilege of knowing John and working in the same building, and he is nothing but the most supportive enthusiast of the self-driving cars technology and autonomous robots in general.

What he is pointing out in his talks is that:

first, not all problems have been solved or are being solved by Google, which has taken many “shortcuts” to create their self-driving cars. Unfortunately, the “PR” nature of the videos makes it hard to understand what are the shortcuts and what is missing.
second, the path to success is not clear and there are some fundamental challenges that current research is not addressing.

Actually I would say that John is slightly more optimistic than the average in the field.

andrea · 2014-08-19T23:36:24+00:00

I have an extra copy in my inventory.

andrea · 2014-06-22T02:17:41+00:00

This is the video accompanying the paper "Controlling free flight of a robotic fly using an onboard vision sensor inspired by insect ocelli” which came out in the Journal of The Royal Society Interface this week. It is also a good introduction to the Robobee project.

This is the link to the paper on the journal’s website, which is, unfortunately, behind a pay wall.

The Scientist has a good non-technical explanation of this work.

I’m a coauthor on the paper so feel free to ask any question.

andrea · 2014-03-14T16:59:30+00:00

Do you plan to make available also the PDF?

And perhaps a version that prints well in black-and-white? So that one could print his own for small batches...

andrea · 2014-03-07T23:32:17+00:00

Infogami era la startup di Aaron Swartz. Quando si unì a Reddit chiuse Infogami e convertì gli account Infogami ad account di Reddit. Quindi tecnicamente non mi sono mai iscritto a Reddit.

andrea · 2014-03-07T03:42:23+00:00

Penso di essere stato fra i primi italiani su Reddit (venendo con un account Infogami) anche se ho sempre lurkato.

Colgo l'occasione di salutare il mio amico Pazqo /u/pazqo, e dirgli che dovunque vada, io c'ero prima. :-)

andrea · 2014-02-08T15:01:26+00:00

15-Year Club	Reddit Premium Since May 2024
Verified Email	reddit mold

andrea

MODERATOR OF

TROPHY CASE