🦞🌯 Lobster Roll

Thread

Is POPL Mathematics or Science? (cs.princeton.edu)

Stories related to "Is POPL Mathematics or Science?" across the full archive.

Is POPL Mathematics or Science? (cs.princeton.edu)
This is How Science Happens (hillelwayne.com)
POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs" (github.com)
Quantum programming languages enable developers to implement algorithms for quantum computers that promise computational breakthroughs in classically intractable tasks. Programming quantum computers requires awareness of entanglement, the phenomenon in which measurement outcomes of qubits are correl...
Syntax-Directed Recognition of Hand-Printed Two-Dimensional Mathematics (1967) (github.com)
The Laws of Computing - A look from the Forth side (exemark.com)
Designing mathematics standards in agreement with science [pdf] (iejme.com)
Designing mathematics standards in agreement with science (2023) [pdf] (iejme.com)
Mathematics for Computer Science [pdf] (people.csail.mit.edu)
Mathematics for Computer Science (2018) [pdf] (courses.csail.mit.edu)
Mathematics for Computer Science [pdf] (courses.csail.mit.edu)
The Surprising Science and Hidden History of Traditional String Figures (scitechdaily.com)
Crafting string figures — a tradition found across the globe — might reveal a shared cultural heritage that spans thousands of years. New research combines ancient creativity with modern mathematical tools to trace the evolution and spread of this timeless practice. Patterns of Tradition Across Cult...
The Unreasonable Effectiveness of Mathematics in the Natural Sciences [pdf] (web.njit.edu)
The Unreasonable Effectiveness of Mathematics in the Natural Sciences (1959) [pdf] (mcs.une.edu.au)
Wigner: Unreasonable Effectivenss of Mathematics in the Natural Sciences [pdf] (maths.ed.ac.uk)
The Unreasonable Effectiveness of Mathematics in the Natural Sciences [pdf] (web.njit.edu)
Mathematics for Computer Science [pdf] (ocw.mit.edu)
Topics in Mathematics of Data Science [pdf] (people.math.ethz.ch)
Mathematics for Computer Science (2018) [pdf] (courses.csail.mit.edu)
Mathematics for Computer Science (2018) [pdf] (courses.csail.mit.edu)
Cycles, Cells and Platters: An Empirical Analysis of Hardware Failures on a Million Consumer PCs (research.microsoft.com)
Microsoft Research. Abstract: We present the first large-scale analysis of hardware failure rates on a million consumer PCs. We find that many failures are neither transient nor independent. Instead, a large portion of hardware induced failures are recurrent: a machine that crashes from a fault in har...
Mars Science Laboratory Curiosity Landing Timeline: What to Expect Tonight (spectrum.ieee.org)
Mars Science Laboratory: Raw Images (mars.jpl.nasa.gov)
The kilo is losing weight, changing all of science, but unfortunately we don’t know why (extremetech.com)
Physics Database: Free Science Books (physicsdatabase.com)
Code review for science: What we learned | Mozilla Science Lab (mozillascience.org)
The Near Impossibility of Measuring Returns to Advertising (papers.ssrn.com)
Authors are economists at Google and Microsoft.
Water Filtration Using Plant Xylem (plos.org)
Singe: Leveraging Warp Specialization for High Performance on GPUs (theory.stanford.edu)
Improving GitHub for science (github.com)
Nature Methods Journal makes transition to open science (opensource.com)
From closed to open, the journal now embraces open science practices with the purpose of enabling true reproducible research.