Show filters Hide filters

Refine your search

Publication Year
Organisation found in the video
1-8 out of 8 results
Change view
  • Sort by:
36:36 Confreaks, LLC English 2017

How to Write Better Code Using Mutation Testing

Mutation testing is a silver bullet for assessing test quality. Mutation testing will help you: Write better tests Produce more robust code that better handles edge cases Reveal what parts of your legacy application are most likely to break before you dive in to make new changes Learn about features in Ruby and your dependencies that you didn’t previously know about This talk assumes a basic knowledge of Ruby and testing. The examples in this talk will almost certainly teach you something new about Ruby!
  • Published: 2017
  • Publisher: Confreaks, LLC
  • Language: English
36:24 Confreaks, LLC English 2017

Distributed Tracing: From Theory to Practice

Application performance monitoring is great for debugging inside a single app. However, as a system expands into multiple services, how can you understand the health of the system as a whole? Distributed tracing can help! You’ll learn the theory behind how distributed tracing works. But we’ll also dive into other practical considerations you won’t get from a README, like choosing libraries for Ruby apps and polyglot systems, infrastructure considerations, and security.
  • Published: 2017
  • Publisher: Confreaks, LLC
  • Language: English
47:22 FOSDEM VZW English 2016

The Emacs Of Distros

  • Published: 2016
  • Publisher: FOSDEM VZW
  • Language: English
49:14 Free and Open Source software Conference (FrOSCon) e.V. English 2016

Developing Research Infrastructures the DevOps way

Distributed Research Infrastructures are built to support scholars from various disciplines in their work. In the case of CENDARI, a toolset aimed at historians has been developed with support by the European Comission. We will explain how popular open source solutions like Jenkins and Puppet have been employed in building the infrastructure, which is composed of open source applications, both existing and specifically developed.
  • Published: 2016
  • Publisher: Free and Open Source software Conference (FrOSCon) e.V.
  • Language: English
1:01:39 Chaos Computer Club e.V. English 2017

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development

Most working engineers view machine-checked mathematical proofs as an academic curiosity, if they have ever heard of the concept at all. In contrast, activities like testing, debugging, and code review are accepted as essential. They are woven into the lives of nearly all developers. In this talk, I will explain how I see machine-checked proofs enabling new everyday activities for developers of computer software and hardware. These activities have the potential to lower development effort dramatically, at the same time as they increase our assurance that systems behave correctly and securely. I will give a cosmological overview of this field, answering the FAQs that seem to stand in the way of practicality; and I will illustrate the principles with examples from projects that you can clone from GitHub today, covering the computing stack from digital hardware design to cryptographic software and applications.
  • Published: 2017
  • Publisher: Chaos Computer Club e.V.
  • Language: English
33:13 FOSDEM VZW English 2014

Make Debian compiler agnostic: A rebuild with Clang

After extending Debian with two new kernels, Debian will soon be able to be built with a new free C, C++ and Objective-C compiler called Clang. Based on LLVM, this compiler is now close to gcc on many different aspects (performances, build time, level of support of C and C++). This talk will present the current status of a clang-build version of Debian, the next steps and evolutions.
  • Published: 2014
  • Publisher: FOSDEM VZW
  • Language: English
27:07 FOSDEM VZW English 2018

Tying software deployment to scientific workflows

  • Published: 2018
  • Publisher: FOSDEM VZW
  • Language: English
23:22 Heidelberg Laureate Forum Foundation English 2018

5th HLF – Interviews with mathematics and computer science laureates: Leslie Lamport

Laureates at the 5th HLF sit down with Tom Geller, Tom Geller Productions, to discuss their career, mentoring and their experience at the Heidelberg Laureate Forum (HLF). These renowned scientists have been honored with most prestigious awards in mathematics and computer science: Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal and Nevanlinna Prize. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.
  • Published: 2018
  • Publisher: Heidelberg Laureate Forum Foundation
  • Language: English
out of 1 pages
Loading...
Feedback

Timings

27554 ms - page object
 8237 ms - search
    4 ms - highlighting
    1 ms - highlighting/40306
    2 ms - highlighting/34867
    1 ms - highlighting/41709
    0 ms - highlighting/40117
    4 ms - highlighting/34351
    2 ms - highlighting/32445
    1 ms - highlighting/31243
    2 ms - highlighting/31248

Version

AV-Portal 3.8.0 (dec2fe8b0ce2e718d55d6f23ab68f0b2424a1f3f)