lainon 的提交内容

World Chess Championship 2018 - Game 2

Why I never finish my Haskell programs (part 3 of ∞)

Homotopy Type Theory: Univalent Foundations of Mathematics (2013)

The weird and wonderful world of constructive mathematics (2017) [pdf]

Photonic Recurrent Ising Sampler

World Chess Championship 2018

Untagging Tor: A Formal Treatment of Onion Encryption [pdf]

Jewel V. NSA Reply Brief [pdf]

The Strong Free Will Theorem (2009) [pdf]

Pymc-Learn: Practical Probabilistic Machine Learning in Python

Ontic Structural Realism

Persian Stalker Pillages Iranian Users of Instagram and Telegram

Humble Book Bundle: DevOps by O'Reilly

Why You Should or Should Not Work at a Startup by Justin Kan

Neutrino tomography of Earth

SoK: The Challenges, Pitfalls, and Perils of Using HPCs for Security [pdf]

Physical Addressing on Real Hardware in Isabelle/HOL [pdf]

CoCalc – Collaborative Calculation in the Cloud

Topological Foundations of Cognitive Science (1994)

IRC.Bio has permanently closed

ISP punishes Elsevier for forcing it to block Sci-Hub by also blocking Elsevier

Simple check for the global shape of the Earth

World Chess Championship 2018

Facebook language predicts depression in medical records

Philosophy of Money and Finance

New antimatter gravity experiments begin at CERN