omega tau - German only

omega tau - German only

By Markus Voelter, Nora LudewigScienceNatural Sciences
Download on the App Store

omega tau - German only episodes

  • 268 – Tierökologie
    Zur Abwechslung geht es wieder einmal um Tiere, genauer gesagt um die Ökologie von Tieren. Joanna Fietz von der Universität Hohenheim forscht auf diesem Gebiet und beschäftigt sich dabei insbesondere mit Bilchen, einer Tierfamilie, zu der auch der Siebenschläfer gehört. Im Gespräch geht es daher viel um die Eigenschaften und das Verhalten von Siebenschläfern. Der Winterschlaf gehört essentiell zur Anpassungsstrategie dieser Tiere und wird deshalb besonders beleuchtet.
    1 hr 33 min
  • 265 - Ethereum und Solidity

    Gast: Christian Reitwiessner    Host: Markus Völter    Shownoter: Jochen Spalding

    Nach der Einführung in Blockchains und Smart Contracts in der letzten Episode betrachten wir nun eine konkrete Blockchain-Technologie im Detail: Ethereum, sowie die darauf meistgenutze Programmiersprache Solidity. Unser Gast ist Christian Reitwiessner, der Lead Developer von Solidity. Wir besprechen die Grundlagen von Ethereum, wie die Blockvalidierung funktioniert, die Ethereum Virtual Machine und Gas, die Grundlagen von Solidity, einige Ideen wie sich Solidity weiterentwickeln könnte, sowie alternative Sprachen wie bspw. Viper. Wir betrachten auch einige der Exploits und diskutieren, was man daraus lernen kann bzw. gelernt hat.

    Thematisch verwandte Episoden als Hintergrund:

    • Blockchains und Smart Contracts
    • Specification and Proof
    • (Domänenspezifische) Programmiersprachen
    • Vorstellung des Gastes Christian Reitwießner 00:01:48

      Dr. Christian Reitwießner | Dr. Christian Reitwießner auf Twitter | Julius-Maximilians-Universität Würzburg | P-NP-Problem | Ethereum | Dezentrale P2P Netzwerke | Turing-Vollständigkeit | Solidity | Ethereum Project | Ethereum Foundation | Vitalik Buterin | 2014 Token sale Ethereum | ICO

      Wie Funktioniert Ethereum? 00:06:08

      Ether | Bitcoin | Nick Szabo | Atomare Operation | Ethereum Virtual Machine | WebAssembly | Merkle Tree | Key Value Store | Gas | Block Gas Limit | Multisig | General Purpose Language | Special Purpose Language (DSL)

      Solidity 00:39:07

      Statische Typisierung | For-Schleife | While-Schleife | Zuweisung | Type conversion | Singleton | TX Origin & MSG Sender | COMEFROM Statement | SHA256 | Require & Assert | Automatisierte/formale Verifikation | Z3 | Arithmetischer Überlauf | OP code | OP Codes im Ethereum Netzwerk | Bytecode | Composite pattern | CBMC | Coq | Lem-Ethereum | Lem | IDE | Unit Testing | Testnets im Ethereum Netzwerk | Von-Neumann-Architektur | CALL, CALLCODE and DELEGATECALL | Serpent

      The Exploits 01:18:35

      Ethereum Hack | The DAO | The DAO Hack | Reentrancy Attack

      Welche weiteren Sprachen gibt es / sind in Arbeit? 01:36:44

      Viper | Bamboo | Babbage | LabVIEW | The incredible Machine

      Skalierbarkeit 01:50:21

      POW (Proof of Work) | POS (Proof of Stake) | Consensus finding | Sybil-Attacke | Fork | Casper | Sharding | Raiden | Lightning (Bitcoin) | Nonce | Swarm Distributed Storage

      2 hr 21 min
    • 265 – Ethereum und Solidity
      Nach der Einführung in Blockchains und Smart Contracts in der letzten Episode betrachten wir nun eine konkrete Blockchain-Technologie im Detail: Ethereum, sowie die darauf meistgenutze Programmiersprache Solidity. Unser Gast ist Christian Reitwiessner, der Lead Developer von Solidity. Wir besprechen die Grundlagen von Ethereum, wie die Blockvalidierung funktioniert, die Ethereum Virtual Machine und Gas, die Grundlagen von Solidity, einige Ideen wie sich Solidity weiterentwickeln könnte, sowie alternative Sprachen wie bspw. Viper. Wir betrachten auch einige der Exploits und diskutieren, was man daraus lernen kann bzw. gelernt hat.
      2 hr 21 min
    • 264 - Blockchains und Smart Contracts

      Gast: Florian Matthes, Uli Gallersdörfer    Host: Markus Völter    Shownoter: Jochen Spalding

      Blockchains und Smart Contracts sind in aller Munde. Sie versprechen verteilte, dezentrale Datenhaltung und zuverlässige Programmausführung. In dieser Episode sprechen wir mit Prof. Dr. Florian Matthes und seinem Masteranden Uli Gallersdörfer über die Grundlagen (teilweise auf Basis von Uli’s Masterarbeit). Zur Sprache kommt das Funktionsprinzip von Blockchains, deren Historische Entwicklung, Einsatzszenarien und Grenzen der Technologie, allgemeine Smart Contracts und deren Abgrenzung zu Kryptowährungen, sowie einige Spezifika zu Ethereum. Details zu Ethereum folgen in der nächsten Episode.

      Vorstellung der Gäste 00:02:20

      Prof. Dr. Florian Matthes | TU München | Software Engineering for Business Information Systems (sebis) | coremedia | Risikokapital (Venture capital) | Ulrich Gallersdörfer | Master's Thesis Ulrich Gallersdörfer

      Definition Blockchain 00:03:24

      Blockchain | Bitcoin | Block | Distributed ledger | Non repudiability | Accountability | Determiniertheit (White Paper von Satoshi Nakamoto - Bitcoin: A Peer-to-Peer Electronic Cash System)

      Technische Buildingblocks 00:16:01

      Hashfunktion | Kollisionssicherheit | File verification | Asymmetrisches Kryptosystem | Genesis Block | P2P Netzwerk | Hash-Baum (Merkle tree) | Block Header | Block Version | Block Validation | Bitcoin Nodes | Vermaschtes Netz (Mesh Netzwerk) | Spieltheorie | Mining | Controlled supply | Proof of Work | Chain fork | Orphaned Blocks | Orphaned Blocks im Bitcoin Netzwerk | Speicherpool (Memory Pool) | Lightweight Node (Simplified Payment Verification) | SHA-2 | Mining Difficulty | Coinbase | Block Halving | Bitcoin Block Reward Halving Countdown | Deflation | Mooresches Gesetz | Field Programmable Gate Array (FPGA) | Anwendungsspezifische integrierte Schaltung (ASIC) | Etherium | Business Model Canvas | Alex Osterwalder | Ponzi scheme | Smart contract | Tim Bernes-Lee | Bitcoin script | Turing-Vollständigkeit (Turing completeness) | Transaktionsgebühren | Momentane Transaktionen nach Gebühren im Bitcoin Netzwerk | Inputs | Unspent Transaction Output (UTXO) | Immutable object | Proof-of-stake | Pruning | Hard Fork | Soft Fork | Alle Nodes im Bitcoin Netzwerk (Mining Farms in China - Bilder (https://www.google.de/search?q=china+mining+farms&client=safari&rls=en&dcr=0&tbm=isch&tbo=u&source=univ&sa=X&ved=0ahUKEwir-PChooTWAhUJ7RQKHVoPC8MQsAQIJw&biw=1460&bih=835))  | Automatisierte/formale Verifikation | Vitalik Buterin | Vitalik Buterin: Ethereum’s “Scalability Sucks” | Selfish mining | 51% Attack (Majority attack) | Return address (From address) | Cipher Block Chaining Mode | Adam Back | Hashcash | Kollisionssicherheit

      Smart Contracts 01:25:33

      Pi-Kalkül | Domänenspezifische Sprache (DSL) | Multisignature | Imperative Programmierung | Closure | Lisp | Scheme | Solidity | Laufzeitumgebung | Ethereum "Gas" | Mainframe computer | Endlicher Automat (State machine) | Aktienbuch | Micropayment | Daniel Suarez (Daniel Suarez - Daemon | Daniel Suarez - Daemon)  | Ethereum Oracles | Testnet | Prof. Dr. Dirk Heckmann | Ransomware | Bitcoin mixer | Modellgetriebene Architektur (Model-driven architecture) | Liquid democracy | Fallrecht (Case law) | The DAO | Maas schlägt digitales Antidiskriminierungsgesetz vor

      Wo Werden Uns Blockchains Enttäuschen? 02:19:39

      Sidechains | RAID | Decentralized & Encrypted | Prof. Dr. Hans Christoph Grigoleit | Stanford online "Bitcoin and Crypto Currencies"

      2 hr 37 min
    • 264 – Blockchains und Smart Contracts
      Blockchains und Smart Contracts sind in aller Munde. Sie versprechen verteilte, dezentrale Datenhaltung und zuverlässige Programmausführung. In dieser Episode sprechen wir mit Prof. Dr. Florian Matthes und seinem Masteranden Uli Gallersdörfer über die Grundlagen (teilweise auf Basis von Uli's Masterarbeit). Zur Sprache kommt das Funktionsprinzip von Blockchains, deren Historische Entwicklung, Einsatzszenarien und Grenzen der Technologie, allgemeine Smart Contracts und deren Abgrenzung zu Kryptowährungen, sowie einige Spezifika zu Ethereum. Details zu Ethereum folgen in der nächsten Episode.
      2 hr 37 min
    • 263 - Mit Lufthansas A380 nach HKG, Teil 2

      Gast: Steffen (und Jörg, Carsten, Andreas)    Host: Markus Völter    Shownoter: Kolja Dummann

      Bitte unbedingt vorher Teil 1 anhören.

      Viele von Euch haben es ja sicher mitbekommen: im April habe ich einen kleinen Ausflug nach Hongkong gemacht: ich habe unseren Hörer Steffen, der beruflich bei Lufthansa auf dem linken Sitz des A380 arbeitet, auf einem Umlauf begleitet. Wie auch schon die Episode mit der MD-11F und die mit dem A320 ist diese Episode eine Mischung aus Interviews und Aufzeichnung der Besatzung bei der Arbeit. Auch wenn es sicher Überlappungen mit den erwähnten Episoden gibt, haben wir versucht, vor allem Dinge zu besprechen die in den anderen Episoden nicht zur Sprache kamen.

      Wegen Überlänge ist die Episode zweiteilig; dieser zweite Teil enthält Interviews die wir in Hongkong aufgezeichnet haben, sowie den Rückflug und dessen Vorbereitung.

      Steffen hat ausdrücklich angeboten dass Ihr ihn gerne auf Twitter ansprechen könnt wenn ihr Fragen habt. Er wird auch auf Fragen auf der Seite hier antworten.

      Gespräch in Hongkong - Umschulung 00:01:12

      Victoria Peak (Hongkong) | Anflug Hongkong | Checkerboard Hongkong | Canarsie Approach | Airbus Website Reichweite | Flugdienstzeit (TCAS - Traffic Alert and Collision Avoidance System)  | Fly-by-Wire im A320

      Gespräch in Hongkong - Briefing/Flugplanung 00:52:52

      LIDO System

      Vorbereitung Departure Hongkong 02:05:45

      Departure Hongkong 02:28:40

      Gespräch Systeme 02:42:34

      Boeing 737-200 (ISA - Normatmosphäre)  | A380 Wing View during Touch & Go | Totaltemperatur | Antonow An-225 | Antonov 225 Start in Hamburg

      Anflug und Landung Frankfurt 03:28:17

      Danke und Verabschiedung 03:40:30

      3 hr 45 min
    • 263 – Mit Lufthansas A380 nach HKG, Teil 2
      Viele von Euch haben es ja sicher mitbekommen: im April habe ich einen kleinen Ausflug nach Hongkong gemacht: ich habe unseren Hörer Steffen, der beruflich bei Lufthansa auf dem linken Sitz des A380 arbeitet, auf einem Umlauf begleitet. Wie auch schon die Episode mit der MD-11F und die mit dem A320 ist diese Episode eine Mischung aus Interviews und Aufzeichnung der Besatzung bei der Arbeit. Auch wenn es sicher Überlappungen mit den erwähnten Episoden gibt, haben wir versucht, vor allem Dinge zu besprechen die in den anderen Episoden nicht zur Sprache kamen. Wegen Überlänge ist die Episode zweiteilig; dieser zweite Teil enthält Interviews die wir in Hongkong aufgezeichnet haben, sowie den Rückflug und dessen Vorbereitung.
      3 hr 45 min
    • 262 - Mit Lufthansas A380 nach HKG, Teil 1

      Gast: Steffen (und Jörg, Carsten, Andreas)    Host: Markus Völter    Shownoter: Kolja Dummann

      Viele von Euch haben es ja sicher mitbekommen: im April habe ich einen kleinen Ausflug nach Hongkong gemacht: ich habe unseren Hörer Steffen, der beruflich bei Lufthansa auf dem linken Sitz des A380 arbeitet, auf einem Umlauf begleitet. Wie auch schon die Episode mit der MD-11F und die mit dem A320 ist diese Episode eine Mischung aus Interviews und Aufzeichnung der Besatzung bei der Arbeit. Auch wenn es sicher Überlappungen mit den erwähnten Episoden gibt, haben wir versucht, vor allem Dinge zu besprechen die in den anderen Episoden nicht zur Sprache kamen.

      Wegen Überlänge ist die Episode zweiteilig; in dieser geht es um den Hinflug und ein abschließendes Gespräch mit dem Stationschef Andreas über Wartungsaspekte. Teil 2 erscheint in wenigen Tagen.

      Steffen hat ausdrücklich angeboten dass Ihr ihn gerne auf Twitter ansprechen könnt wenn ihr Fragen habt. Er wird auch auf Fragen auf der Seite hier antworten.

      Abflug Frankfurt 00:05:32

      FULNO Wegpunkt | Großkreis | Winkelverzerrung

      Interview mit Steffen in der Luft 00:33:32

      Astana (FANS - Future Air Navigation System | CPDLC - Controller–pilot data link communications)  | CRE214 Satellitentelefonie | RULAD Wegpunkt | Sauerstoffgenerator | MUMAN Wegpunkt | ADS-C | A Walk in the Woods with Miami Rick and the Big Boeings | A350 Flight Testing (INS - Trägheitsnavigationssystem | MSA - Sicherheitsflughöhe | VOR - Würzburg)  | Frachtfliegerei mit Lufthansa Cargo’s MD-11F | Omega-Navigationsverfahren

      Vorstellung (Nachgeholt) 02:39:16

      (PPL - Privatpilotenlizenz | CPL - Commercial Pilot Licence)

      Anflug und Landung Hongkong 02:51:59

      (ILS - Instrumentenlandesystem)  | Chinesisches Neujahrsfest

      Technikperspektive 03:33:59

      (APU - Hilfstriebwerk)  | ED FORCE ONE BADLY DAMAGED ON THE GROUND IN CHILE

      Verabschiedung 04:17:10

      4 hr 20 min
    • 262 – Mit Lufthansas A380 nach HKG, Teil 1
      Viele von Euch haben es ja sicher mitbekommen: im April habe ich einen kleinen Ausflug nach Hongkong gemacht: ich habe unseren Hörer Steffen, der beruflich bei Lufthansa auf dem linken Sitz des A380 arbeitet, auf einem Umlauf begleitet. Wie auch schon die Episode mit der MD-11F und die mit dem A320 ist diese Episode eine Mischung aus Interviews und Aufzeichnung der Besatzung bei der Arbeit. Auch wenn es sicher Überlappungen mit den erwähnten Episoden gibt, haben wir versucht, vor allem Dinge zu besprechen die in den anderen Episoden nicht zur Sprache kamen. Wegen Überlänge ist die Episode zweiteilig; in dieser geht es um den Hinflug und ein abschließendes Gespräch mit dem Stationschef Andreas über Wartungsaspekte. Teil 2 erscheint in wenigen Tagen.
      4 hr 20 min
    • 261 - Dialekte

      Gast: Alfred Lameli    Host: Nora Ludewig    Shownoter: Jochen Spalding

      In dieser nicht-technischen Episode spreche ich mit Alfred Lameli von der Uni Marburg über Dialekte. Es geht darum, was Dialekte überhaupt sind, ob und wie man sie gegen eigene Sprachen abgrenzen kann, wie sich ihre Verbreitung im Laufe der Zeit verändert hat und mit welchen Mitteln man sie erforscht. Alfred Lameli erklärt auch, was der deutsche Sprachatlas ist und wie er entstanden ist.

      Vorstellung des Gastes Prof. Dr. Alfred Lameli 00:01:05

      Prof. Dr. Alfred Lameli | Forschungszentrum Deutscher Sprachatlas | Sprachgeographie | Deutsche Sprachgeschichte | Deutscher Sprachatlas auf Grund des Sprachatlas des Deutschen Reichs von Georg Wenker (DSA) | Uni Marburg | Georg Wenker | Akademie der Wissenschaften Berlin | Akademie der Wissenschaften Mainz

      Definition Dialekt 00:04:03

      Sorbische Sprache | Max Weinrich | "Eine Sprache ist ein Dialekt mit einer Armee und einer Marine" | Luther-Jahr 2017 | Lutherbibel

      Verbreitung der Dialekte in Deutschland 00:15:46

      Neuhochdeutsch | Mittelhochdeutsch | Althochdeutsch | Germanisch | Indogermanisch | Proto-Indogermanisch | "Es gibt so viele Dialekte wie es Orte gibt" | Prominente Dialektgruppen | Flexionsendung

      Hörerfragen 00:50:10

      Neurolinguistik

      Der Deutsche Sprachatlas 00:57:16

      Spectrogram | Intonationsverlauf | Phonetische Transkription | Helmut Kohl | Sprachkartographie des Deutschen. Von Schmeller bis zum digitalen Wenker-Atlas | Regionalsprache.de | Korpuslinguistik

      1 hr 36 min

    About omega tau - German only

    From the publisher's feed

    Wie funktioniert unsere Welt? Wie erforschen Naturwissenschaftler Phänomene und Zusammenhänge? Wie konstruieren Ingenieure und Techniker Maschinen, Verfahren und Infrastruktur? Bei omega tau geben…