programming in time
play

Programming in Time Tuesday, December 10, 13 Algorave? Tuesday, - PowerPoint PPT Presentation

Aug 19, 2022 •175 likes •366 views

Live Coding in Creative Performance Programming in Time Tuesday, December 10, 13 Algorave? Tuesday, December 10, 13 Tuesday, December 10, 13 Experimental Programming A Lisp Tradition The average Lisp user writes a program as a programming

  1. Live Coding in Creative Performance Programming in Time Tuesday, December 10, 13

  2. Algorave? Tuesday, December 10, 13

  3. Tuesday, December 10, 13

  4. Experimental Programming A Lisp Tradition The average Lisp user writes a program as a programming experiment, i.e.., in order to develop the understanding of some task, rather than in expectation of production use of the program. Erik Sandewall 1978 Tuesday, December 10, 13

  5. Just-In-Time Programming ... the goal of just in time programming is to allow users to profit from their task-time algorithmic insights by programming. Instead of automating with software what was carefully designed and implemented much earlier, the user recognises an algorithm and then creates the software to take advantage of it just before it is needed, hence implementing it just in time. Richard Potter 1993 Tuesday, December 10, 13

  6. Live Programming In our vision, the Self programmer lives and acts in a consistent and malleable world, from the concrete motor-sensory, to the abstract, intellectual levels. Randal B. Smith & David Ungar 1995 Tuesday, December 10, 13

  7. Make Some Noise! Tuesday, December 10, 13

  8. Extempore • Strongly Timed (temporal semantics) • Distributed & Heterogenous • Concurrent (layered) • Wide (full-stack - hot-swappable) • High Performance & Deterministic Tuesday, December 10, 13

  9. Extempore is a Lisp • s-expression syntax (Lisp) • first class lexical closures • tail recursion • Lisp macros • Scheme like block structure Tuesday, December 10, 13

  10. Except when it’s not • Statically typed, type inferencing • Expressive data representation • Reified generics • Specialized code-gen (no boxing) • Fast • DETERMINISTIC (unmanaged mem) Tuesday, December 10, 13

  11. Temporal Structure and Deep-diving Tuesday, December 10, 13

  12. Tuesday, December 10, 13

  13. Tuesday, December 10, 13

  14. Tuesday, December 10, 13

  15. Tuesday, December 10, 13

  16. Tuesday, December 10, 13

  17. Tuesday, December 10, 13

  18. Cyber-physical programming • Integrate Programmer into closed-loop. • Human, machine and environment. • ‘Above’ but also ‘within’ the loop. • Cognitive extension - epistemic action. • Real-time, real-time (full stack). Tuesday, December 10, 13

  19. Thanks! http://extempore.moso.com.au extempore.moso.com.au/temporal_recursion.html Tuesday, December 10, 13

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Review Last Time: Programming Language History 50s, 60s: Exciting Time Invention of:

Review Last Time: Programming Language History 50s, 60s: Exciting Time Invention of:

Review Last Time: Programming Language History 50s, 60s: Exciting Time Invention of: assemblers, compilers, interpreters, first high- CSCI: 4500/6500 Programming level languages, structured programming , abstraction, formal syntax,

202 views • 7 slides
Review Last Time: Programming Language History 50s, 60s: Exciting Time Invention

Review Last Time: Programming Language History 50s, 60s: Exciting Time Invention

Review Last Time: Programming Language History 50s, 60s: Exciting Time Invention of: assemblers, compilers, interpreters, first high- CSCI: 4500/6500 Programming level languages, structured programming , abstraction, formal syntax,

267 views • 7 slides
Real- Real -time systems time systems Real- Real -time programming time programming

Real- Real -time systems time systems Real- Real -time programming time programming

EDA222/DIT160 Real-Time Systems, Chalmers/GU, 2008/2009 Lecture #2 Updated 2009-01-18 Real- Real -time systems time systems Real- Real -time programming time programming Recommended programming method: Recommended programming method:

251 views • 8 slides
Real Real- -Time Systems Time Systems Low- Low -level programming level programming Low-

Real Real- -Time Systems Time Systems Low- Low -level programming level programming Low-

EDA222/DIT160 Real-Time Systems, Chalmers/GU, 2008/2009 Lecture #6 Updated 2009-02-01 Real Real- -Time Systems Time Systems Low- Low -level programming level programming Low- Low -level programming in Ada 95 enables writing level

