TUGBOAT Volume 35, Number 2 / 2014 TUG 2014 Conference Proceedings
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Ubuntu Kung Fu
Prepared exclusively for Alison Tyler Download at Boykma.Com What readers are saying about Ubuntu Kung Fu Ubuntu Kung Fu is excellent. The tips are fun and the hope of discov- ering hidden gems makes it a worthwhile task. John Southern Former editor of Linux Magazine I enjoyed Ubuntu Kung Fu and learned some new things. I would rec- ommend this book—nice tips and a lot of fun to be had. Carthik Sharma Creator of the Ubuntu Blog (http://ubuntu.wordpress.com) Wow! There are some great tips here! I have used Ubuntu since April 2005, starting with version 5.04. I found much in this book to inspire me and to teach me, and it answered lingering questions I didn’t know I had. The book is a good resource that I will gladly recommend to both newcomers and veteran users. Matthew Helmke Administrator, Ubuntu Forums Ubuntu Kung Fu is a fantastic compendium of useful, uncommon Ubuntu knowledge. Eric Hewitt Consultant, LiveLogic, LLC Prepared exclusively for Alison Tyler Download at Boykma.Com Ubuntu Kung Fu Tips, Tricks, Hints, and Hacks Keir Thomas The Pragmatic Bookshelf Raleigh, North Carolina Dallas, Texas Prepared exclusively for Alison Tyler Download at Boykma.Com Many of the designations used by manufacturers and sellers to distinguish their prod- ucts are claimed as trademarks. Where those designations appear in this book, and The Pragmatic Programmers, LLC was aware of a trademark claim, the designations have been printed in initial capital letters or in all capitals. The Pragmatic Starter Kit, The Pragmatic Programmer, Pragmatic Programming, Pragmatic Bookshelf and the linking g device are trademarks of The Pragmatic Programmers, LLC. -
Singularityce User Guide Release 3.8
SingularityCE User Guide Release 3.8 SingularityCE Project Contributors Aug 16, 2021 CONTENTS 1 Getting Started & Background Information3 1.1 Introduction to SingularityCE......................................3 1.2 Quick Start................................................5 1.3 Security in SingularityCE........................................ 15 2 Building Containers 19 2.1 Build a Container............................................. 19 2.2 Definition Files.............................................. 24 2.3 Build Environment............................................ 35 2.4 Support for Docker and OCI....................................... 39 2.5 Fakeroot feature............................................. 79 3 Signing & Encryption 83 3.1 Signing and Verifying Containers.................................... 83 3.2 Key commands.............................................. 88 3.3 Encrypted Containers.......................................... 90 4 Sharing & Online Services 95 4.1 Remote Endpoints............................................ 95 4.2 Cloud Library.............................................. 103 5 Advanced Usage 109 5.1 Bind Paths and Mounts.......................................... 109 5.2 Persistent Overlays............................................ 115 5.3 Running Services............................................. 118 5.4 Environment and Metadata........................................ 129 5.5 OCI Runtime Support.......................................... 140 5.6 Plugins................................................. -
Ubuntu Server Guide Basic Installation Preparing to Install
Ubuntu Server Guide Welcome to the Ubuntu Server Guide! This site includes information on using Ubuntu Server for the latest LTS release, Ubuntu 20.04 LTS (Focal Fossa). For an offline version as well as versions for previous releases see below. Improving the Documentation If you find any errors or have suggestions for improvements to pages, please use the link at thebottomof each topic titled: “Help improve this document in the forum.” This link will take you to the Server Discourse forum for the specific page you are viewing. There you can share your comments or let us know aboutbugs with any page. PDFs and Previous Releases Below are links to the previous Ubuntu Server release server guides as well as an offline copy of the current version of this site: Ubuntu 20.04 LTS (Focal Fossa): PDF Ubuntu 18.04 LTS (Bionic Beaver): Web and PDF Ubuntu 16.04 LTS (Xenial Xerus): Web and PDF Support There are a couple of different ways that the Ubuntu Server edition is supported: commercial support and community support. The main commercial support (and development funding) is available from Canonical, Ltd. They supply reasonably- priced support contracts on a per desktop or per-server basis. For more information see the Ubuntu Advantage page. Community support is also provided by dedicated individuals and companies that wish to make Ubuntu the best distribution possible. Support is provided through multiple mailing lists, IRC channels, forums, blogs, wikis, etc. The large amount of information available can be overwhelming, but a good search engine query can usually provide an answer to your questions. -
Agda User Manual Release 2.6.3
Agda User Manual Release 2.6.3 The Agda Team Sep 23, 2021 Contents 1 Overview 3 2 Getting Started 5 2.1 What is Agda?..............................................5 2.2 Installation................................................7 2.3 ‘Hello world’ in Agda.......................................... 13 2.4 A Taste of Agda............................................. 14 2.5 A List of Tutorials............................................ 22 3 Language Reference 25 3.1 Abstract definitions............................................ 25 3.2 Built-ins................................................. 27 3.3 Coinduction............................................... 40 3.4 Copatterns................................................ 42 3.5 Core language.............................................. 45 3.6 Coverage Checking............................................ 48 3.7 Cubical.................................................. 51 3.8 Cumulativity............................................... 65 3.9 Data Types................................................ 66 3.10 Flat Modality............................................... 69 3.11 Foreign Function Interface........................................ 70 3.12 Function Definitions........................................... 75 3.13 Function Types.............................................. 78 3.14 Generalization of Declared Variables.................................. 79 3.15 Guarded Cubical............................................. 84 3.16 Implicit Arguments........................................... -
TUGBOAT Volume 32, Number 1 / 2011
TUGBOAT Volume 32, Number 1 / 2011 General Delivery 3 From the president / Karl Berry 4 Editorial comments / Barbara Beeton Opus 100; BBVA award for Don Knuth; Short takes; Mimi 6 Mimi Burbank / Jackie Damrau 7 Missing Mimi / Christina Thiele 9 16 years of ConTEXt / Hans Hagen 17 TUGboat’s 100 issues — Basic statistics and random gleanings / David Walden and Karl Berry 23 TUGboat online / Karl Berry and David Walden 27 TEX consulting for fun and profit / Boris Veytsman Resources 30 Which way to the forum? / Jim Hefferon Electronic Documents 32 LATEX at Distributed Proofreaders and the electronic preservation of mathematical literature at Project Gutenberg / Andrew Hwang Fonts 39 Introducing the PT Sans and PT Serif typefaces / Pavel Far´aˇr 43 Handling math: A retrospective / Hans Hagen Typography 47 The rules for long s / Andrew West Software & Tools 56 Installing TEX Live 2010 on Ubuntu / Enrico Gregorio 62 tlcontrib.metatex.org: A complement to TEX Live / Taco Hoekwater 68 LuaTEX: What it takes to make a paragraph / Paul Isambert 77 Luna — my side of the moon / Paweł Jackowski A L TEX 83 Reflections on the history of the LATEX Project Public License (LPPL)— A software license for LATEX and more / Frank Mittelbach 95 siunitx: A comprehensive (SI) units package / Joseph Wright 99 Glisterings: Framing, new frames / Peter Wilson 104 Some misunderstood or unknown LATEX2ε tricks III / Luca Merciadri A L TEX 3 108 LATEX3 news, issue 5 / LATEX Project Team Book Reviews 109 Book review: Typesetting tables with LATEX / Boris Veytsman Hints & Tricks -
Ubuntu Kung Fu.Pdf
Prepared exclusively for J.S. Ash Beta Book Agile publishing for agile developers The book you’re reading is still under development. As part of our Beta book program, we’re releasing this copy well before we normally would. That way you’ll be able to get this content a couple of months before it’s available in finished form, and we’ll get feedback to make the book even better. The idea is that everyone wins! Be warned. The book has not had a full technical edit, so it will con- tain errors. It has not been copyedited, so it will be full of typos and other weirdness. And there’s been no effort spent doing layout, so you’ll find bad page breaks, over-long lines with little black rectan- gles, incorrect hyphenations, and all the other ugly things that you wouldn’t expect to see in a finished book. We can’t be held liable if you use this book to try to create a spiffy application and you somehow end up with a strangely shaped farm implement instead. Despite all this, we think you’ll enjoy it! Throughout this process you’ll be able to download updated PDFs from your account on http://pragprog.com. When the book is finally ready, you’ll get the final version (and subsequent updates) from the same address. In the meantime, we’d appreciate you sending us your feedback on this book at http://books.pragprog.com/titles/ktuk/errata, or by using the links at the bottom of each page. -
9780857191274 Sample.Pdf
• • • • Sample • • • • Emoti-coms About the Authors Xavier Quattrocchi-Oubradous is an artist-turned- investment-banker-turned-media-entrepreneur. After many years of cello practice, trying unsuccessfully to emulate his family roots, he graduated in management at Dauphine University, Paris and in political sciences at Sciences Po, Paris. His business career started with financing industrial projects at investment banks Calyon and GE Capital. He then launched a series of businesses in the marketing and communications industry – including QobliQ, a multinational group offering digital, sponsorship, corporate social responsibility (CSR), social media and experiential marketing services. He has published several articles in Admap . Dr Charles Bal was research manager and is now head of brandRapport France, a sponsorship and associative marketing consultancy owned by QobliQ Group. He has developed a new family of sponsorship measurements that take into account the highly emotional nature of sponsorship. As part of a cotutelle agreement between the University of Paris- 1 Panthéon Sorbonne (France) and the University of Adelaide (Australia), in 2010 Charles completed a PhD examining the role played by emotions in the sponsorship persuasion process. He has already presented his results at marketing conferences in Europe and Asia-Pacific, and has published his work in several international reviews ( Journal of Sponsorship , Asia-Pacific Journal of Marketing & Logistics , Admap ). Emoti-coms A mArkEting guidE to communicAting through Emotions From shouting to singing your message by XAviEr QuAttrocchi-oubrAdous & chArlEs bAl Hh HARRIMAN HOUSE LTD 3A Penns Road Petersfield Hampshire GU32 2EW GREAT BRITAIN Tel: +44 (0)1730 233870 Fax: +44 (0)1730 233880 Email: [email protected] Website: www.harriman-house.com First published in Great Britain in 2011 Copyright © Harriman House Ltd The right of Xavier Quattrocchi-Oubradous and Charles Bal to be identified as the Authors has been asserted in accordance with the Copyright, Design and Patents Act 1988. -
The UK Tex FAQ Your 469 Questions Answered Version 3.28, Date 2014-06-10
The UK TeX FAQ Your 469 Questions Answered version 3.28, date 2014-06-10 June 10, 2014 NOTE This document is an updated and extended version of the FAQ article that was published as the December 1994 and 1995, and March 1999 editions of the UK TUG magazine Baskerville (which weren’t formatted like this). The article is also available via the World Wide Web. Contents Introduction 10 Licence of the FAQ 10 Finding the Files 10 A The Background 11 1 Getting started.............................. 11 2 What is TeX?.............................. 11 3 What’s “writing in TeX”?....................... 12 4 How should I pronounce “TeX”?................... 12 5 What is Metafont?........................... 12 6 What is Metapost?........................... 12 7 Things with “TeX” in the name.................... 13 8 What is CTAN?............................ 14 9 The (CTAN) catalogue......................... 15 10 How can I be sure it’s really TeX?................... 15 11 What is e-TeX?............................ 15 12 What is PDFTeX?........................... 16 13 What is LaTeX?............................ 16 14 What is LaTeX2e?........................... 16 15 How should I pronounce “LaTeX(2e)”?................. 17 16 Should I use Plain TeX or LaTeX?................... 17 17 How does LaTeX relate to Plain TeX?................. 17 18 What is ConTeXt?............................ 17 19 What are the AMS packages (AMSTeX, etc.)?............ 18 20 What is Eplain?............................ 18 21 What is Texinfo?............................ 19 22 Lollipop................................ 19 23 If TeX is so good, how come it’s free?................ 19 24 What is the future of TeX?....................... 19 25 Reading (La)TeX files......................... 19 26 Why is TeX not a WYSIWYG system?................. 20 27 TeX User Groups............................ 21 B Documentation and Help 21 28 Books relevant to TeX and friends................... -
Control Domòtic Amb Arduino: UOC-Domo
0 CONTROL DOMÒTIC AMB ARDUINO UOC-DOMO Memòria de Projecte Final de Grau Disseny d’aplicacions interactives Grau Multimèdia Òscar Hidalgo Medrano Consultor: Kenneth Capseta Nieto Professor: Carlos Casado Martínez Barcelona, juny de 2016 Òscar Hidalgo Medrano Treball Final de Grau Crèdits/Copyright . Aquest treball està subjecte a una llicència Creative Commons del tipus: Reconeixement – No Comercial – Sense Obra Derivada (by-nc-nd: Attribution-NonCommercial-NoDerivateWorks) Llicència Creative Commons (by-nc-nd) . Quant al seu desenvolupament, es fa ús de programari i recursos que són propietat de tercers: Arduino (http://www.arduino.cc) Bootstrap (http://www.getbootstrap.com) Microsoft Office 2010 Professional Plus (http://www.microsoft.es) Notepad++ (http://www.notepad-plu-plus.org) MySQL (http://www.mysql.com) PHP (http://www.php.net) Amcharts (http://www.amcharts.com) Adobe Premiere PRO CS6 (www.adobe.com) 1 Òscar Hidalgo Medrano Treball Final de Grau Dedicatòria Vull dedicar aquest treball a la meva musa Laura i al meu fill Adrià, que amb la seva paciència, comprensió i amor, m’han donat sempre un suport incondicional per arribar a bon terme en aquesta etapa. Gràcies per animar-me a continuar i per fer més fàcil l’algoritme estudis, feina i família. Aquest treball en gran part també és vostre, gràcies. 2 Òscar Hidalgo Medrano Treball Final de Grau Abstract El projecte UOC-Domo s’ha creat per a la menció d’un perfil d’optativitat de disseny d’aplicacions interactives, corresponent a la titulació de Grau Multimèdia de la Universitat Oberta de Catalunya. Aquest treball, consisteix en l’elaboració d’un sistema de control domòtic amb el que podem obtenir dades ambientals de diferents sensors, distribuïts en diferents espais de la llar. -
The Fontspec Package Font Selection for X LE ATEX and Lualatex
The fontspec package Font selection for X LE ATEX and LuaLATEX WILL ROBERTSON With contributions by Khaled Hosny, Philipp Gesang, Joseph Wright, and others. http://wspr.io/fontspec/ 2020/02/21 v2.7i Contents I Getting started 5 1 History 5 2 Introduction 5 2.1 Acknowledgements ............................... 5 3 Package loading and options 6 3.1 Font encodings .................................. 6 3.2 Maths fonts adjustments ............................ 6 3.3 Configuration .................................. 6 3.4 Warnings ..................................... 6 4 Interaction with LATEX 2ε and other packages 7 4.1 Commands for old-style and lining numbers ................. 7 4.2 Italic small caps ................................. 7 4.3 Emphasis and nested emphasis ......................... 7 4.4 Strong emphasis ................................. 7 II General font selection 8 1 Main commands 8 2 Font selection 9 2.1 By font name ................................... 9 2.2 By file name ................................... 10 2.3 By custom file name using a .fontspec file . 11 2.4 Querying whether a font ‘exists’ ........................ 12 1 3 Commands to select font families 13 4 Commands to select single font faces 13 4.1 More control over font shape selection ..................... 14 4.2 Specifically choosing the NFSS family ...................... 15 4.3 Choosing additional NFSS font faces ....................... 16 4.4 Math(s) fonts ................................... 17 5 Miscellaneous font selecting details 18 III Selecting font features 19 1 Default settings 19 2 Working with the currently selected features 20 2.1 Priority of feature selection ........................... 21 3 Different features for different font shapes 21 4 Selecting fonts from TrueType Collections (TTC files) 23 5 Different features for different font sizes 23 6 Font independent options 24 6.1 Colour ..................................... -
The Free Font Movement
THEFREEFONTMOVEMENT david crossland Dissertation submitted in partial fulfilment of the requirements for the MA Typeface Design, University of Reading, 2008 Copyright © 2008 David Crossland This document is licensed under a ‘Creative Commons Attribution – No Derivative Works 3.0 Unported’ license. Verbatim copying and redistribution of this entire document is permitted worldwide, without royalty, in any medium, provided this notice is preserved. Full terms are available at http://creativecommons.org/licenses/by-nd/3.0/ Typeset on September 15, 2008 at 11:23, containing 13,739 words. Dedicated to +Fravia In the study of ideas, it is necessary to remember that insistence on hard-headed clarity issues from sentimental feeling, as it were a mist, cloaking the perplexities of fact. Insistence on clarity at all costs is based on sheer superstition as to the mode in which human intelligence functions. Our reasonings grasp at straws for premises and float on gossamers for deductions. — A. N. Whitehead, "Adventures in Ideas."(McLuhan, 1967) ACKNOWLEDGMENTS Many thanks to Ben Weiner, Nicolas Spalinger, Richard Stallman, Karl Berry, Benjamin Mako Hill, Jim Blandy, Raph Levien, Femke Pierre and Harrison at OSP, Bruce Perens, Pierre Marchand, Peter Linnel, Louis Dejardin, Miles Metcalfe, Ian Forrester, Bahi Para, Gus- tavo Ferreira, Andy Fitzsimon, Andy Ellis, Alexandre Prodoukine, Jon Philips, Ed Trager, Liam Quin, Rob Savoye, MJ Ray, Tom Lord, and Canny Kwok. iv ABSTRACT This dissertation examines the emerging free font movement, a small part of the larger free software and free culture movements. Part A provides an overview of key concepts in the free software and culture movements. -
TUGBOAT Volume 36, Number 1 / 2015
TUGBOAT Volume 36, Number 1 / 2015 General Delivery 2 Ab epistulis / Steve Peter 3 Editorial comments / Barbara Beeton Status of CTAN at Cambridge; RIP Brian Housley; Oh, zero! — Lucida news; First Annual Updike Prize; Talk by Tobias Frere-Jones; Monotype Recorder online; Doves Press type recovered; Textures resurfaces; LATEX vs. Word in academic publications; Miscellanea; A final admonishment 7 Hyphenation exception log / Barbara Beeton Fonts 8 What does a typical brief for a new typeface look like? / Thomas Phinney 10 Inconsolata unified / Michael Sharpe Typography 11 A TUG Postcard or, The Trials of a Letterpress Printer / Peter Wilson 15 Typographers’ Inn / Peter Flynn A L TEX 17 LATEX news, issue 21, May 2014 / LATEX Project Team 19 Beamer overlays beyond the \visible / Joseph Wright 20 Glisterings: Here or there; Parallel texts; Abort the compilation / Peter Wilson Electronic Documents 25 Online LATEX editors and other resources / Paweł Łupkowski 28 Exporting XML and ePub from ConTEXt / Hans Hagen Macros 32 The box-glue-penalty algebra of TEX and its use of \prevdepth / Frank Mittelbach Software & Tools 37 The bird and the lion: arara / Paulo Cereda 41 The SWIGLIB project / Luigi Scarso 48 Still tokens: LuaTEX scanners / Hans Hagen Hints & Tricks 55 The treasure chest / Karl Berry Book Reviews 57 Book review: Algorithmic Barriers Falling: P= NP?, by Donald E. Knuth and Edgar Daylight / David Walden 58 Book review: History of the Linotype Company, by Frank Romano / Boris Veytsman Abstracts 60 GUST: EuroBachoTEX 2014 proceedings 63 Die TEXnische Kom¨odie: Contents of issues 4/2014–1/2015 TUG Business 2 TUGboat editorial information 64 TUG 2015 election 68 TUG financial statements for 2014 / Karl Berry 69 TUG institutional members Advertisements 69 TEX consulting and production services News 71 TUG 2015 announcement 72 Calendar TEX Users Group Board of Directors TUGboat (ISSN 0896-3207) is published by the Donald Knuth, Grand Wizard of TEX-arcana † ∗ TEX Users Group.