A Time Travelling Debugger for Python
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Implications for a Future Information Theory Based on Vacuum 1 Microtopology
Getting Something Out of Nothing: Implications for a Future Information Theory Based on Vacuum 1 Microtopology William Michael Kallfelz 2 Committee for Philosophy and the Sciences University of Maryland at College Park Abstract (word count: 194) Submitted October 3, 2005 Published in IANANO Conference Proceedings : October 31-November 4, 2005 3 Contemporary theoretical physicists H. S. Green and David R. Finkelstein have recently advanced theories depicting space-time as a singular limit, or condensate, formed from fundamentally quantum micro topological units of information, or process (denoted respectively by ‘qubits,’ or ‘chronons.’) H. S. Green (2000) characterizes the manifold of space-time as a parafermionic statistical algebra generated fundamentally by qubits. David Finkelstein (2004a-c) models the space-time manifold as singular limit of a regular structure represented by a Clifford algebra, whose generators γ α represent ‘chronons,’ i.e., elementary quantum processes. Both of these theories are in principle experimentally testable. Green writes that his parafermionic embeddings “hav[e] an important advantage over their classical counterparts [in] that they have a direct physical interpretation and their parameters are in principle observable.” (166) David Finkelstein discusses in detail unique empirical ramifications of his theory in (2004b,c) which most notably include the removal of quantum field-theoretic divergences. Since the work of Shannon and Hawking, associations with entropy, information, and gravity emerged in the study of Hawking radiation. Nowadays, the theories of Green and Finkelstein suggest that the study of space-time lies in the development of technologies better able to probe its microtopology in controlled laboratory conditions. 1 Total word count, including abstract & footnotes: 3,509. -
TARDIS: Affordable Time-Travel Debugging in Managed Runtimes
TARDIS: Affordable Time-Travel Debugging in Managed Runtimes Earl T. Barr Mark Marron University College London Microsoft Research [email protected] [email protected] Abstract 1. Introduction Developers who set a breakpoint a few statements too late or Developers spend a great deal of time debugging. Skilled de- who are trying to diagnose a subtle bug from a single core velopers apply the scientific method: they observe a buggy dump often wish for a time-traveling debugger. The ability program’s behavior on different inputs, first to reproduce the to rewind time to see the exact sequence of statements and bug, then to localize the bug in the program’s source. Re- program values leading to an error has great intuitive appeal producing, localizing, then fixing a bug involves forming but, due to large time and space overheads, time-traveling and validating hypotheses about the bug’s root cause, the debuggers have seen limited adoption. first point at which the program’s state diverges from the in- A managed runtime, such as the Java JVM or a JavaScript tended state. To validate a hypothesis, a developer must halt engine, has already paid much of the cost of providing core program execution and examine its state. Especially early in features — type safety, memory management, and virtual debugging, when the developer’s quarry is still elusive, she IO — that can be reused to implement a low overhead time- will often halt execution too soon or too late to validate her traveling debugger. We leverage this insight to design and current hypothesis. -
Supervised Language Modeling for Temporal Resolution of Texts
Supervised Language Modeling for Temporal Resolution of Texts Abhimanu Kumar Matthew Lease Jason Baldridge Dept. of Computer Science School of Information Department of Linguistics University of Texas at Austin University of Texas at Austin University of Texas at Austin [email protected] [email protected] [email protected] ABSTRACT describe any form of communication without cables (e.g. internet We investigate temporal resolution of documents, such as deter- access). As such, the word wireless embodies implicit time cues, mining the date of publication of a story based on its text. We a notion we might generalize by inferring its complete temporal describe and evaluate a model that build histograms encoding the distribution as well as that of all other words. By harnessing many probability of different temporal periods for a document. We con- such implicit cues in combination across a document, we might fur- struct histograms based on the Kullback-Leibler Divergence be- ther infer a unique temporal distribution for the overall document. tween the language model for a test document and supervised lan- As in prior document dating studies, we partition the timeline guage models for each interval. Initial results indicate this language (and document collection) to infer an unique language model (LM) modeling approach is effective for predicting the dates of publica- underlying each time period [10, 14]. While prior work consid- tion of short stories, which contain few explicit mentions of years. ered texts from the past 10-20 years, our work is more historically- oriented, predicting publication dates for historical works of fiction. -
Sindarin: a Versatile Scripting API for the Pharo Debugger
Sindarin: A Versatile Scripting API for the Pharo Debugger Thomas Dupriez Guillermo Polito Steven Costiou Univ. Lille, CNRS, Centrale Lille, CNRS - UMR 9189 - CRIStAL, Univ. Inria, Univ. Lille, CNRS, Centrale Inria, UMR 9189 - CRIStAL Lille, Centrale Lille, Inria Lille, UMR 9189 - CRIStAL France France France [email protected] [email protected] [email protected] Vincent Aranega Stéphane Ducasse Univ. Lille, CNRS, Centrale Lille, Inria, Univ. Lille, CNRS, Centrale Inria, UMR 9189 - CRIStAL Lille, UMR 9189 - CRIStAL France France [email protected] [email protected] Abstract Studies and work on debugging acknowledge that main- Debugging is one of the most important and time consuming stream debuggers are not well adapted to several debugging activities in software maintenance, yet mainstream debuggers scenarios [3, 27, 31]. This has led to the appearance of new de- are not well-adapted to several debugging scenarios. This bugging techniques proposing to augment traditional interac- has led to the research of new techniques covering specific tive debuggers with, e.g., stateful breakpoints [4], control-flow families of complex bugs. Notably, recent research proposes aware breakpoints [5], object-centric breakpoints [10, 34], the to empower developers with scripting DSLs, plugin-based and automatic insertion of breakpoints based on dynamic execu- moldable debuggers. However, these solutions are tailored to tions [45], or declarative statements from the developer [21]. specific use-cases, or too costly for one-time-use scenarios. A line of research has also started to study scripting APIs to In this paper we argue that exposing a debugging scripting empower developers to implement debugging scripts adapted interface in mainstream debuggers helps in solving many chal- to their needs. -
Arxiv:Quant-Ph/0206117V3 1 Sep 2002
Preprint NSF-ITP-02-62 A SIMPLE QUANTUM EQUATION FOR DECOHERENCE AND DISSIPATION (†) Erasmo Recami Facolt`adi Ingegneria, Universit`astatale di Bergamo, Dalmine (BG), Italy; INFN—Sezione di Milano, Milan, Italy; and Kavli Institute for Theoretical Physics, UCSB, CA 93106, USA. Ruy H. A. Farias LNLS - Synchrotron Light National Laboratory; Campinas, S.P.; Brazil. [email protected] Abstract – Within the density matrix formalism, it is shown that a simple way to get decoherence is through the introduction of a “quantum” of time (chronon): which implies replacing the differential Liouville–von Neumann equation with a finite-difference version of it. In this way, one is given the possibility of using a rather simple quantum equation to describe the decoherence effects due to dissipation. Namely, the mere introduction (not of a “time-lattice”, but simply) of a “chronon” allows us to go on from differential to finite-difference equations; and in particular to write down the quantum-theoretical equations (Schroedinger equation, Liouville–von Neumann equation,...) in three different ways: “retarded”, “symmetrical”, and “advanced”. One of such three formulations —the arXiv:quant-ph/0206117v3 1 Sep 2002 retarded one— describes in an elementary way a system which is exchanging (and losing) energy with the environment; and in its density-matrix version, indeed, it can be easily shown that all non-diagonal terms go to zero very rapidly. keywords: quantum decoherence, interaction with the environment, dissipation, quan- tum measurement theory, finite-difference equations, chronon, Caldirola, density-matrix formalism, Liouville–von Neumann equation (†) This reasearch was supported in part by the N.S.F. under Grant No.PHY99-07949; and by INFN and Murst/Miur (Italy). -
Electro-Gravity Via Geometric Chronon Field
Physical Science International Journal 7(3): 152-185, 2015, Article no.PSIJ.2015.066 ISSN: 2348-0130 SCIENCEDOMAIN international www.sciencedomain.org Electro-Gravity via Geometric Chronon Field Eytan H. Suchard1* 1Geometry and Algorithms, Applied Neural Biometrics, Israel. Author’s contribution The sole author designed, analyzed and interpreted and prepared the manuscript. Article Information DOI: 10.9734/PSIJ/2015/18291 Editor(s): (1) Shi-Hai Dong, Department of Physics School of Physics and Mathematics National Polytechnic Institute, Mexico. (2) David F. Mota, Institute of Theoretical Astrophysics, University of Oslo, Norway. Reviewers: (1) Auffray Jean-Paul, New York University, New York, USA. (2) Anonymous, Sãopaulo State University, Brazil. (3) Anonymous, Neijiang Normal University, China. (4) Anonymous, Italy. (5) Anonymous, Hebei University, China. Complete Peer review History: http://sciencedomain.org/review-history/9858 Received 13th April 2015 th Original Research Article Accepted 9 June 2015 Published 19th June 2015 ABSTRACT Aim: To develop a model of matter that will account for electro-gravity. Interacting particles with non-gravitational fields can be seen as clocks whose trajectory is not Minkowsky geodesic. A field, in which each such small enough clock is not geodesic, can be described by a scalar field of time, whose gradient has non-zero curvature. This way the scalar field adds information to space-time, which is not anticipated by the metric tensor alone. The scalar field can’t be realized as a coordinate because it can be measured from a reference sub-manifold along different curves. In a “Big Bang” manifold, the field is simply an upper limit on measurable time by interacting clocks, backwards from each event to the big bang singularity as a limit only. -
DISCRETE SPACETIME QUANTUM FIELD THEORY Arxiv:1704.01639V1
DISCRETE SPACETIME QUANTUM FIELD THEORY S. Gudder Department of Mathematics University of Denver Denver, Colorado 80208, U.S.A. [email protected] Abstract This paper begins with a theoretical explanation of why space- time is discrete. The derivation shows that there exists an elementary length which is essentially Planck's length. We then show how the ex- istence of this length affects time dilation in special relativity. We next consider the symmetry group for discrete spacetime. This symmetry group gives a discrete version of the usual Lorentz group. However, it is much simpler and is actually a discrete version of the rotation group. From the form of the symmetry group we deduce a possible explanation for the structure of elementary particle classes. Energy- momentum space is introduced and mass operators are defined. Dis- crete versions of the Klein-Gordon and Dirac equations are derived. The final section concerns discrete quantum field theory. Interaction Hamiltonians and scattering operators are considered. In particular, we study the scalar spin 0 and spin 1 bosons as well as the spin 1=2 fermion cases arXiv:1704.01639v1 [physics.gen-ph] 5 Apr 2017 1 1 Why Is Spacetime Discrete? Discreteness of spacetime would follow from the existence of an elementary length. Such a length, which we call a hodon [2] would be the smallest nonzero measurable length and all measurable lengths would be integer mul- tiplies of a hodon [1, 2]. Applying dimensional analysis, Max Planck discov- ered a fundamental length r G ` = ~ ≈ 1:616 × 10−33cm p c3 that is the only combination of the three universal physical constants ~, G and c with the dimension of length. -
Cellular Timekeeping: It's Redox O'clock
Downloaded from http://cshperspectives.cshlp.org/ on October 6, 2021 - Published by Cold Spring Harbor Laboratory Press Cellular Timekeeping: It’s Redox o’Clock Nikolay B. Milev,1 Sue-Goo Rhee,2 and Akhilesh B. Reddy1,3 1The Francis Crick Institute, London NW1 1AT, United Kingdom 2Yonsei University College of Medicine, Seodaemun-gu, Seoul 120-752, Korea 3UCL Institute of Neurology, London WC1N 3BG, United Kingdom Correspondence: [email protected] Mounting evidence in recent years supports the extensive interaction between the circadian and redox systems. The existence of such a relationship is not surprising because most organisms, be they diurnal or nocturnal, display daily oscillations in energy intake, locomo- tor activity,and exposure to exogenous and internally generated oxidants. The transcriptional clock controls the levels of many antioxidant proteins and redox-active cofactors, and, conversely, the cellular redox poise has been shown to feed back to the transcriptional oscillator via redox-sensitive transcription factors and enzymes. However, the circadian cycles in the S-sulfinylation of the peroxiredoxin (PRDX) proteins constituted the first example of an autonomous circadian redox oscillation, which occurred independently of the transcriptional clock. Importantly, the high phylogenetic conservation of these rhythms suggests that they might predate the evolution of the transcriptional oscillator, and therefore could be a part of a primordial circadian redox/metabolic oscillator. This discovery forced the reappraisal of the dogmatic transcription-centered view of the clockwork and opened a new avenue of research. Indeed, the investigation into the links between the circadian and redox systems is still in its infancy, and many important questions remain to be addressed. -
Istituto Nazionale Di Fisica Nucleare
IT9900041 ISTITUTO NAZIONALE DI FISICA NUCLEARE Sezione di Milano INFN/AE-98/08 22 Aprile 1998 R.H.A. Farias, E. Recami: INTRODUCTION OF A QUANTUM OF TIME ("CHRONON") AND ITS CONSEQUENCES FOR QUANTUM MECHANICS Published by SIS-Pubblicazioni Laboraxori Nazionali di Frascati 30-11 J> INFN - Istituto Nazionale di Fisica Nudeare Sezione di Milano INFN/AE-98/08 22 Aprile 1998 INTRODUCTION OF A QUANTUM OF TIME ("CHRONON") AND ITS CONSEQUENCES FOR QUANTUM MECHANICS'" Ruy H. A. FARIAS LNLS - Laboratorio National it Luz Sincrotron, Campinas, S.P., Brazil and Erasmo RECAMI Facolta di Ingegneria, Universitd statale di Bergamo, 24044~Dalmine (BG), Italy; INFN-Seziont di Milano, Milan, Italy; and D.M.O.-FEEC, and C.C.S., State University at Campinas, Campinas, S.P., Brazil. Abstract — We discuss the consequences of the introduction of a quantum of time r0 in the formalism of non-relativistic quantum mechanics, by referring ourselves in particular to the theory of the chronon as proposed by P.Caldirola. Such an interesting "finite difference" theory, forwards —at the classical level— a solution for the motion of a particle endowed with a non-negligible charge in an external electromagnetic field, overcoming all the known difficulties met by Abraham-Lorentz's and Dirac's approaches (and even allowing a clear answer to the question whether a free falling charged particle does or does not emit radiation), and —at the quantum level— yields a remarkable mass spectrum for leptons. After having briefly reviewed Caldirola's approach, our first aim is to work out, discuss, and compare one another the new representations of Quantum Mechanics (QM) resulting from it, in the Schrodinger, Heisenberg and density-operator (Liouville-von Neumann) pictures, respectively. -
Relativity for Qft
CHOOSING THE RIGHT RELATIVITY FOR QFT Leonardo Chiatti AUSL VT Medical Physics Laboratory Via Enrico Fermi 15, 01100 Viterbo, Italy The reforms of our spacetime world, made necessary by the theory of relativity and characterized by the constant c, the uncertainty relations which can be symbolized by Planck’s constant h, will need to be supplemented by new limitations in relation with the universal constants e, µ, M. It is not yet possible to foresee which form these limitations will have. W. Heisenberg, 1929 Summary When speaking of the unification of quantum mechanics and relativity, one normally refers to special relativity (SR) or to Einstein’s general relativity (GR). The Dirac and Klein-Gordon wave equations are an example of unification of quantum concepts and concepts falling within the domain of SR. Current relativistic QFT derives from the transcription of these equations into second quantization formalism. Many researchers hope that the unification of QFT with GR can solve the problems peculiar to QFT (divergences) and to GR (singularities). In this article, a different strategy is proposed, in an informal manner. Firstly, emphasis is laid on the importance of the transaction notion for quantum theories, introduced by Cramer in the eighties and generalized by the author of this article. In addition, the unification is discussed of QFT not with SR or with GR, but with their "projective” extensions (PSR, PGR respectively) introduced between 1954 and 1995 by Fantappié and Arcidiacono. The existence emerges of new fundamental constants of nature, whose significance is discussed. It is assumed that this new context can be a suitable background for the analysis of specific QFT (quark confinement, divergences, α- quantization of elementary particle masses and decay times) and PGR (gravitational collapse) problems. -
Modeling Circadian Clocks: Roles, Advantages, and Limitations
Cent. Eur. J. Biol.• 6(5) • 2011 • 712-729 DOI: 10.2478/s11535-011-0062-4 Central European Journal of Biology Modeling circadian clocks: Roles, advantages, and limitations Review Article Didier Gonze1,2,* 1Unité de Chronobiologie Théorique, Service de Chimie Physique, Université Libre de Bruxelles, Campus Plaine, B-1050 Brussels, Belgium 2Laboratoire de Bioinformatique des Génomes et des Réseaux, Faculté des Sciences, Université Libre de Bruxelles Campus Plaine, B-1050 Brussels, Belgium Received 31 January 2011; Accepted 17 June 2011 Abstract: Circadian rhythms are endogenous oscillations characterized by a period of about 24h. They constitute the biological rhythms with the longest period known to be generated at the molecular level. The abundance of genetic information and the complexity of the molecular circuitry make circadian clocks a system of choice for theoretical studies. Many mathematical models have been proposed to understand the molecular regulatory mechanisms that underly these circadian oscillations and to account for their dynamic properties (temperature compensation, entrainment by light dark cycles, phase shifts by light pulses, rhythm splitting, robustness to molecular noise, intercellular synchronization). The roles and advantages of modeling are discussed and illustrated using a variety of selected examples. This survey will lead to the proposal of an integrated view of the circadian system in which various aspects (interlocked feedback loops, inter-cellular coupling, and stochasticity) should be considered together to understand the design and the dynamics of circadian clocks. Some limitations of these models are commented and challenges for the future identified. Keywords: Mathematical modeling • Circadian rhythms • Interlocked feedback loops • Temperature compensation • Molecular noise • Synchronisation © Versita Sp. -
Can Discrete Time Make Continuous Space Look Discrete?
European Journal of Philosophy of Science, volume 4, number 1 (2014): 19–30. The final publication is available at Springer via http://dx.doi.org/10.1007/s13194-013-0072-3. Can Discrete Time Make Continuous Space Look Discrete? Claudio Mazzola† Abstract Van Bendegem has recently offered an argument to the effect that that, if time is discrete, then there should exist a correspondence between the motions of massive bodies and a discrete geometry. On this basis, he concludes that, even if space is continuous, it should nonetheless appear discrete. This paper examines the two possible ways of making sense of that correspondence, and shows that in neither case van Bendegem’s conclusion logically follows. Keywords: Chronon, Hodon, Jerky Motion, Teleportation. 1. Introduction Physics textbooks tell us that time is continuous. This is to say that all finite temporal intervals possess more than denumerably many proper subintervals – or, which is the same, that time is composed of durationless instants, which can be put into a one-one correspondence with the totality of the real numbers. Since the advent of quantum mechanics, on the other hand, physicists have started entertaining the idea that time could be discrete: that is, that every finite interval of time possess only finitely many proper subintervals (Kragh and Carazza 1994). This hypothesis has most frequently taken the form of a temporal kind of atomism, according to which time is composed by extended yet indivisible temporal atoms, also known as chronons.1 Contrary to instants, chronons can be put into a one- one correspondence with a (possibly improper) subset of the natural numbers, and (unless in the † School of Historical and Philosophical Inquiry, Forgan Smith Building (1), The University of Queensland, St Lucia, QLD 4072, Australia.