223 views • 7 slides
Last time: monads (etc.) = > > 1/ 48 This time: generic programming val show : a

Last time: monads (etc.) = > > 1/ 48 This time: generic programming val show : a

Last time: monads (etc.) = > > 1/ 48 This time: generic programming val show : a string 2/ 48 Generic functions 3/ 48 Data sums unit L () , R 3 () pairs booleans ( f a l s e , 3.0) f a l s e , true records ints

535 views • 50 slides
Dynamic Programming 11.1 Overview Dynamic Programming is a powerful technique that allows one to

Dynamic Programming 11.1 Overview Dynamic Programming is a powerful technique that allows one to

Lecture 11 Dynamic Programming 11.1 Overview Dynamic Programming is a powerful technique that allows one to solve many different types of problems in time O ( n 2 ) or O ( n 3 ) for which a naive approach would take exponential time. In this

259 views • 7 slides
1.2 Basic Graphics Programming Hao Li http://cs420.hao-li.com 1 Last time Last Time Computer

1.2 Basic Graphics Programming Hao Li http://cs420.hao-li.com 1 Last time Last Time Computer

Fall 2018 CSCI 420: Computer Graphics 1.2 Basic Graphics Programming Hao Li http://cs420.hao-li.com 1 Last time Last Time Computer Story Image Graphics Last Time 3D Printing 3D Capture Animation 3D Rendering Modeling Simulation

1.15k views • 70 slides
Space/time tradeoffs; dynamic programming; y g g transform and conquer 1. Space/time

Space/time tradeoffs; dynamic programming; y g g transform and conquer 1. Space/time

6. Space-time tradeoffs and dynamic programming D. Keil Analysis of Algorithms 1/11 Topic 6: Space/time tradeoffs; dynamic programming; y g g transform and conquer 1. Space/time tradeoffs 2. Dynamic programming 3 Example: sequence

498 views • 18 slides
Hierarchy of Software Complexity Application Programs Sequential Programming Embedded

Hierarchy of Software Complexity Application Programs Sequential Programming Embedded

Hierarchy of Software Complexity Application Programs Sequential Programming Embedded Programming Middleware Concurrent Programming Distributed Programming Real-Time Programming Security Programming Reliable (FT) Programming Quality of

342 views • 5 slides
1.2 Basic Graphics Programming Hao Li http://cs420.hao-li.com 1 Last time Last Time Computer

1.2 Basic Graphics Programming Hao Li http://cs420.hao-li.com 1 Last time Last Time Computer

Fall 2014 CSCI 420: Computer Graphics 1.2 Basic Graphics Programming Hao Li http://cs420.hao-li.com 1 Last time Last Time Computer Story Image Graphics Last Time 3D Printing 3D Capture Animation 3D Rendering Modeling

910 views • 69 slides
The Evolution of Real-Time Programming Revisited Programming the Giotto Model in Ada 2005

The Evolution of Real-Time Programming Revisited Programming the Giotto Model in Ada 2005

The Evolution of Real-Time Programming Revisited Programming the Giotto Model in Ada 2005 Structure Kirsch and Sengupta original paper Temporal Scopes Giotto Controlling Input and Output Jitter in Ada Conclusions Kirsch and

595 views • 18 slides
Time and Timers Portions of these overheads taken from: Unix Systems Programming Communication,

Time and Timers Portions of these overheads taken from: Unix Systems Programming Communication,

Time and Timers Portions of these overheads taken from: Unix Systems Programming Communication, Concurrency, and Threads , by Robbins and Robbins Why Time? What time is it? Arrange for event execution at (after) time t? Which portion

1.26k views • 73 slides
Analyzing Real-Time Systems Reference: Burns and Wellings , Real-Time Systems and Programming

Analyzing Real-Time Systems Reference: Burns and Wellings , Real-Time Systems and Programming

Analyzing Real-Time Systems Reference: Burns and Wellings , Real-Time Systems and Programming Languages 17-654/17-754: Analysis of Software Artifacts Jonathan Aldrich Real-Time Systems Definition Any system in which the time at which

374 views • 20 slides
Real- -Time Systems Time Systems Real Low-level programming Specification Resource

Real- -Time Systems Time Systems Real Low-level programming Specification Resource

