Expanding the possibilities of programming languages with Bosque
Microsoft
Expanding the possibilities of programming languages with Bosque
The Bosque Programming Language project investigates the implications of explicitly designing a program language with the goal of supporting automated reasoning tools. This webinar, led by Principal Engineer Mark Marron, explains the ideas behind this project, the exciting results that are already coming out of the project, and implications ...
May 28, 2020
Bosque de Chapultepec
El Bosque de Chapultepec es un bosque urbano ubicado en la Ciudad de México, Con una superficie de 866 hectáreas, es el parque urbano más grande de América Latina y el cuarto más grande del mundo.#ChapultepecNaturalezaYCultura #CDMX | La Mágica Ciudad de México
1:29
El Bosque de Chapultepec es un bosque urbano ubicado en la Ciudad de México, Con una superficie de 866 hectáreas, es el parque urbano más grande de América Latina y el cuarto más grande del mundo.#ChapultepecNaturalezaYCultura #CDMX | La Mágica Ciudad de México
FacebookLa Mágica Ciudad de México
34.6K views8 months ago
El Bosque de Chapultepec es un bosque urbano ubicado en la Ciudad de México, Con una superficie de 866 hectáreas, es el parque urbano más grande de América Latina y el cuarto más grande del mundo.#ChapultepecNaturalezaYCultura #CDMX | La Mágica Ciudad de México
1:17
El Bosque de Chapultepec es un bosque urbano ubicado en la Ciudad de México, Con una superficie de 866 hectáreas, es el parque urbano más grande de América Latina y el cuarto más grande del mundo.#ChapultepecNaturalezaYCultura #CDMX | La Mágica Ciudad de México
FacebookLa Mágica Ciudad de México
114.7K views8 months ago
El Bosque de Chapultepec es un bosque urbano ubicado en la Ciudad de México, Con una superficie de 866 hectáreas, es el parque urbano más grande de América Latina y el cuarto más grande del mundo.#ChapultepecNaturalezaYCultura #CDMX | La Mágica Ciudad de México
1:11
El Bosque de Chapultepec es un bosque urbano ubicado en la Ciudad de México, Con una superficie de 866 hectáreas, es el parque urbano más grande de América Latina y el cuarto más grande del mundo.#ChapultepecNaturalezaYCultura #CDMX | La Mágica Ciudad de México
FacebookLa Mágica Ciudad de México
75.5K views8 months ago
Top videos
Build Profitable Apps (that actually make money) in 2026
24:01
Build Profitable Apps (that actually make money) in 2026
YouTubeOlly Rosewell
9.6K views1 month ago
Software Profits: How Much Can You REALLY Make? #shorts
0:21
Software Profits: How Much Can You REALLY Make? #shorts
YouTubeThe AfroIntelligence Podcast
32 views3 months ago
We’ve lost the Tech
15:41
We’ve lost the Tech
YouTubeThe PrimeTime
520K views2 weeks ago
Bosque Encantado
El Bosque encantado es tan mágico que no te lo puedes perder 🪄 Desde los más pequeños hasta los adultos de la familia podrán disfrutar de nuestros mágicos personajes. Además contamos con varios espectáculos ideales para compartir en familia, amigos o parejas. Somos uno de los parques temáticos más grandes de Ecuador. Contamos con la mejor ubicación, estamos en el Centro de Baños. Ven a conocernos y vive una experiencia inolvidable. ¡Los esperamos! “Tan mágico que enamora” Contacto: 0967922474 |
0:27
El Bosque encantado es tan mágico que no te lo puedes perder 🪄 Desde los más pequeños hasta los adultos de la familia podrán disfrutar de nuestros mágicos personajes. Además contamos con varios espectáculos ideales para compartir en familia, amigos o parejas. Somos uno de los parques temáticos más grandes de Ecuador. Contamos con la mejor ubicación, estamos en el Centro de Baños. Ven a conocernos y vive una experiencia inolvidable. ¡Los esperamos! “Tan mágico que enamora” Contacto: 0967922474 |
FacebookEl Bosque Encantado
419.5K viewsApr 16, 2022
El bosque encantado, ven conoce está maravilla de la madre naturaleza. | José Lucero
3:04
El bosque encantado, ven conoce está maravilla de la madre naturaleza. | José Lucero
FacebookJosé Lucero
623K viewsJul 1, 2024
El bosque encantado pone el punto de mira en los Montes Universales 🌳 Un territorio salvaje, abrupto y llenos de contrastes. Sus bosques forman uno de los entornos inevitables para amantes de la naturaleza y el turismo activo 😍 📆 Viernes 🕙 21:45 📝 https://www.cartv.es/sala-de-prensa/el-bosque-encantado-pone-el-punto-de-mira-en-los-montes-universales | Aragón TV
0:21
El bosque encantado pone el punto de mira en los Montes Universales 🌳 Un territorio salvaje, abrupto y llenos de contrastes. Sus bosques forman uno de los entornos inevitables para amantes de la naturaleza y el turismo activo 😍 📆 Viernes 🕙 21:45 📝 https://www.cartv.es/sala-de-prensa/el-bosque-encantado-pone-el-punto-de-mira-en-los-montes-universales | Aragón TV
FacebookAragón TV
15.2K viewsJan 25, 2024
Build Profitable Apps (that actually make money) in 2026
24:01
Build Profitable Apps (that actually make money) in 2026
9.6K views1 month ago
YouTubeOlly Rosewell
Software Profits: How Much Can You REALLY Make? #shorts
0:21
Software Profits: How Much Can You REALLY Make? #shorts
32 views3 months ago
YouTubeThe AfroIntelligence Podcast
We’ve lost the Tech
15:41
We’ve lost the Tech
520K views2 weeks ago
YouTubeThe PrimeTime
This is the only AI I want to use
12:50
This is the only AI I want to use
209.9K views2 weeks ago
YouTubeThe PrimeTime
NASA's Artemis II Fueling Test (Official Static Feed)
11:54:56
NASA's Artemis II Fueling Test (Official Static Feed)
293.8K views1 week ago
YouTubeNASA
You don't need a degree for this
0:06
You don't need a degree for this
2K views2 months ago
YouTubeBob Hosek
What’s the best programming language for AI?
32:29
What’s the best programming language for AI?
56.1K views2 weeks ago
YouTubeTheo - t3․gg
0:52
Gregory Hogg on Instagram: "Top 10 Highest Paid (Highest Salary) P…
353.9K views4 months ago
Instagramgreghogg5
2:37
⚠️ Content Warning: This video discusses harassment and offensi…
1.1M views1 month ago
TikTokstraletkd1
Top 10 Ways to Make Money with Coding Today
123.4K views9 months ago
TikTokprogramminglab_2.0
Top Paying Programming Languages in 2023 Revealed
3.7K views10 months ago
TikTokpikacodes
$37k to $125k+ Self-taught Software Engineer
890.5K viewsApr 13, 2020
YouTubeROOTs Technology
how to start a million dollar software business
770 views11 months ago
YouTubeBen Barthel
Why You Shouldn't Start Learning Python First
650.5K viewsOct 7, 2022
TikTokdevslopes
How to turn Coding into a One Person Business In 2026
121.3K viewsDec 17, 2024
YouTubeZaurbek
How to Get RICH from Coding in 2023
67.1K viewsMar 29, 2023
YouTubeInternet Made Coder
Top 10 Highest Paid Programming Languages | Salaries and Rankings
1M viewsMar 3, 2024
TikTokgreghogg5
3:18
Storm Time-lapse - UHD 4K
189.3K viewsMar 26, 2016
YouTubeTim Moxon
10:39
25 Ways To Make MONEY With CODE
499.6K viewsSep 3, 2020
YouTubeKeep On Coding
7:43
Learn Tamil Through English - Lesson 1
1M viewsJan 20, 2012
YouTubebvenkysubbu
5:15
Why Python is the Best Programming Language For Mach…
201.8K viewsAug 30, 2019
YouTubeKrish Naik
9:47
How to Learn to Code and Make $60k+ a Year
2.3M viewsJan 8, 2019
YouTubeProgramming with Mosh
0:10
Erik Cupsa on Instagram: "Some of the best coding languages to mak…
178.7K viewsAug 18, 2024
Instagramswerikcodes
2:44
.NET in 100 Seconds
446.8K views4 weeks ago
YouTubeFireship
4:43:48
C Programming and Memory Management - Full Course
257.2K viewsFeb 4, 2025
YouTubeBoot dev
23:00
MACD + AI Trading: Full Testing Breakdown
129.6K views9 months ago
YouTubeQuantProgram
8:06
How I Build Profitable Apps Solo
41.8K views8 months ago
YouTubeSJCodes
7:42
Favorite Day Trips from Dublin
37.2K viewsApr 14, 2022
YouTubeIreland on a Budget
14:46
Java, Python, PHP, JavaScript, C++, C# ... WHO MAKES MORE MONEY?
64K viewsDec 3, 2018
YouTubeStefan Mischook
See more videos
Static thumbnail place holder