44:19software designTalk
Unconditional Code • Michael Feathers • GOTO 2018
GOTO Conferences
2 HN recommenders
Search results
- Category: Software Engineering & Languages
Results for “logic”
36 videos44:19
39:40program synthesisTalk
"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
2 HN recommenders
1:12:14functional logic programmingTalk
Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
Code Sync
3 HN recommenders
38:36dependent typesTalk
"A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference
2 HN recommenders
1:14:51lisp in quantum computingTalk
Lisp at the Frontier of Computation, by Robert Smith at Rigetti Computing
Arthur Gleckler
3 HN recommenders
43:31smt solvers and program verificationTalk
Analyzing Programs with Z3
Compose Conference
2 HN recommenders
32:10collision avoidance systems in JuliaTalk
Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language
1 HN recommender
58:37ada spark adoptionTalk
NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore
1 HN recommender
29:23
46:36
1:15:58software architectureTalk
October CincyRb - Jim Weirich on Decoupling from Rails
Launch Scout
1 HN recommender
31:00Sources and selection
Programming languages, software architecture and everyday development all meet in this collection. Explore talks on language design, functional programming, web development and the practices used to build and maintain software. The narrower topics help developers find a useful explanation or compare approaches to a technical problem.
Indie Picks is organized from video metadata and uploader descriptions; it is not a full-video editorial review. HN Library retains community discussions. Sources and data notes