Místo problémů

Vláďa Sedláček & Jonatan Kolegar
Místo problémů Podcast

Neformální podcast o přemýšlení, řešení problémů, abstrakci a netradičních úhlech pohledu pro všechny, kteří se nespokojí s jednoduchým vnímáním světa.

  1. 28: André Hernández-Espiet - Euclid, employment and education

    10/11/2023

    28: André Hernández-Espiet - Euclid, employment and education

    André Hernández-Espiet formalizes Euclid's Elements in the proof assistant Lean. He will offer some thoughts on: - what principles are essential when coding up geometry in a rigorous way - why is graduate school a scam - which skills and approaches are useful both in academia and the industry - how can early access to education influence your life   Startovač: https://www.startovac.cz/patron/misto-problemu/ FB page: https://www.facebook.com/mistoproblemu Web: https://www.mistoproblemu.cz/   Timestamps: (0:00) introduction (3:49) Lean and getting into it (7:20) axiomatic systems and different geometries (19:33) practical aspects and benefits of using Lean (34:56) Lean communities and communication across fields (47:23) decoupling of math from its applications (55:38) thoughts on grad school and transitioning to the industry (1:05:51) networking and nepotism (1:17:46) impact of math on personal life (1:29:18) growing up in Puerto Rico   Links: - André's formalization of the first book of Euclid's Elements: https://github.com/ah1112/synthetic_euclid_4 - Lean blog post series: https://www.vladasedlacek.cz/en/posts/lean-01-intro - Spherical triangles: https://en.wikipedia.org/wiki/Spherical_trigonometry - The Erdős Institute: https://www.erdosinstitute.org/ - Blog of Alice Silverberg: https://numberlandadventures.blogspot.com/ - 3Blue1Brown: https://www.3blue1brown.com/ - Numberphile: https://www.numberphile.com/ - Project Euler: https://projecteuler.net/ - Cryptohack: https://cryptohack.org/ - Better explained: https://betterexplained.com/ - Brilliant: https://brilliant.org/ - Khan Academy: https://www.khanacademy.org/

    1h 50m
  2. 27: Ian Jauslin - crystals, complications, and curiosity

    14/09/2023

    27: Ian Jauslin - crystals, complications, and curiosity

    With mathematical physicist Ian Jauslin, we explore both scientific and personal topics, including: - whether our universe could be nonlocal - why not to put people and concepts into boxes - what can math look like when approached organically - how to constantly keep learning   Startovač: https://www.startovac.cz/patron/misto-problemu/ FB page: https://www.facebook.com/mistoproblemu Web: https://www.mistoproblemu.cz/   Timestamps: (00:00) introduction (02:46) bosons and superfluidity (05:46) crystallization (17:30) math/physics interplay (20:48) Bell's inequality (34:12) consequences of nonlocality (39:04) quantum cryptography (45:12) putting people and concepts in boxes (52:52) Bourbaki vs. organic education (1:01:28) applicability and approach to research (1:06:53) outreach (1:16:30) curiosity (1:21:25) efficiency, vim, and keyboard layouts (1:30:07) failures in research, time management (1:37:24) easy life and definition of success (1:41:40) problem-solving strategies (1:45:52) a final plea   Links: - Ian's webpage: http://ian.jauslin.org/ - YouTube channel: https://www.youtube.com/channel/UC5OD3zd3Ds0Syf6s6cYemIw - Einstein-Podolsky-Rosen paper: https://iep.utm.edu/wp-content/media/epr-pdf.pdf - Nicolas Bourbaki: https://en.wikipedia.org/wiki/Nicolas_Bourbaki - Bell's inequality: http://scholarpedia.org/article/Bell%27s_theorem - vim: https://www.vim.org/ - Committee of Concerned Scientists: https://concernedscientists.org/

    1h 48m
  3. 23: Valdemar Švábenský - PhD, pedagogika a příprava

    22/02/2023

    23: Valdemar Švábenský - PhD, pedagogika a příprava

    Učitel a odborník na kyberbezpečnost Valdemar Švábenský nám prozradí: - jak během pěti let publikovat přes osmnáct článků - co jsou kyberbezpečnostní CTF soutěže a kdo se jich může účastnit - jaké to je, rozjíždět vzdělávací video platformu - proč má smysl pracovat na svých učitelských dovednostech   Startovač: https://www.startovac.cz/patron/misto-problemu/ FB stránka: https://www.facebook.com/mistoproblemu Web: https://www.mistoproblemu.cz/   Časové značky: (00:00) úvod (00:54) cesta ke kyberbezpečnosti (06:06) bezpečnostní tipy a CTF soutěže (11:00) výzkum, produktivita a bloky (22:39) výuka, výzvy a interaktivita (29:19) rada mladšímu já a hodnocení školních systémů (33:08) Elea - výuková matematická videa (41:13) řešení osobních problémů skrz cestování (44:31) vzdávání se věcí, inspirace a motivace (47:35) osobní hodnoty a práce na sobě   Odkazy: - Osobní web: https://elea.sk/valdemar/ - Web s matematickými videi: https://elea.sk/ - Web zmíněného labu: https://cybersec.fi.muni.cz/ - Kurz Kyberkompas: https://security.muni.cz/cybercompass - Inspirace, jak si užít univerzitu: https://mitadmissions.org/blogs/entry/50_things/ - Cryptohack - interaktivní výuka kryptografie: https://cryptohack.org/ - TryHackMe: https://tryhackme.com/ - Hacker Test: https://www.hackertest.net/ - Hack The Box: https://www.hackthebox.com/

    55 min

About

Neformální podcast o přemýšlení, řešení problémů, abstrakci a netradičních úhlech pohledu pro všechny, kteří se nespokojí s jednoduchým vnímáním světa.

To listen to explicit episodes, sign in.

Stay up to date with this show

Sign in or sign up to follow shows, save episodes and get the latest updates.

Select a country or region

Africa, Middle East, and India

Asia Pacific

Europe

Latin America and the Caribbean

The United States and Canada