ViralBShahon Hacker News • Recommends
On “Why I still recommend Julia”
91K subscribers • 17 videos on Hallway
Intermediate. Assumes working knowledge.
4K views11 years ago1 recommendation
Programming languagesSystems programmingLanguage design and type systemsAlgorithms
Robert Moss explains how the Julia programming language was used as a specification language for ACAS X, the next-generation airborne collision avoidance system.
Julia as a Specification Language for the next-generation Airborne Collision Avoidance System. Slides: juliacon.org/2015/images/juliacon2015_moss_v3.pdf en.wikipedia.org/wiki/Airborne_collision_avoidance_system Visit julialang.org/ to download Julia. Time Stamps: Welcome! Help us add time stamps or captions to this video! See the description for details. Want to help add timestamps to our YouTube videos to help with discoverability? Find out more here: github.com/JuliaCommunity/YouTubeVideoTimestamps Interested in improving the auto generated captions? Get involved here: github.com/JuliaCommunity/YouTubeVideoSubtitlesWhat people say. Recommended as a case study of using Julia for safety-critical avionics systems.
ViralBShahon Hacker News • Recommends
On “Why I still recommend Julia”
chappi42on Hacker News • Mentions
On “Static, Ahead of Time Compiled Julia”
ViralBShahon Hacker News • Mentions
On “An Introduction to Machine Learning in Julia”
agucovaon Hacker News • Mentions
On “Calculus with Julia”