Corona Update — Trump vs. GOP — The Biden Cabinet — Senate Runoffs — China and the Uygurs So it looks as if the US elections are finally decided and although Trump will still use the last days of his presidency to cause maximum harm to the institutions and continues to claim fraudulent elections in order to secure donations from his base, Joe Biden…

Election Aftermath — The Angry Duck — Supreme Court decisions — Poland and Hungary — Brexit So here we are for another instalment of Newz of the World in which we again look at the fallout of the US elections at a stage where finally the president starts accepting the outcome without publicly conceding or changing tone. But we look at the upcoming …

The US election is - kind of - over and we discuss the fallout and the implications The curse is broken and Trump is defeated. At least that's what the numbers are telling us but everybody knows that this won't be the end of the process and we are looking for some weird and probably even entertaining or scary weeks until the new president of the Un…

The Eve of the Election that will define everything So it's election time and Mark and Tim come together for a last view on what might happen in the coming days in terms of the US presidential and the Senate race and how we and what the aftermath might look like. No predictions because in the end we are just as scared as you and have no clue what w…

Trump gets COVID-19 — Mark sent his vote — A look at the polls — The Senate Race — Supreme Court Hearings — Kamala Harris — Workers Party of Korea turns 75 — Armenia-Azerbaijan conflict Nagorno-Karabakh We are getting closer to the the US Presidential and Congress elections and so we are going to look at what Trumps COVID-19 infection might do to t…

Ruth Bader Ginsburg — The US Senate Race — Electoral College — Moria Camp — Covid Situation Here we go again and we continue to look at US policitics primarily. The US is mourning the loss of Supreme Court judge Ruth Bader Ginsburg which was also an icon of the left. And of course the Republicans are now trying to fill the open seat ahead of the el…

State of the West — US elections — Lebanon So we're back! After a super long break of almost four years we decided to continue this podcast in one way or another. Certainly not on a weekly basis but the upcoming US elections are going to be something we want to comment on at least in the coming months to get a grip on what the world is going to fac…

Enguerrand on hacking with mirageOS LINKS: 04:41 Inria 04:43 Ocsigen 05:41 Canopy 06:30 ocaml-git 10:53 L4 10:57 Solo5 11:02 Microkernel 11:48 AWS LambdaBy Tim Pritlove

Hannes on how he discovered mirageOS, his TLS contribution to the project and the motivation to kick off the mirageOS Hacker Retreat in Marrakesh. LINKS: 00:50 Marrakesh 01:03 Priscilla - Queen of the Medina 01:14 Mirleft 02:08 ocaml-tls 05:31 Dylan 05:43 Andreas Bogk 06:01 ICFP Programming Contest 07:07 Coq 09:31 Network Night Vision 10:27 CCC Con…

Joe on the fun with mirageOS and the community. LINKS: 06:45 ocaml-openpgp 06:56 ocaml-nocrypto 10:40 mirage-framebuffer 15:16 Qubes OS 16:01 eye-of-mirage 16:17 opgp 19:06 ocaml-imagelib 22:03 robur 26:57 Irmin 28:48 qubes-mirage-firewall 29:00 qubes-mirage-firewall/user_supplied_rules 29:59 passmenage…

LINKS: 06:02 Solo5 06:19 Unikernels 06:32 Rump Kernel 08:47 Dan Williams 13:06 IPC 13:17 Marshalling 16:04 Ricardo Koller 16:08 IncludeOS 18:12 SeccompBy Tim Pritlove

Thomas on kicking off mirageOS by accident. LINKS: 02:17 Caml 02:20 Caml Light 07:00 XenServer 08:31 Mirage 09:47 OPAM 10:44 HALVM 10:46 Rump Kernel 11:32 Irmin 11:50 XenStore 15:45 irmin-arp 16:17 Mindy Preston 19:10 ocaml-tls 19:57 Solo5 20:57 seL4 21:01 MuenBy Tim Pritlove

