Shows
FantasyGuiden242. Differentials | 8 lågt ägda spelareVi resonerar kring differentials tidigt på säsongen. Hur ska man tänka kring att välja lågt ägda spelare? Vi lyfter sedan 8 lågt ägda spelare som vi tycker ser spännande ut.2025-03-2430 min
Thiago Nishida PodcastO que 36 anos de massoterapia te ensina: Live com Agda Bianco Nessa live com a Agda Bianco conversamos sobre a massoterapia, massagem thai e muito mais. Bate papo com a Aline Sampaio e Agda. 2024-11-271h 00
Rádio BotecoNaná Sodré & AgdaDepois de uma pausa, a Rádio Boteco está de volta para fechar o mês das mulheres com chave de ouro. Nesta edição, a conversa é com duas artistas pra lá de arretadas... Do Agreste, Agda traz a doçura poética de suas músicas e palavras. E Naná Sodré, atriz, pesquisadora, fundadora do grupo O Poste, povoa a conversa com suas personas - com ancestrais de terras diversas mas, sobretudo, da África e do Brasil.
Ah! Fiquem ligad@s porque, a partir de agora a Rádio Boteco é mensal: sempre nas últimas quintas de cada mês. E não...2024-03-2853 min
Farmer's Inside TrackLeona Archary and Agda’s approach to agricultural developmentIn this episode, Leona Archary, the CEO of the Agricultural Development Agency (Agda), shares the primary models used to bolster agricultural development, shedding light on innovative approaches transforming the sector. Archary elaborates on Agda's unique approach to area-based farmer development, and discusses how they identify target areas and effectively engage with local farmers to ensure sustainable growth and community involvement. She also delves into the intricacies of commercial transactions within the sector, successful collaborations and partnerships, and her heartfelt wish for agricultural development in South Africa.2024-03-1220 min
softinioSF Haskell: You got Agda in my Haskell? By Ryan OrendorffYou got Agda in my Haskell? By Ryan Orendorff
One of your coworkers seems to write the most amazing Haskell code. It never breaks and it always fits the requirements precisely. You’ve never seen your coworker put in a bug fix for their code ever. One day you decide to ask them how they obtained these inhuman powers. With a huge grin on their face, they say “why that’s because I wrote all my provably correct code in Agda!”
In this talk, we will talk about a new tool called agda2hs which allows p...2023-02-1200 min
AssovioAssovio T06 E23 a | "Dália", de Agda SouzaHoje, temporada 06, episódio 23, lado a: "Dália", de Agda Souza
Autoria do texto: Agda Souza (Twitter: @goiabagda)
Narração, adaptação, vinheta e edição de áudio: Ariel Ayres (Twitter: @TritaoDasTreta | IG: @arielayres)
Assine a Faísca em eepurl.com/ghH89v
Siga a Mafagafo (Twitter: @mafagaforevista | IG: @mafagaforevista) e a Faísca (Twitter: @faiscamafagafo) nas redes sociais.
Ajude a financiar este projeto e faça parte do nosso Clube de Escrita pelo link: catarse.me/mafagafo
mafagaforevista.com.br2022-12-0503 min
Type Theory Forall#16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx
In this episode we interview Jesper Cockx, one of the core developers on Agda.
We talk about the philosophy behind Agda, his work on pattern matching, the
Uniqueness of Identity of Proofs, UIP for short, and why it is inconsistent
with Homotopy Type Theory.
Links
Jesper's Website
Jesper's Twitter: @agdakx
Jesper's PhD Thesis
Rewrite Theory paper
Pattern matching without K paper (Check his website for more)
EuroProofNet
WITS Talks on Youtube (Workshop on the Implementation of Type Systems)
Agda Zulip
Agda Mailing List
Ataca Github
Wadler's book on Agda
Stump's book on Agda
2022-04-021h 35
Multitalk PodcastProcessos de IMIGRAÇÃO | EUA - CANADÁ | AGDA BARIANI | MultiTalk Podcast #05A conversa é com a consultora imigratória e consular, e nossa parceira de canal, Agda Bariani. O assunto: “Cuidados nos Processos imigratórios”. Aproveite que vc precisa procurar as tampas certas dos tupperwares que você tem no armário, prepare seus fones de ouvido, cola aí com a gente no rolê! Instagram Agda Bariani - @bariani.agda | Andrey Rocha - @an_drey_br | Mundo Afora Stories Club - @mundoaforasc Youtube Agda Bariani https://www.youtube.com/channel/UC1W-PJvvSqIVnjtx1KVRZ8Q/featured Link para Site: https://www.barianiconsultoria.com/ Não deixem de nos segu...2021-07-1634 min
Agda De Jesus Rocha Silva's podcastAgda de Jesus Rocha SilvaPodcast para Avaliação parcial da disciplina de Diagnóstico de tecido mole.Com tema: Leucoplasia2021-05-1805 min
FuturaDraAgdaDengueInfectologia-Arbovirose2021-04-2716 minFuturaDraAgdaHanseniaseInfecto2021-04-0318 min
Rádio da Costureira83 - Costureira empreendedora na prática com Agda YosanA nossa Rádio da Costureira é recheada de assuntos que interessam que costura, modela, desenha e apaixonado pelo universo da moda sob medida!
Neste episódio você vai aprender dicas de empreendedorismo e marketing para conseguir se posicionar como uma profissional no mercado.
A nossa convidada é super entendida deste assunto! A costureira e artesã Agda Yosan é especialista em estratégias de empreendedorismo e posicionamento para artesãs e costureiras.
Dá o play!
🔊 Você também pode mandar sua mensagem de voz para nós no WhatsApp (45) 99113-8294 contando o que você mais gostou de aprender, qual o seu episódio preferido e claro, o...2021-03-251h 05FuturaDraAgdaPrenatalObstetrícia2021-03-1917 min
ÚnicaSerie 2 / Episódio 7 - Empreendedorismo criativo com Agda YosanNeste episódio conversamos sobre empreendedorismo materno, suporte familiar, trabalho com amor e muito mais com esta mulher inspiradora, a Agda Yosan.
A Agda também é mãe, tem 3 meninas lindas, inspira e educa mulheres a se destacarem e encontrarem seu espaço com criatividade no ramo de artesanato.
Bora conferir?2021-03-0948 minFuturaDraAgdaPed- asmaAsma2021-02-2215 minFuturaDraAgdaAleitamento maternoPed2021-01-2732 minFuturaDraAgdaTriagem neonatalTeste do coraçãozinho, do pezinho, do olhinho, da orelhinha e da linguinha2021-01-2622 minFuturaDraAgdaReanimação neonatalPed Sala de parto2021-01-2513 minFuturaDraAgdaIctérica neonatalPed2021-01-2327 min
FuturaDraAgdaPed-Crescimento na infânciaCrescimento2021-01-1714 min
FuturaDraAgdaPed-Exame do RNPed2021-01-1741 min
FuturaDraAgdaPed- hepatite b congênitaInfecções congênitas2021-01-1604 min
FuturaDraAgdaPed-Varicela congênitaInfecção congênita2021-01-1607 min
FuturaDraAgdaZika congênitoInfecções congênitas2021-01-1603 min
FuturaDraAgdaPed- Herpes congênitoInfecções congênitas - Herpes congênito2021-01-1605 min
FuturaDraAgdaCMV congenitoCmv congênito2021-01-1605 min
FuturaDraAgdaRubéola congênitaRubéola2021-01-1604 min
Agda De Jesus Rocha Silva's podcastPrótese Fixa II - Avaliação FinalPodcast para avaliação de Exame Final da disciplina Prótese Fixa II2020-07-0703 min
Agda De Jesus Rocha Silva's podcastPrótese Removível-Avaliação de Exame FinalPodcast para apresentação e avaliação de Exame final da disciplina de Removível II2020-07-0304 min
Agda De Jesus Rocha Silva's podcastTeste 1PPR- Agda De Jesus Rocha Silva's podcast2020-07-0305 min
how to Be global#10 Listen, Learn & Amplify 🖤 with Agda & Lara from Brazil 🇧🇷In today's episode, I'm talking to two incredible ladies from Brazil. Please meet Agda and Lara.
"I'm Agda Mesquita, a 21 years old black woman born, raised and based at Piauí, northeast of Brazil. I am at medical school and I take part at the NegreX Collective."
"My name is Lara Campos and I’m 17 years old. I am a high school student and also a musician, CEO of two startups and youtuber. I had already represented Brazil internationally twice and my goal is to democratize access to quality education and opportunities for black youth in Bra...2020-06-1326 min
Agda De Jesus Rocha Silva's podcastAvaliação parcial-Oclusão, DTM e Dor Orofacial2020-05-2004 min
Agda De Jesus Rocha Silva's podcastAvaliação Parcial - PPF2020-05-2003 min
contos da quarentena9. Agda, Hilda HilstConto “Agda” do livro “Ficções” de Hilda Hilst (Edições Quíron Limitada, 1977. Publicado originalmente em “Qadós”, Edart, 1973).2020-05-1829 min
Agda De Jesus Rocha Silva's podcastPrótese Parcial RemovívelPodcast destinado a Avaliação Parcial da disciplina de Prótese Removível2020-05-1704 min
Instituto Agda BiancoHo'ponopono #39#392019-08-1505 minInstituto Agda BiancoHo'ponopono #38#382019-08-1503 minInstituto Agda BiancoHo'ponopono #37#372019-08-1506 minInstituto Agda BiancoHo'ponopono #36#362019-08-1504 minInstituto Agda BiancoHo'ponopono #35#352019-08-1506 minInstituto Agda BiancoHo'ponopono #34#342019-08-1507 minInstituto Agda BiancoHo'ponopono #33
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-08-0307 minInstituto Agda BiancoHo'ponopono #32
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-08-0306 minInstituto Agda BiancoHo'ponopono #31
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-08-0305 minInstituto Agda BiancoHo'ponopono #30
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-08-0306 minInstituto Agda BiancoHo'ponopono #29
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-08-0305 minInstituto Agda BiancoHo'ponopono #28
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-08-0311 minInstituto Agda BiancoHo'ponopono #27
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-08-0308 minInstituto Agda BiancoHo'ponopono #25
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-08-0308 minInstituto Agda BiancoHo'ponopono #24
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-08-0309 minInstituto Agda BiancoHo'ponopono #23
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-08-0305 minInstituto Agda BiancoHo'ponopono #22
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-08-0310 minInstituto Agda BiancoHo'ponopono #21
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-08-0310 minInstituto Agda BiancoHo'ponopono #20
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-2006 minInstituto Agda BiancoHo'ponopono #19
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-2005 minInstituto Agda BiancoHo'ponopono #18
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-2008 minInstituto Agda BiancoHo'ponopono #17
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-2006 minInstituto Agda BiancoHo'ponopono #16
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-1608 minInstituto Agda BiancoHo'ponopono #15
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-1605 minInstituto Agda BiancoHo'ponopono #14
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-1607 minInstituto Agda BiancoHo'ponopono #13
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-1609 minInstituto Agda BiancoHo'ponopono #12
O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-1606 minInstituto Agda BiancoHo'ponopono #11Ho'ponopono2019-07-1109 minInstituto Agda BiancoHo'ponopono #10O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-1006 minInstituto Agda BiancoHo'ponopono #9O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-0906 minInstituto Agda BiancoHo'ponopono #8O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-0907 minInstituto Agda BiancoHo'ponopono #7 - parte 2O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-0906 minInstituto Agda BiancoHo'ponopono #7 - parte 1O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-0909 minInstituto Agda BiancoHo'ponopono #6 - parte 2O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-0906 minInstituto Agda BiancoHo'ponopono #6 - parte 1O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-0903 minInstituto Agda BiancoHo'ponopono #5O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-0910 minInstituto Agda BiancoHo'ponopono #4O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-0907 minInstituto Agda BiancoHo'ponopono #3O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-0907 minInstituto Agda BiancoHo'ponopono #2O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você.
E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-0906 minInstituto Agda BiancoHo'ponopono #1O Ho'ponopono nos convida há uma mudança de vida onde você assume a responsabilidade, sobretudo, que acontece com você. E quando assumimos responsabilidades, o ho'ponopono nos auxilia na mudança.2019-07-0907 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #21Palavras para você se energizar!2019-05-1510 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #20Palavras para você se energizar.2019-05-1408 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #19Palavras para recarregar suas energias!2019-05-1309 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #18Palavras positivas para você se energizar!2019-05-1211 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #17A cura para o planeta é o amor!2019-05-1114 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #16 Palavras para você se energizar! 2019-05-1007 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #15Palavras para você se energizar! 2019-05-1007 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #14Palavras para você se energizar!2019-05-0809 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #13Coloque um timer de 5 minutos e tente ficar com os olhos fechados, sem se mexer. Apenas sinta!2019-05-0703 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #12Palavras para você se energizar!2019-05-0707 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #11Palavras para você se energizar!2019-05-0509 minInstituto Agda BiancoMeditação da Atenção Plena #10Palavras positivas para se energizar!2019-05-0410 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #9Palavras Positivas para você se energizar! 2019-05-0308 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #8Palavras positivas para você se recarregar!2019-05-0209 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #7Palavras positivas de energia!2019-05-0111 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #6Palavras positivas para você se energizar. 2019-04-3008 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #5Olá, vamos ressignificar toxinas? #52019-04-2912 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #4Palavras positivas para você recarregar suas energias!2019-04-2811 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #3Palavras positivas! #32019-04-2706 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #2 Palavras positivas para você se recarregar! #22019-04-2610 minInstituto Agda BiancoMeditação da Atenção Plena Mindfullness #1Palavras positivas para você se recarregar! #12019-04-2508 min
Never Not CreativeAGDA and staying relevant for the design communityIn the second part of our chat with Nic Eldridge, CEO of AGDA, we focus on the future. What are the challenges facing AGDA as we enter 2019? How will AGDA remain relevant?
Nic also adds some clarity on who AGDA is, who it's for and what it isn't!
This is our last episode of the year. Please rate or review us, share with your friends etc etc. That would be a nice little Xmas gift and take no time at all!
Have a great holiday and we'll see you in a month or so.2018-12-2036 minNever Not CreativeThe great debate around awards and AGDAAs we move into the final weeks of the year, we have special guest, Nic Eldridge. Nic's the CEO of AGDA (the Australian Graphic Design Association) and a major voice in the design industry.
In this first part of 2, we talk about the recent AGDA awards, the role of a jury, how to pick one, and how work wins awards.
If you like the podcast, please give us a rating on your podcast platform of choice and share with friends and colleagues... it would be greatly appreciated!2018-12-1833 min
Chaos Computer Club - archive feed (high quality)BREACH in Agda (30c3)Software engineering is in a unsustainable state: software is mainly developed in a trial and error fashion, which always leads to vulnerable systems. Several decades ago the correspondence between logics and programming (Curry-Howard) was found. This correspondence is now being used in modern programming languages using dependent types, such as Agda, Coq, and Idris.
In this talk I show our development of attacks and security notions within Agda, using the recent BREACH exploit as an example. Our development is a constructive step towards verified software and bridges a gap between theory and practice.
I will explain the details about the...2013-12-2849 min
Chaos Computer Club - 30C3 (mp3)BREACH in Agda (30c3)Software engineering is in a unsustainable state: software is mainly developed in a trial and error fashion, which always leads to vulnerable systems. Several decades ago the correspondence between logics and programming (Curry-Howard) was found. This correspondence is now being used in modern programming languages using dependent types, such as Agda, Coq, and Idris.
In this talk I show our development of attacks and security notions within Agda, using the recent BREACH exploit as an example. Our development is a constructive step towards verified software and bridges a gap between theory and practice.
I will explain the details about the...2013-12-2840 min