esoteric   13395

« earlier    

Langley Formal Methods Program • César Muñoz • The Martian
Since the release of the science fiction film The Martian in 2015, movie fans have been speculating in internet forums about the source code that is displayed in computer screens in some scenes of the movie. Some fans have jokingly guessed “alien technology”, others claimed to be “gibberish”, and the most informed have noticed similarities with programming languages such as as Lisp, Prolog, and, even, Pascal.
PLT  esoteric  cinema  lisp  formal-methods 
yesterday by kmt
The Metallic Vapor Layers
A natural global layer (usually about 3 miles thick) of sodium atoms exists between about 50 and 65 miles (80 and 105 km) altitude. The sodium originates from the ablation of meteors. The atoms are naturally excited and emit a weak glow near a wavelength of 589 nm (yellow) known as "the sodium D lines". Above the layer, sodium exists in its ionized form (which does not emit yellow light) and below the layer, sodium exists as chemical compounds such as sodium oxide (which also do not emit yellow light).
physics  chemistry  astrophysics  geophysics  esoteric 
3 days ago by kmt
Oracle Labs PGX: Parallel Graph AnalytiX Overview
PGX is a toolkit for graph analysis - both running algorithms such as PageRank against graphs, and performing SQL-like pattern-matching against graphs, using the results of algorithmic analysis.  Algorithms are parallelized for extreme performance. The PGX toolkit includes both a single-node in-memory engine, and a distributed engine for extremely large graphs. Graphs can be loaded from a variety of sources including flat files, SQL and NoSQL databases and Apache Spark and Hadoop; incremental updates are supported.
data-analysis  big-data  esoteric  SQL  oracle 
16 days ago by kmt
.:: Phrack Magazine ::.
1 - Introduction
2 - Background
2.1 - A Brief History of Java Sandbox Exploits
2.2 - The Java Platform
2.3 - The Security Manager
2.4 - The doPrivileged Method
3 - Memory Corruption Vulnerabilities
3.1 - Type Confusion
3.1.1 - Background
3.1.2 - Example: CVE-2017-3272
3.1.3 - Discussion
3.2 - Integer Overflow
3.2.1 - Background
3.2.2 - Example: CVE-2015-4843
3.2.3 - Discussion
4 - Java Level Vulnerabilities
4.1 - Confused Deputy
4.1.1 - Background
4.1.2 - Example: CVE-2012-4681
4.1.3 - Discussion
4.2 - Uninitialized Instance
4.2.1 - Background
4.2.2 - Example: CVE-2017-3289
4.2.3 - Discussion
4.3 - Trusted Method Chain
4.3.1 - Background
4.3.2 - Example: CVE-2010-0840
4.3.3 - Discussion
4.4 - Serialization
4.4.1 - Background
4.4.2 - Example: CVE-2010-0094
4.4.3 - Discussion
5 - Conclusion
6 - References
7 - Attachments
security  esoteric  java  reference  tips-and-tricks 
17 days ago by kmt
lmcinnes/umap: Uniform Manifold Approximation and Projection
Uniform Manifold Approximation and Projection (UMAP) is a dimension reduction technique that can be used for visualisation similarly to t-SNE, but also for general non-linear dimension reduction. The algorithm is founded on three assumptions about the data

The data is uniformly distributed on a Riemannian manifold;
The Riemannian metric is locally constant (or can be approximated as such);
The manifold is locally connected.
From these assumptions it is possible to model the manifold with a fuzzy topological structure. The embedding is found by searching for a low dimensional projection of the data that has the closest possible equivalent fuzzy topological structure.

The details for the underlying mathematics can be found in our paper on ArXiv:

McInnes, L, Healy, J, UMAP: Uniform Manifold Approximation and Projection for Dimension Reduction, ArXiv e-prints 1802.03426, 2018
stats  machine-learning  esoteric  tips-and-tricks 
18 days ago by kmt
Mystery Languages
How do you learn a new language? Do you simply read its reference manual, and then you’re good to go? Or do you also explore the language, trying things out by hand to see how they behave?