EDA222/DIT160 Real-Time Systems, Chalmers/GU, 2008/2009 Lecture #6 Updated 2009-02-01 Real- -Time Systems Time Systems Real Low-level programming Specification Resource management Deadlock and starvation Implementation

336 views • 14 slides
CS452/652 Real-Time Programming Course Notes Daniel M. Berry, Cheriton School of Computer

CS452/652 Real-Time Programming Course Notes Daniel M. Berry, Cheriton School of Computer

CS452/652 Real-Time Programming Course Notes Daniel M. Berry, Cheriton School of Computer Science University of Waterloo 2007 Daniel M. Berry Real-Time Programming: Trains Pg. 1 Three Levels of Task Switching 1. High: Unbounded number

838 views • 37 slides
Programming for Performance 1 Textbook Definition of Real-time A Real-time System responds

Programming for Performance 1 Textbook Definition of Real-time A Real-time System responds

Programming for Performance 1 Textbook Definition of Real-time A Real-time System responds in a (timely) predictable way to unpredictable external stimuli arrivals. A system is a real-time system when it can support the execution of

852 views • 49 slides
Finite-Blocklength and Error-Exponent Analyses for LDPC Codes in Point-to-Point and Multiple

Finite-Blocklength and Error-Exponent Analyses for LDPC Codes in Point-to-Point and Multiple

Finite-Blocklength and Error-Exponent Analyses for LDPC Codes in Point-to-Point and Multiple Access Communication* Yuxin Liu and Michelle Effros Department of Electrical Engineering, California Institute of Technology June 21-26, 2020 IEEE

667 views • 23 slides
Learning Additive Noise Channels: Generalization Bounds and Algorithms Nir Weinberger

Learning Additive Noise Channels: Generalization Bounds and Algorithms Nir Weinberger

Learning Additive Noise Channels: Generalization Bounds and Algorithms Nir Weinberger Massachusetts Institute of Technology, MA, USA IEEE International Symposium on Information Theory June 2020 1/22 In an nutshell An additive noise channel

1.14k views • 91 slides
Bounds on Permutation Channel Capacity Anuran Makur Department of Electrical Engineering and

Bounds on Permutation Channel Capacity Anuran Makur Department of Electrical Engineering and

Bounds on Permutation Channel Capacity Anuran Makur Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology IEEE International Symposium on Information Theory 2020 Anuran Makur (MIT) Bounds on

1.47k views • 87 slides
Permutation Channels Anuran Makur Department of Electrical Engineering and Computer Science

Permutation Channels Anuran Makur Department of Electrical Engineering and Computer Science

Permutation Channels Anuran Makur Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology 10 July 2020 Anuran Makur (MIT) Permutation Channels 10 July 2020 1 / 40 Outline Introduction 1 Three

2.06k views • 170 slides
Tukey classes of local bases in compacta David Milovich 16th Boise Extravaganza in Set Theory

Tukey classes of local bases in compacta David Milovich 16th Boise Extravaganza in Set Theory

Tukey classes of local bases in compacta David Milovich 16th Boise Extravaganza in Set Theory Motivation Study homeomorphism-invariant local properties of compacta in hopes of obtaining negative results about open questions about

152 views • 13 slides
Every Child a Mover! Every Child a Talker! Early Years & Childcare Service Being Active....

Every Child a Mover! Every Child a Talker! Early Years & Childcare Service Being Active....

Every Child a Mover! Every Child a Talker! Early Years & Childcare Service Being Active.... Why is this important? Children's physical development is important for their all round social, emotional development and well-being

355 views • 7 slides
f able : Estimation of marginal effects with transformed covariates Taking Margins a step further

f able : Estimation of marginal effects with transformed covariates Taking Margins a step further

f able : Estimation of marginal effects with transformed covariates Taking Margins a step further Rios-Avila, Fernando 1 1 friosavi@levy.org Levy Economics Institute Stata Conference, July 2020 Rios-Avila (Levy) f able Stata 2020 1 / 24

264 views • 24 slides
PSYC 335 Developmental Psychology I Session 12 Cognitive development in Adolescence Lecturer:

PSYC 335 Developmental Psychology I Session 12 Cognitive development in Adolescence Lecturer:

PSYC 335 Developmental Psychology I Session 12 Cognitive development in Adolescence Lecturer: Dr . Joana Salifu Y endork Department of Psychology Contact Information: jyendork@ug.edu.gh College of Education School of Continuing and Distance

186 views • 18 slides

More recommend