005 - Clifford Heath
2021-01-26James chats with Clifford Heath to discuss the differences between procedural and structural code, using natural language processing to describe software, code generation, and programming education approaches.
Originally Recorded on 2020-12-27.
Audio
FLAC
M4A
MP3
Show Notes
- Clifford on the Internet
- "Full of skite"
- Open Software Associates - Australia's first
.com.auaddress - OpenUI development system
- Java
- Fact Based Modeling
- Constellation Query Language
- Natural Language Processing
- Agile Software Development Method
- Waterfall Software Development Method
- In-Memory Database
- "Elementary Facts"
- Schema
- Meta Models
- Language Context
- Atomicity of statements
- Use of "shall", single statement
- "Voice of the Company"/consistent voice
- Conjunctions (grammar)
- Sentence Clause
- VIN (automotive)
- European Space Agency
- Procurement Process
- Interface Control Documents
- Norma (VS plugin)
- Formal Verification
- TLA+
- Temporal Logic
- Alloy (specification language)
- Quantum Computing and parallel exploration
- Algorithms
- Structured Programming
- Software Invariants
- Software Transactional Memory (STM)
- Deadlocks
- Niklas Wirth
- "It is practically impossible to teach good programming to students that have had a prior exposure to BASIC" - Edsger Dijkstra
- BASIC (language)
- Paper Prototyping
- UX - User Experience
- What Happens When - An exhaustive exploration of "What happens when you type google.com into your browser and press enter?"
- HTML
- TXL (programming language)
- Bluetooth
- Bluetooth Core Specification
- Serial over BLE
- NanoVNA
- Software Defined Radio
- FFT
- Aspect Definition Language (ADL)
- Previous Chat with Michael Gattozzi
- Anachro Protocol
- Anachro-PC Talk at RustLab
- Northbridge
- Constraint Solving
- SemVer resolution
- Japan's Home Bus
- ESP32 MCU
- Polar Modulation
- FSK - Frequency-shift keying
- I/Q signal
Transcript
Transcript not made yet.
Credits
Thanks to Louie Zong for the music.