This skill—learning about something by poking at it—is frequently used but almost never taught. However, we have tried to teach it via what we dub mystery languages, and this post is about how we went about it.
education  learning  computing  PLT  esoteric  teaching 
18 days ago by kmt
Program Synthesis with TLA+
Computer programs can feel like incantations, secret spells we whisper to the electrons coursing in the metal beneath our fingertips. But they’re really something much more prosaic: sequences of characters that we know how to compose and that computers know how to evaluate. They’re just text.

The magic happens when we write programs, not when we run them. We can trace the evaluation of a program from keystroke to circuit. But our own thought processes, when we write, are more opaque.

That ineffability poses one central difficulty in getting computers to program themselves. If we don’t understand how we program, how can we teach a computer to?

As it turns out, we don’t always have to be so clever. Walking home recently, I realized that you could model what a programmer does in a state machine, and so could exploit a model checker like TLA+ to discover simple programs from specifications.

And that’s exactly what Lucy, Emanuel, and I did a few weeks ago at RC.
esoteric  formal-methods  PLT  program-synthesis 
24 days ago by kmt
Buddhism and Levinas - 3:AM Magazine
William Edelglass teaches philosophy, environmental studies, and Buddhist studies. He has published widely in Indian and Tibetan Buddhist philosophy, environmental philosophy, and 20th-century European thought. William has taught in diverse settings including the Barre Center for Buddhist Studies, a federal prison in New York, and a Tibetan refugee settlement in Nepal. For many years he served as a wilderness guide at Outward Bound, and between 2000 and 2003 he taught Western philosophy to Tibetan monks at the Institute of Buddhist Dialectics in Dharamsala, India. Here he discusses philosophical ideas in Buddhism, both its diversity and shared commitments, the metaphysics, epistemology, ethics and hermeneutics of Buddhists, impermanence and selflessness, dependent origination, what it means to say that all things are empty, why it isn’t nihilism, the Buddhist use of language in a philosophical approach that values linguistically inexpressible truths, why Buddhist moral pluralism doesn’t lead to relativism, skepticism and the undermining of moral obligations, contrasts between Western and Buddhist approaches to moral pluralism, environmental philosophy, Levinas, whether Buddhism conflicts with his environmentalism, and the relationship between western and non-western philosophy.
philosophy  buddhism  esoteric  interview  people 
24 days ago by kmt

« earlier    

related tags

*nix  agile  alchemy  algebra  america  analysis  animation  argument  art  artist  astrophysics  based  befunge  benchmark  bias  big-data  biology  blog  books  botany  buddhism  bug  c  category-theory  chemistry  christianity  cinema  circuit  clocks  code  colonialism  communalism  compilers  complexity  computing  config  consciousness  contemporary  cop3402  data-analysis  data-structures  database  dev  education  emacs  email  encryption  engineering  essay  finance  floss  food  forbidden  formal-methods  freemason  fun  functional  geography  geology  geophysics  georgerapp  germany  git  gotcha  hardware  harmonist  harmonysociety  haskell  history  homunculus  howto  humor  humour  ideas  interpreter  interview  java  jewelry  joke  judaism  jupyter  karlarndt  knots  lambda-calculus  language  law  learning  legends  library  life  lisp  lists  literature  locations  logic  lutheran  machine-learning  magic  magyar  management  math  measurement  memory  methodology  metrology  music  mysticism  mythology  nand  navigation  nyc  ocaml  opensource  optimization  oracle  parallel  parsing  pennsylvania  people  perfume  perl  philosophy  photographs  physics  pipebased  playlist  plt  prog  program-synthesis  programming  programming_languages  prolog  puzzles  python  r  radio  read-later  reference  religion  rock  rust  science  secrets  security  semantics  shell  shopping  smt  specification  spirituality  spotify  sql  stack  standards  stats  sweden  teaching  technology  testing  theorem-proving  theosophy  time  tips-and-tricks  tooling  travel  tutorial  type-theory  typography  understrecket  unique  verification  version-control  visual  work 

Copy this bookmark:



description:


tags: