HackerTube.dev

Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System

The Julia Programming Language · 4.1K views · 2015-08-15 · 32:10

Open on YouTube ↗

If playback is restricted in your region, try opening the original video. Use Mark watched to add it to your marked videos.

Overview

Robert Moss's JuliaCon 2015 talk describes using Julia as a specification language for ACAS X, the next-generation airborne collision avoidance system that succeeds TCAS.

On Hacker News

HN points to it as a real-world example of Julia used in safety-critical aerospace design.

Recommended by 1 HN people across 1 months · HN mentions 2016–2024

Topics

Search by tags

What people said

ViralBShah · 2022-06 · Recommendation

A detailed discussion is on Julia discourse: [LINK] Bugs are everywhere - including Python and R libraries. You would not design a safety critical system in Python using libraries and codepaths that are not heavily tested. Even then, you still have to carefully design testsuites that give you confidence that what you are computing is what is expected. See these talks on how a collision avoidance system was designed with Julia. [LINK] [VIDEO]

Read the original HN comment ↗
agucova · 2024-05 · Reference

This is true, but even engineers see the advantages of Julia. My engineering school has went from almost pure Matlab usage to many key engineering courses switching to Julia due to its simplicity and friendliness. It's also SOTA for many engineering applications, particularly for acausal modelling and scientific machine learning (see [LINK] ), which has led to big companies like Pfizer adopting it [1]. And for engineers writing novel libraries, it clearly has a strong edge. See for example the work by NASA's JPL [2, 3], the FAA [4] or the CliMa project [5]. [1]: [LINK] (see also [LINK] ) [2]: [LINK] [3]: [LINK] [4]: [VIDEO] [5]: [LINK]

Read the original HN comment ↗
ViralBShah · 2016-10 · Reference

While many of Julia Computing's customers already use Julia in production, JuliaCon has had many talks as well. Here are a few: A Big Data application: [LINK] A finance application: [LINK] An avionics application: [VIDEO]

Read the original HN comment ↗

Sources

Video by The Julia Programming Language, played through YouTube.

Data and selection notes

HN summaries and labels may contain AI errors. HN dates refer to discussions, not video publication.

HN Library: HackerTube export (2026-10-31) and open-index/hacker-news. Upstream summaries and classifications may contain AI errors.

Views, duration and playback status refresh separately from the published catalog. When an update fails, existing data remains visible.

Selection checks
  • SaaS & AI candidates: Topic keywords do not match
  • Editor-approved picks: Editorial review is required

Rule matches identify candidates. They do not guarantee video quality or financial results.

About the library and its sources