Writing Web Apps in Go Andrew Gerrand Rob Pike May 10, 2011 Feedback http://goo.gl/U5rYj #io2011 #DevTools What is Go? A programming language for today's world • Go is fun, efficient, and open source general-purpose language that happens to be fun and fast, scalable and efficient. • A great combination for writing lots of things, including – systems like web servers... • such as this one... 13 A web server Engine team tomorrow 61 Questions? Feedback http://goo.gl/U5rYj #io2011 #DevTools Gophers! Writing Web Apps in Go Andrew Gerrand Rob Pike May 10, 2011

1 SCIENCE PASSION TECHNOLOGY Introduction to Scientific Writing 02 Scientific Reading and Writing Matthias Boehm Graz University of Technology, Austria Institute of Interactive Systems and Data Science Data Management Last update: Nov 04, 2021 2 706.015 Introduction to Scientific Writing – 02 Scientific Reading and Writing Matthias Boehm, Graz University of Technology, WS 2021/22 Announcements/Org max constraints  Introduction to Scientific Writing ISDS Group Boehm 39/40 3 706.015 Introduction to Scientific Writing – 02 Scientific Reading and Writing Matthias Boehm, Graz University of Technology

1/66Bridging the Gap: Writing Portable Programs for CPU and GPU using CUDA Thomas Mejstrik Sebastian Woblistin 2/66Content 1 Motivation Audience etc.. Cuda crash course Quiz time 2 Patterns Oldschool Thank you Thank you 1 Motivation 2 Patterns 3 The dark path 4 Cuda proposalBridging the Gap: Writing Portable Programs for CPU and GPU Paper: Thomas Mejstrik, Sebastian Woblistin, host device – Generic

programming in a past life ● Love performance, software abstractions, and clean APIsWhy Python? ● Writing extensive APIs in Python - low boilerplate ● Familiar for domain experts ● Easy to use ○ Amazing (unlikely(__pyx_t_13 == -1)) __PYX_ERR(0, 17, __pyx_L1_error)Cheaper function call conventions - Type informed ● Writing python, interpreter interprets some bytecode each time it hits the given statement ○ It needs to system ○ Learning a new “language” / different debugging experience ○ But a pretty good idea for writing new code! ● Always good to know what is out there, even if not C++ The “how” of pandasVarious libraries

talks[0].subtitle) console.log(object.foo) Jonathan Müller A fast, compliant JSON pull parser for writing robust applications undefined Jonathan Müller — @foonathan Express your expectations CppCon 2023-10-03 std::print("{}\n", object.at("foo")); Jonathan Müller A fast, compliant JSON pull parser for writing robust applications Uncaught exception. Jonathan Müller — @foonathan Express your expectations

1 SCIENCE PASSION TECHNOLOGY Introduction to Scientific Writing 03 Experiments & Reproducibility Matthias Boehm Graz University of Technology, Austria Institute of Interactive Systems and Data Science endowed chair for Data Management Last update: Nov 11, 2021 2 706.015 Introduction to Scientific Writing – 03 Experiments & Reproducibility Matthias Boehm, Graz University of Technology, WS 2021/22 Announcements/Org constraints  Introduction to Scientific Writing  #3 Timeline  Nov 11: project selection via email to m.boehm@tugraz.at (11.59pm) subject: [Scientific Writing] Project Selection  Dec 23: paper submission

1 SCIENCE PASSION TECHNOLOGY Introduction to Scientific Writing 01 Structure of Scientific Papers Matthias Boehm Graz University of Technology, Austria Institute of Interactive Systems and Data Science endowed chair for Data Management Last update: Oct 23, 2021 2 706.015 Introduction to Scientific Writing – 01 Introduction and Overview Matthias Boehm, Graz University of Technology, WS 2020/21 Announcements/Org in WS20/21, now max constraints  Introduction to Scientific Writing ISDS Group Boehm 40/40 3 706.015 Introduction to Scientific Writing – 01 Introduction and Overview Matthias Boehm, Graz University

Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 516 12.3 Writing a debug server . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 516 12.4 Constants the base64 mechanism writes more bytes to the destination stream. Errors: If there is an error writing to the destination stream, an error may occur. See also: TBase64EncodingStream.Seek (123), TStream stream: it is seekable only in a forward direction, and data can only be read from it, writing is not possible. For writing data so it is encrypted, the TBlowFishEncryptStream (127) stream must be used. See

classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 5 Writing Tactics 31 5.1 A First Look at the Tactic Monad . . . . . . . . . . . . . . . . . . . . . . . . Metavariables and Unification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 6 Writing Automation 43 6.1 A Tableau Prover for Classical Propositional Logic . . . . . . . . . . . . . as a programming language • as a system for verifying properties of programs • as a system for writing metaprograms, that is, programs that extend the functionality of Lean itself 2 Chapter 1. Introduction