Object Centric Deterministic Replay for Java
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Defending the Subjective Component of Susan Wolf's
Defending the Subjective Component of Susan Wolf’s “Fitting Fulfillment View” About Meaning in Life. Andreas Hjälmarö Andreas Hjälmarö Kandidatuppsats Filosofi, 15 hp. Ht 2016 Handledare Frans Svensson Umeå Universitet, Umeå Table of content Abstract ................................................................................................................................................... 3 1. Introduction ..................................................................................................................................... 4 2. Background ...................................................................................................................................... 5 2.1 The question .................................................................................................................................. 5 2.2 Common answers .......................................................................................................................... 8 The nihilistic view ............................................................................................................................ 8 The super-naturalistic view ............................................................................................................. 8 The naturalistic view ....................................................................................................................... 9 2.3 Wolf’s view – a combination ...................................................................................................... -
Models of Sociality After Idealism in Gadamer, Levinas, Rosenzweig, and Bonhoeffer Christopher J
University of South Florida Scholar Commons Graduate Theses and Dissertations Graduate School November 2017 From Object to Other: Models of Sociality after Idealism in Gadamer, Levinas, Rosenzweig, and Bonhoeffer Christopher J. King University of South Florida, [email protected] Follow this and additional works at: http://scholarcommons.usf.edu/etd Part of the Philosophy Commons, and the Religious Thought, Theology and Philosophy of Religion Commons Scholar Commons Citation King, Christopher J., "From Object to Other: Models of Sociality after Idealism in Gadamer, Levinas, Rosenzweig, and Bonhoeffer" (2017). Graduate Theses and Dissertations. http://scholarcommons.usf.edu/etd/7047 This Dissertation is brought to you for free and open access by the Graduate School at Scholar Commons. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Scholar Commons. For more information, please contact [email protected]. From Object to Other: Models of Sociality after Idealism in Gadamer, Levinas, Rosenzweig, and Bonhoeffer by Christopher J. King A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Philosophy with a concentration in Philosophy and Religion College of Arts and Sciences University of South Florida Co-Major Professor: Lee Braver, Ph.D. Co-Major Professor: Michael DeJonge, Ph.D. Cass Fisher, Ph.D. Michael Morris, Ph.D. Date of Approval: November 3, 2017 Keywords: ontology, dialogue, intersubjectivity, anthropology, -
Quantum Logical Causality, Category Theory, and the Metaphysics of Alfred North Whitehead
Quantum Logical Causality, Category Theory, and the Metaphysics of Alfred North Whitehead Connecting Zafiris’ Category Theoretic Models of Quantum Spacetime and the Logical-Causal Formalism of Quantum Relational Realism Workshop Venue: Swiss Federal Institute of Technology (ETH) Chair for Philosophy (building RAC) Raemistrasse 36, 8001 Zurich Switzerland January 29 – 30, 2010 I. Aims and Motivation Recent work in the natural sciences—most notably in the areas of theoretical physics and evolutionary biology—has demonstrated that the lines separating philosophy and science have all but vanished with respect to current explorations of ‘fundamental’ questions (e.g., string theory, multiverse cosmologies, complexity-emergence theories, the nature of mind, etc.). The centuries-old breakdown of ‘natural philosophy’ into the divorced partners ‘philosophy’ and ‘science,’ therefore, must be rigorously re- examined. To that end, much of today’s most groundbreaking scholarship in the natural sciences has begun to include explicit appeals to interdisciplinary collaboration among the fields of applied natural sciences, mathematics and philosophy. This workshop will be dedicated to the question of how a philosophical-metaphysical theory can be fruitfully applied to basic conceptualizations in the natural sciences. More narrowly, we will explore the process oriented metaphysical scheme developed by philosopher and mathematician Alfred North Whitehead (1861-1947) and Michael Epperson’s application of this scheme to recent work in quantum mechanics, and the relation of these to Elias Zafiris’s category theoretic model of quantum event structures. Our aim is to give participants from various fields of expertise (see list below) the opportunity to exchange their specialized knowledge in the context of a collaborative exploration of the fundamental questions raised by recent scholarship in physics and mathematics. -
Enrico Rubboli
Enrico Rubboli Contact Information Mobile UK: +44 741 4734233 Mobile IT: +39 349 8083244 E-mail: [email protected] Website: http://rubbo.li Personal Citizenship: Italian Information Gender: Male Date of Birth: 1976 October 27th Profile I'm a Senior Software Engineer with experience in several fields of web development. Switched to Ruby few years ago I can now boast several successful projects delivered. I'm currently searching for a new interesting opportunity in the fintech field. • 6 years of experience in Ruby and Rails • 14 years of overall experience as Web Developer • 14 years of experience in UNIX/networking/security • worked for the last 7 years with english speaking companies Technical Skills OS: GNU Linux (debian/arch), FreeBSD, OSX Programming: Ruby, Java, PHP, Perl, Bash/Zsh, C, Go lang Web & frameworks: Ruby on Rails, Sinatra, Symfony (PHP), JBoss (Java) and Torquebox (Jruby) TDD: JUnit, Rspec, Cucumber, Test:Unit Agile: Scrum, Pair Programming, XP Admins: Managing availability, scalability and efficiency of distributed systems, docker Networking: Firewalls (iptables/ipfw), IPsec, SSL, HTTP etc. Professional Experience Bitfinex - iFinex INC, Feb 2016 - present Role: Senior Software Engineer { Working in a very small team. { Different architectures and languages, in particular GoLang - Ruby and NodeJS. { Built the development environment on docker Company info: http://bitfinex.com - Hong Kong Burnside Digital Inc, Nov 2013 - Feb 2016 Role: Senior Software Engineer { Building apps using ruby on rails, nodeJS, AngularJS and Faye. { Assisting the sales team during the estimation process. { Leader of the web team Company info: http://burnsidedigital.com - Portland, OR, USA 1 of 2 Digital Science, Oct 2012 - Nov 2013 Role: Senior Software Engineer { Member of the central team. -
HUI What Is a Digital Object Metaphilosophy.Pdf
bs_bs_banner © 2012 The Author Metaphilosophy © 2012 Metaphilosophy LLC and Blackwell Publishing Ltd Published by Blackwell Publishing Ltd, 9600 Garsington Road, Oxford OX4 2DQ, UK, and 350 Main Street, Malden, MA 02148, USA METAPHILOSOPHY Vol. 43, No. 4, July 2012 0026-1068 WHAT IS A DIGITAL OBJECT? YUK HUI Abstract: We find ourselves in a media-intensive milieu comprising networks, images, sounds, and text, which we generalize as data and metadata. How can we understand this digital milieu and make sense of these data, not only focusing on their functionalities but also reflecting on our everyday life and existence? How do these material constructions demand a new philosophical understand- ing? Instead of following the reductionist approaches, which understand the digital milieu as abstract entities such as information and data, this article pro- poses to approach it from an embodied perspective: objects. The article contrasts digital objects with natural objects (e.g., apples on the table) and technical objects (e.g., hammers) in phenomenological investigations, and proposes to approach digital objects from the concept of “relations,” on the one hand the material relations that are concretized in the development of mark-up languages, such as SGML, HTML, and XML, and on the other hand, Web ontologies, the temporal relations that are produced and conditioned by the artificial memories of data. Keywords: digital objects, phenomenology, metadata, Stiegler, Simondon. In this article I attempt to outline what I call digital objects, showing that a philosophical investigation is necessary by revisiting the history of philosophy and proposing that it is possible to develop a philosophy of digital objects. -
Why Determinism in Physics Has No Implications for Free Will
Why determinism in physics has no implications for free will Michael Esfeld University of Lausanne, Department of Philosophy [email protected] (draft 8 October 2017) (paper for the conference “Causality, free will, divine action”, Vienna, 12 to 15 Sept. 2017) Abstract This paper argues for the following three theses: (1) There is a clear reason to prefer physical theories with deterministic dynamical equations: such theories are both maximally simple and maximally rich in information, since given an initial configuration of matter and the dynamical equations, the whole (past and future) evolution of the configuration of matter is fixed. (2) There is a clear way how to introduce probabilities in a deterministic physical theory, namely as answer to the question of what evolution of a specific system we can reasonably expect under ignorance of its exact initial conditions. This procedure works in the same manner for both classical and quantum physics. (3) There is no cogent reason to subscribe to an ontological commitment to the parameters that enter the (deterministic) dynamical equations of physics. These parameters are defined in terms of their function for the evolution of the configuration of matter, which is defined in terms of relative particle positions and their change. Granting an ontological status to them does not lead to a gain in explanation, but only to artificial problems. Against this background, I argue that there is no conflict between determinism in physics and free will (on whatever conception of free will), and, in general, point out the limits of science when it comes to the central metaphysical issues. -
A Post-Apocalyptic Sun.Misc.Unsafe World
A Post-Apocalyptic sun.misc.Unsafe World http://www.superbwallpapers.com/fantasy/post-apocalyptic-tower-bridge-london-26546/ Chris Engelbert Twitter: @noctarius2k Jatumba! 2014, 2015, 2016, … Disclaimer This talk is not going to be negative! Disclaimer But certain things are highly speculative and APIs or ideas might change by tomorrow! sun.misc.Scissors http://www.underwhelmedcomic.com/wp-content/uploads/2012/03/runningdude.jpg sun.misc.Unsafe - What you (don’t) know sun.misc.Unsafe - What you (don’t) know • Internal class (sun.misc Package) sun.misc.Unsafe - What you (don’t) know • Internal class (sun.misc Package) sun.misc.Unsafe - What you (don’t) know • Internal class (sun.misc Package) • Used inside the JVM / JRE sun.misc.Unsafe - What you (don’t) know • Internal class (sun.misc Package) • Used inside the JVM / JRE // Unsafe mechanics private static final sun.misc.Unsafe U; private static final long QBASE; private static final long QLOCK; private static final int ABASE; private static final int ASHIFT; static { try { U = sun.misc.Unsafe.getUnsafe(); Class<?> k = WorkQueue.class; Class<?> ak = ForkJoinTask[].class; example: QBASE = U.objectFieldOffset (k.getDeclaredField("base")); java.util.concurrent.ForkJoinPool QLOCK = U.objectFieldOffset (k.getDeclaredField("qlock")); ABASE = U.arrayBaseOffset(ak); int scale = U.arrayIndexScale(ak); if ((scale & (scale - 1)) != 0) throw new Error("data type scale not a power of two"); ASHIFT = 31 - Integer.numberOfLeadingZeros(scale); } catch (Exception e) { throw new Error(e); } } } sun.misc.Unsafe -
Characteristics of Dynamic JVM Languages
Characteristics of Dynamic JVM Languages Aibek Sarimbekov Andrej Podzimek Lubomir Bulej University of Lugano Charles University in Prague University of Lugano fi[email protected] [email protected]ff.cuni.cz fi[email protected] Yudi Zheng Nathan Ricci Walter Binder University of Lugano Tufts University University of Lugano fi[email protected] [email protected] fi[email protected] Abstract However, since the JVM was originally conceived for The Java Virtual Machine (JVM) has become an execution a statically-typed language, the performance of the JVM platform targeted by many programming languages. How- and its JIT compiler with dynamically-typed languages is ever, unlike with Java, a statically-typed language, the per- often lacking, lagging behind purpose-built language-specific formance of the JVM and its Just-In-Time (JIT) compiler JIT compilers. Making the JVM perform well with various with dynamically-typed languages lags behind purpose-built statically- and dynamically-typed languages clearly requires language-specific JIT compilers. In this paper, we aim to significant effort, not only in optimizing the JVM itself, but contribute to the understanding of the workloads imposed on also, more importantly, in optimizing the bytecode-emitting the JVM by dynamic languages. We use various metrics to language compiler, instead of just relying on the original JIT characterize the dynamic behavior of a variety of programs to gain performance [8]. This in turn requires that developers written in three dynamic languages (Clojure, Python, and of both the language compilers and the JVM understand the Ruby) executing on the JVM. We identify the differences characteristics of the JVM workloads produced by various with respect to Java, and briefly discuss their implications. -
Ola Bini Computational Metalinguist [email protected] 698E 2885 C1DE 74E3 2CD5 03AD 295C 7469 84AF 7F0C
JRuby For The Win Ola Bini computational metalinguist [email protected] http://olabini.com/blog 698E 2885 C1DE 74E3 2CD5 03AD 295C 7469 84AF 7F0C onsdag 12 juni 13 Logistics and Demographics onsdag 12 juni 13 LAST MINUTE DEMO onsdag 12 juni 13 JRuby Implementation of the Ruby language Java 1.6+ 1.8.7 and 1.9.3 compatible (experimental 2.0 support) Open Source Created 2001 Embraces testing Current version: 1.7.4 Support from EngineYard, RedHat & ThoughtWorks onsdag 12 juni 13 Why JRuby? Threading Unicode Performance Memory Explicit extension API and OO internals Libraries and legacy systems Politics onsdag 12 juni 13 InvokeDynamic onsdag 12 juni 13 JRuby Differences Most compatible alternative implementation Native threads vs Green threads No C extensions (well, some) No continuations No fork ObjectSpace disabled by default onsdag 12 juni 13 Simple JRuby onsdag 12 juni 13 Java integration Java types == Ruby types Call methods, construct instances Static generation of classes camelCase or snake_case .getFoo(), setFoo(v) becomes .foo and .foo = v Interfaces can be implemented Classes can be inherited from Implicit closure conversion Extra added features to Rubyfy Java onsdag 12 juni 13 Ant+Rake onsdag 12 juni 13 Clojure STM onsdag 12 juni 13 Web onsdag 12 juni 13 Rails onsdag 12 juni 13 Sinatra onsdag 12 juni 13 Trinidad onsdag 12 juni 13 Swing Swing API == large and complex Ruby magic simplifies most of the tricky bits Java is a very verbose language Ruby makes Swing fun (more fun at least) No consistent cross-platform GUI library for Ruby -
Android Geeknight Presentation 2011-03
Android Geek Night 3.0 Per Nymann Jørgensen [email protected] Niels Sthen Hansen [email protected] Android Geek Night 3.0 Android at a glance New features in Gingerbread & Honeycomb Demos & Code Android 101 Operating system targeting mobile devices/Tables devices Linux based - with additions Open source under the Apache License Allows development in Java Share of worldwide 2010 Q4 smartphone sales to end users by Or Scala, JRuby, Groovy .. operating system, according toCanalys.[35] Two new versions just came out.. Android 101 - Dalvik VM Virtual machine developed by Google for mobile devices Uses the Dalvik Executable (.dex) format Designed for limited processing power and memory Register-based architecture as opposed to stack machine Java VMs Class library based on Apache Harmony No AWT, Swing No Java ME Android 101 - SDK Android libraries The SDK and AVD manager, for maintaining the SDK components and creating virtual devices LogCat to capture logs from running device DDMS – Dalvik Debug Monitor Tools to convert Java .class files to Dalvik bytecode and create installable .apk files Plugin for Eclipse - Android Development Tools (ADT) Android 101 - Components Activity GUI Service non-GUI Broadcast Receiver Events Content Provider Exposing data/content across applications An Android application can be seen as a collection of components. Android API 10 New stuff New Sensors / New Sensor APIs Gyroscope Rotation vector Acceleration Linear acceleration (acceleration without gravity) Gravity (gravity without acceleration) Barometer (air pressure) Android API 10 New stuff NFC Short range wireless communication. Do not require discovery or pairing Supported mode as of 2.3.3 (reader/writer/P2P limited) Enable application like Mobile ticketing (dare we say rejsekort), Smart poster, etc. -
Reading the Runes for Java Runtimes the Latest IBM Java Sdks
Java Technology Centre Reading the runes for Java runtimes The latest IBM Java SDKs ... and beyond Tim Ellison [email protected] © 2009 IBM Corporation Java Technology Centre Goals . IBM and Java . Explore the changing landscape of hardware and software influences . Discuss the impact to Java runtime technology due to these changes . Show how IBM is leading the way with these changes 2 Mar 9, 2009 © 2009 IBM Corporation Java Technology Centre IBM and Java . Java is critically important to IBM – Provides fundamental infrastructure to IBM software portfolio – Delivers standard development environment – Enables cost effective multi platform support – Delivered to Independent Software Vendors supporting IBM server platforms . IBM is investing strategically in virtual machine technology – Since Java 5.0, a single Java platform technology supports ME, SE and EE – Technology base on which to delivery improved performance, reliability and serviceability • Some IBM owned code (Virtual machine, JIT compiler, ...) • Some open source code (Apache XML parser, Apache Core libraries, Zlib, ...) • Some Sun licensed code (class libraries, tools, ...) . Looking to engender accelerated and open innovation in runtime technologies – Support for Eclipse, Apache (Harmony, XML, Derby, Geronimo, Tuscany) – Broad participation of relevant standards bodies such as JCP and OSGi 3 Mar 9, 2009 © 2009 IBM Corporation Java Technology Centre IBM Java – 2009 key initiatives . Consumability – Deliver value without complexity. – Ensure that problems with our products can be addressed quickly, allowing customers to keep focus on their own business issues. – Deliver a consistent model for solving customer problems. “Scaling Up” - Emerging hardware and applications – Provide a Java implementation that can scale to the most demanding application needs. -
Gottfried Wilhelm Leibniz Papers, 1646-1716
http://oac.cdlib.org/findaid/ark:/13030/kt2779p48t No online items Finding Aid for the Gottfried Wilhelm Leibniz Papers, 1646-1716 Processed by David MacGill; machine-readable finding aid created by Caroline Cubé © 2003 The Regents of the University of California. All rights reserved. Finding Aid for the Gottfried 503 1 Wilhelm Leibniz Papers, 1646-1716 Finding Aid for the Gottfried Wilhelm Leibniz Papers, 1646-1716 Collection number: 503 UCLA Library, Department of Special Collections Manuscripts Division Los Angeles, CA Processed by: David MacGill, November 1992 Encoded by: Caroline Cubé Online finding aid edited by: Josh Fiala, October 2003 © 2003 The Regents of the University of California. All rights reserved. Descriptive Summary Title: Gottfried Wilhelm Leibniz Papers, Date (inclusive): 1646-1716 Collection number: 503 Creator: Leibniz, Gottfried Wilhelm, Freiherr von, 1646-1716 Extent: 6 oversize boxes Repository: University of California, Los Angeles. Library. Dept. of Special Collections. Los Angeles, California 90095-1575 Abstract: Leibniz (1646-1716) was a philosopher, mathematician, and political advisor. He invented differential and integral calculus. His major writings include New physical hypothesis (1671), Discourse on metaphysics (1686), On the ultimate origin of things (1697), and On nature itself (1698). The collection consists of 35 reels of positive microfilm of more than 100,000 handwritten pages of manuscripts and letters. Physical location: Stored off-site at SRLF. Advance notice is required for access to the collection. Please contact the UCLA Library, Department of Special Collections Reference Desk for paging information. Language: English. Restrictions on Use and Reproduction Property rights to the physical object belong to the UCLA Library, Department of Special Collections.