How to make your software build reproducibly
Formal Metadata
Title |
| |
Title of Series | ||
Number of Parts | 85 | |
Author | ||
License | CC Attribution 3.0 Germany: You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
Identifiers | 10.5446/38100 (DOI) | |
Publisher | ||
Release Date | ||
Language |
Content Metadata
Subject Area | ||
Genre | ||
Abstract |
|
00:00
TelecommunicationChaos (cosmogony)SoftwareBuildingOpen sourceComputer animationLecture/Conference
00:44
SoftwareOpen sourceBinary codeInternet service providerChaos (cosmogony)TelecommunicationProjective planeComputer animationLecture/Conference
01:30
Open sourceBinary codeSoftwareOpen sourceSoftwareProjective planeBinary codeComputerFraction (mathematics)BuildingForm (programming)MalwareSoftware bugInformation securityComputer animationLecture/Conference
02:42
Open sourceBinary codeProof theorySoftware bugBinary codeMoment (mathematics)SoftwareOpen sourceProof theoryAuthorizationLecture/ConferenceComputer animation
03:27
HypermediaSingle-precision floating-point formatPoint (geometry)MassCASE <Informatik>SoftwareOpen sourceBitStress (mechanics)MalwareIntegrated development environmentBuildingCompilerProof theoryComputer fileProjective planeBinary codeSoftware developerIncidence algebraMultiplication signLengthAuthorizationKernel (computing)Insertion lossLevel (video gaming)Lecture/ConferenceComputer animation
05:26
IRIS-TPhysical systemCompilerSoftware development kitSoftwareComputer networkSoftware developerKernel (computing)Information securityStructural loadCurvatureFreezingExpert systemParticle systemComputer programIntegrated development environmentPresentation of a groupDigital watermarkingAnnihilator (ring theory)outputProjective planeRevision controlHypothesisSoftware developerComputer animation
06:34
Binary codeIdentical particlesOpen sourceIntegrated development environmentConfidence intervalLetterpress printingBinary codeSoftwareDifferent (Kate Ryan album)Open sourceMultiplication signVirtual machineBuildingLecture/ConferenceComputer animation
07:27
System callDataflowGoodness of fitPoint (geometry)Identity managementCompilerCarry (arithmetic)Reverse engineeringComputer configurationSystem callProjective planeBinary codeIntegrated development environmentNormal (geometry)Computer wormComputer animationLecture/Conference
08:41
Normed vector spacePhysical systemIntegrated development environmentDistribution (mathematics)Source codeSoftwareNormal (geometry)Default (computer science)CodePhysical systemBuildingFunction (mathematics)Revision controlPlanningIntegrated development environmentMultiplicationComputer animationLecture/Conference
09:49
SoftwareIntegrated development environmentOpen sourceCondition numberOperator (mathematics)ResultantDifferent (Kate Ryan album)Latent heatBoom (sailing)Projective planeLecture/Conference
10:46
Physical systemoutputIntegrated development environmentComputer fileBefehlsprozessorRead-only memoryBuildingTime zoneCodeKolmogorov complexityAddress spaceIntegrated development environmentPhysical systemResultantOpen sourceoutputCellular automatonMultiplication signRow (database)Strategy gameRandomizationNumberValuation (algebra)MiniDiscFunction (mathematics)Time zoneComputer fileTimestampSoftwareBounded variationComputer animationLecture/Conference
12:00
Service (economics)CodeOpen sourceRepository (publishing)Error messageSoftwareComputer programElectronic program guidePoint (geometry)Reading (process)Stiff equationForcing (mathematics)Group actionNumberLecture/ConferenceComputer animation
12:46
Computer networkBinary codeBackupoutputoutputSource codeSelectivity (electronic)WebsiteOpen sourceMassComputer fileRight angleSoftwareContent (media)Physical systemBuildingTraffic reportingLecture/ConferenceComputer animation
13:34
Open sourceBinary codeSoftwareInternet service providerChaos (cosmogony)TelecommunicationIdentical particlesPhysical systemComputer networkBackupoutputMetadataoutputMassNumeral (linguistics)Different (Kate Ryan album)WebsiteOpen sourceOrder (biology)File archiverContent (media)Computer animation
14:21
Process (computing)outputDirectory serviceElectronic mailing listFile systemOrder (biology)Computer fileGreatest elementCellular automatonConstructor (object-oriented programming)Electronic mailing listoutputBitLocal ringDifferent (Kate Ryan album)Computer animationLecture/Conference
15:23
CASE <Informatik>Computer fileEntropie <Informationstheorie>Execution unitRange (statistics)Sensitivity analysisMenu (computing)Local ringWeb browserBuildingContent (media)Different (Kate Ryan album)WindowReal numberPattern languageLecture/ConferenceComputer animation
16:16
Read-only memoryGame controllerFluid staticsComputer fileRevision controlBasis <Mathematik>Beta functionDistribution (mathematics)Data dictionaryReading (process)Data structureSemiconductor memoryNetwork topologyComputer fileMereologyCodeNumberLecture/ConferenceComputer animation
17:02
Revision controlInformationOpen sourceControl flowPhysical systemMathematicsSource codeHash functionNumberDifferent (Kate Ryan album)Revision controlBuildingOpen sourceMusical ensembleSource codePhysical systemInformationEvoluteChainHash functionLecture/ConferenceComputer animation
17:50
Magneto-optical driveSheaf (mathematics)Line (geometry)Network-attached storageTimestampBinary codeCore dumpMultiplication signWordResultantCodeDifferent (Kate Ryan album)Price indexIntegrated development environmentSoftwareRevision controlInformationBitComputer animationLecture/Conference
19:08
TimestampTime zoneSource codeState of matterCodeSet (mathematics)Multiplication signRow (database)Time zoneVotingAutomatic differentiationComputer animationLecture/Conference
19:51
TimestampComputer configurationTime zoneStorage area networkComputerDifferent (Kate Ryan album)ResultantMultiplication signSound effectRoboticsLibrary (computing)Computer configurationHoaxSoftware bugComputer programComputer fileBuildingSingle-precision floating-point formatSoftwarePhysical systemMultiplicationSource codeWeb browserAxiom of choiceForm (programming)TimestampLecture/ConferenceComputer animation
22:01
Variable (mathematics)Integrated development environmentSineResponse time (technology)Open sourceIntegrated development environmentWritingSharewareSoftwareNumber2 (number)Patch (Unix)Condition numberColor confinementProduct (business)Metropolitan area networkPhysical systemCuboidFunction (mathematics)Student's t-testOnline helpSound effectMultiplication signComputer animationLecture/Conference
23:40
Physical systemTimestampIntegrated development environmentVariable (mathematics)SineRootMetadataProduct (business)Patch (Unix)WikiSinc functionTimestampMetadata2 (number)AdditionFood energyComputer configurationFile formatComputer fileFile archiverRow (database)Computer animationXML
24:38
Product (business)MetadataTouch typingProcess (computing)Code division multiple accessLine (geometry)Magneto-optical driveForcing (mathematics)Touch typingComputer fontProcess (computing)PreprocessorFile archiverMultilaterationFile formatComputer fileOrder (biology)CodeCore dumpFunctional (mathematics)Lecture/ConferenceComputer animation
25:34
Function (mathematics)Hash functionTable (information)Revision controlLetterpress printingModule (mathematics)Key (cryptography)Kolmogorov complexityCartesian closed categoryTelecommunicationChaos (cosmogony)Table (information)Order (biology)Formal languageHash functionKey (cryptography)Source codeRandomizationString (computer science)Multiplication signMessage passingComputerFunctional (mathematics)Virtual machineRandom number generationInitial value problemTheory of relativityFunction (mathematics)PseudozufallszahlenLink (knot theory)BefehlsprozessorNumberVariable (mathematics)Mathematical optimizationIntegrated development environmentComputer animation
27:23
SoftwareIntegrated development environmentVariable (mathematics)String (computer science)Game controllerForceTelecommunicationChaos (cosmogony)InformationPhysical systemCartesian closed categoryComputer networkBefehlsprozessorType theoryPhysical systemMultiplication signIntegrated development environmentString (computer science)MathematicsCodeSoftwareFunction (mathematics)Time zoneSoftware developerFormal languageDifferent (Kate Ryan album)Error messageInformationComputerVirtual machineVideo gameCompilerBuildingRevision controlForcing (mathematics)ResultantComputer animation
29:08
Integrated development environmentTelecommunicationChaos (cosmogony)Revision controlLatent heatCartesian closed categoryInformationRow (database)ResultantFunction (mathematics)Machine visionMoment (mathematics)CompilerRevision controlMultiplication signLecture/ConferenceComputer animation
29:51
Latent heatRevision controlPhysical systemTelecommunicationChaos (cosmogony)Integrated development environmentCartesian closed categoryRevision controlFunction (mathematics)Mathematical optimizationSynchronizationBitBuildingMessage passingSymbol tableRow (database)Process (computing)Real numberBinary codeSoftwareGoodness of fitCone penetration testCompilation albumDialectRight angleComputer architectureSet (mathematics)Lecture/ConferenceComputer animation
31:01
BuildingFunction (mathematics)Open sourceRevision controlWeb browserChaos (cosmogony)Distribution (mathematics)StatisticsComputer networkBefehlsprozessorVirtual realityCompilerOpen sourceHoaxMultiplication signDirectory serviceResultantWeb browserBefehlsprozessorBootstrap aggregatingBuildingDistribution (mathematics)Stability theorySoftwareOperator (mathematics)Physical systemOperating systemConstraint (mathematics)BitProcess (computing)Core dumpData structureWindowReal numberGroup actionView (database)Computer animation
33:00
Binary filePhysical systemCodeSoftware development kitOperations researchSystem programmingMacro (computer science)FreewareMereologyWindowBuildingInstallation artArithmetic meanFile formatStudent's t-testBinary codeBootstrap aggregatingImage registrationPhysical systemComputer animation
34:08
Binary filePhysical systemSoftware development kitOperations researchSystem programmingCartesian closed categoryTelecommunicationChaos (cosmogony)Distribution (mathematics)Integrated development environmentNP-hardSource codeGoogolRevision controlPhysical systemConfidence intervalComputer architectureIntegrated development environmentoutputComputer fileFile formatCompilerCore dumpFirmwareType theoryMultiplication signBootingDistribution (mathematics)Mechanism designProcess (computing)SoftwareCASE <Informatik>Enterprise architectureUniverse (mathematics)Solvable groupAxiom of choiceCovering spaceRight angleInequality (mathematics)DataflowResultantSign (mathematics)Computer animation
36:15
Product (business)FirmwareWeb browseroutputComputer fileDistribution (mathematics)Scripting languagePhysical systemCompilerRouter (computing)Product (business)Medical imagingPersonal digital assistantDigital rights managementBitRight angleGeometryVirtual machineScripting languageDistribution (mathematics)outputVirtualizationFilm editingComputer animation
37:13
Web browseroutputComputer fileDistribution (mathematics)BuildingTelecommunicationChaos (cosmogony)Cartesian closed categoryComputer-generated imageryInternet service providerIntegrated development environmentGame controllerHash functionContent (media)Group actionMedical imagingSoftware testingSet (mathematics)CompilerProjective planePhysical systemRevision controlProfil (magazine)Cartesian coordinate systemComputer fileComputer animation
38:04
Internet service providerComputer-generated imageryGame controllerBuildingIntegrated development environmentContent (media)Hash functionCartesian closed categoryChaos (cosmogony)Hash functionMedical imagingBuildingRevision controlDigital electronicsCondition numberForcing (mathematics)Physical systemComputer animation
38:58
Scripting languageVirtual realityBuildingIntegrated development environmentGame controllerRevision controlOpen sourceBinary fileCartesian closed categoryLatent heatTelecommunicationChaos (cosmogony)Cross-platformMultiplication signGame controllerSource codeVector spaceCuboidIntegrated development environmentComputer fileMachine visionOpen sourceElectronic mailing listScripting languageBuildingForm (programming)Revision controlPoint (geometry)File archiverService (economics)Computer animation
40:00
File formatBinary codeArchitectureRevision controlBuildingIntegrated development environmentOpen sourceHash functionComputer fileTelecommunicationChaos (cosmogony)MathematicsBounded variationElectronic mailing listUniform resource locatorOpen sourceComputer architectureBuildingComputer clusterMathematicsResultantIntegrated development environmentAnalytic continuation1 (number)Software testingDifferent (Kate Ryan album)Physical systemMultiplication signSoftwareComputer animation
41:26
Open sourceSoftware testingAveragePhysical systemComputer hardwareWebsiteDatabaseWebsiteVirtual machineResultantSoftware testingOnline helpProduct (business)InternetworkingPhysical systemOpen setRight angleProjective planeWeb 2.0Computer animationLecture/Conference
42:28
Bounded variationDomain nameMotion captureKernel (computing)Revision controlBefehlsprozessorKernel (computing)Multiplication signBounded variationPublic domainTime zoneBuildingPhysical systemMathematicsSoftware testingNamespaceView (database)Revision controlLogic gateWordFormal languageGraph coloringModal logicReverse engineeringComputer animation
43:25
Open setTelecommunicationChaos (cosmogony)Binary codePairwise comparisonCartesian closed categoryBinary fileComputer fileFile formatSingle-precision floating-point formatView (database)Arithmetic progressionPatch (Unix)Different (Kate Ryan album)Software maintenanceDemonSoftwareInsertion lossMessage passingFigurate numberGreatest elementFunction (mathematics)Pairwise comparisonComputer fileFile archiverProbability density functionRevision controlFile format1 (number)BootingComputer animation
44:52
Control flowBinary codeMetadataComputer fileDistribution (mathematics)Data dictionaryRevision controlBasis <Mathematik>Function (mathematics)File formatBuildingJava appletFormal languageFile formatProjective planeFile archiverNetwork topologyLibrary (computing)Function (mathematics)Euler anglesComputer animation
45:35
TelecommunicationChaos (cosmogony)Cartesian closed categoryBuildingMultiplication signFormal grammarCompilerInformationForm (programming)Normal (geometry)40 (number)Software developerLink (knot theory)Arithmetic meanFeedbackComplete metric spaceProjective planeBitProof theoryCompilation albumLevel (video gaming)Computer animation
47:27
Compilation albumMoment (mathematics)Projective planeCompilerMatching (graph theory)ResultantProduct (business)MereologySoftware testingChainLecture/Conference
48:17
TelecommunicationChaos (cosmogony)Core dumpCartesian closed categoryProjective planeBuildingNormal (geometry)Video gameMultiplication signLine (geometry)BitLecture/Conference
49:21
State of matterLine (geometry)Social classProjective planeGroup actionLecture/ConferenceMeeting/Interview
50:09
Moment (mathematics)Revision controlBitNumberChainResonatorFood energyDivision (mathematics)Multiplication signTrajectoryLecture/Conference
51:35
Open sourceBinary codeAreaVirtual machineFile archiverPhysical systemBuildingLevel (video gaming)Right angleLecture/Conference
52:47
FirmwareComputer simulationExtension (kinesiology)Context awarenessNatural numberTheorySoftwareTask (computing)Different (Kate Ryan album)BitStreaming mediaVariable (mathematics)Validity (statistics)Lecture/Conference
53:54
Computer virusMetropolitan area networkPatch (Unix)Virtual machineOpen sourcePoint (geometry)Integrated development environmentChainComputer programSet (mathematics)Data storage deviceLecture/Conference
55:02
Physical lawMultiplication sign
Transcript: English(auto-generated)