By

313 – Volocopter



Rate/Vote
(average: 4.27)
Loading ... Loading ...

Letzten Herbst war ich in Bruchsal bei Volocopter, die Multikopter-Flugtaxis entwickeln. Ich habe mich mit Stephan Wolf über Software und die Steuerung unterhalten, mit Michael Harms über Struktur und Aerodynamik und mit Alexander Zosel über Einsatzszenarien und Geschäftsmodelle.

Audio, Details & Links ...

By

286 – Software Analog Effects

Rate/Vote
(average: 4.38)
Loading ... Loading ...

Effects devices are essential for electric guitars and keyboards because they shape sound and make it interesting; many classic devices exist. However, those are rare and/or expensive, plus, even if they are not, carrying them around on a tour costs money. This is why these hardware devices are simulated in software, and distributed as plugins for audio software. Native Instruments is a manufacturer of such software analog effects packages. In this episode I chat with one of their engineers, Julian Parker, about how this software simulation of the electronic hardware is done.

Audio, Details & Links ...

By

265 – Ethereum und Solidity

Rate/Vote
(average: 3.89)
Loading ... Loading ...

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.

Audio, Details & Links ...

By

243 – Formal Specification and Proof

Rate/Vote
(average: 4.38)
Loading ... Loading ...

The increasing complexity of software requires increasingly sophisticated means of ensuring its correctness — “just” testing is not necessarily good enough, depending on the domain in which the software is used. Formal specification, verification and proof is a field with a long tradition in computer science that is gaining more (practical) relevance these days; and in this episode, we cover the basics. Our guest is Benjamin Pierce, professor of computer science at UPenn. We discuss the nature of (good) specifications, how verification and proof is different from testing, and where and how these techniques are successfully used today.

Audio, Details & Links ...

By

236 – Space Flight Software

Rate/Vote
(average: 4.38)
Loading ... Loading ...

Last fall I visited ESTEC, ESA’s space research and technology center. In this first of three episodes, I talk with Maria Hernek, who heads the Flight Software Systems section. We talk about the challenges of space flight software, the development processes used by ESA and its vendors, as well as means of ensuring the required quality attributes. This episode can be seen as a continuation of the conversation with Andreas Wortmann in the OHB episode.

Audio, Details & Links ...