Christiano on how to develop a SSH implementation with mirageOS. LINKS: 01:56 Marcelo Tosatti 02:03 OpenBSD 03:10 Scheme 04:08 Anil Madhavapeddy 04:35 Real World OCaml 05:20 MirageOS 06:04 Charrua / A DHCP library in OCaml 06:08 Docker 09:25 SSH 10:43 nocrypto 11:33 Awá SSH library 12:35 Pthreads 20:45 OpenBSD VMM (virtual machine monitor) 21:06 Xe…

Mindy Preston about improving mirageOS by fuzzing code LINKS: 11:21 Fuzzing 11:26 Crowbar 11:28 Stephen Dolan 11:40 Charrua-Core 13:06 AFL (American Fuzzy Lop) 13:09 QuickCheckBy Tim Pritlove

Talking to Gabriel Scherer about the nature of programming and the role of ocaml in particular. LINKS: 00:51 Hannes Mehnert 01:57 Caml 02:08 Caml Light 03:26 ML 03:50 F# 03:58 Haskell 04:42 Prolog 04:42 Declarative programming 05:45 Lisp 05:52 Clojure 07:02 Ruby 10:12 Charrua-Core 11:46 Fuzzing 11:52 Stephen Dolan 11:54 Mindy Preston 12:17 Anil Mad…

Anil Madhavapeddi on his research and how mirageOS came to be. LINKS: 01:15 University of Cambridge - The Computer Laboratory 02:41 Robin Milner 05:08 Light-weight Threads 06:07 XenStore 08:05 Library Operating Systems 09:14 Unikernel 12:48 LifeDB 15:44 Xavier Leroy 15:47 Coq 15:53 CompCert 17:14 Inria 17:21 OCaml Labs 17:33 Thomas Gazagnaire 17:38…

Looking back at the desaster that dressed up as 2016 After ages we have met in Berlin to at least give a few impressions of this crazy year. So we go through a list of countries that made newz this year eventually ending with the USA where we try to find words for something where it seems impossible to find words for. Mark Fonseca Rendeiro (Berlin)…

EU Migration — Iran — China invests in Pakistan — Yemen situation — Ebola aftermath — FM radio on the way out in Norway — Politico.EU Still not on a weekly schedule but steadily improving, that's us: another newz show focuses on the world's events and we have again collected a lot of interesting stories this week. Mark Fonseca Rendeiro (Amsterdam, …

Iran Nuclear Deal — Terror Attacks in Kenya — Nigeria Elections — Germanwings Crash — Indiana RFRA Bill — Yemen Air Strikes — Airbnb in Cuba — Russian Twitterbot Networks — IKEA Shelter Home — Al Ahram Egypt After having summarised the events in the time we couldn't bring you the NEWZ in our last show, today we are back on track, covering the most …

Season 2 starts with a look back at the last half year of world newz So it's been a while and we're sorry to have let you waited so long, dear listeners. But here we are again with season 2 of the Newz of the World. We browse Wikipedia's history records to summarise what has happened since we left you and try to get a grip on what was important, in…

Air Strikes Iraq — Gaza-Israel No Truce — Ukraine Government Advances — International Ebola Emergency — Refugee Crisis — Khmer Rouge Leaders Guilty — GE Acquires Alstom — Bloomberg As the summer sun warms Europe, US air strikes hit northern Iraq. Israel and Gaza continue to be unable to reach a cease fire. In eastern Ukraine all reports indicate th…

MH17 Tragedy — Israel Gaza War — Guantanamo Prison — BRICS Summit — Columbia: Peace Process, Politics, Image Problems This is the first time Newz of the World is inviting a correspondent to the show to get a better look at things. We are welcoming Daniel González from Bogota to join us for the first time to talk about all things Columbia and other …

Reporting from Moscow — Action in Ukraine — Kurdish Army Advances — Israel Gaza Violence — MSF Report — Juncker Becomes Commissioner This week Mark reports from beyond the ring of Moscow. We look at that state of the city, infrastructure, and more. In Eastern Ukraine clashes and an air strike have left governments pointing fingers at each other. Ov…