Stories by mindcrime

Oasis Topology and Orchestration Specification for Cloud Applications (Tosca)

Hex (Board Game)

Real Life

How Amazon Web Services Uses Formal Methods (2015) [pdf]

What are neural-symbolic AI methods and why will they dominate 2020?

Yajilin (Japanese Arrow Puzzle)

AI Podcast – Interview with Bjarne Stroustrup

Bermuda Principles

Tissue Engineering

Hackers – Heroes of the Computer Revolution

Poll: Do you self-identify as a “Hacker”?

Mufon – Mutual UFO Network

COBOL turns 60: why it will outlive us all

Learning How to Prove: From the Coq Proof Assistant to Textbook Style

Whois++

Xilinx Pitches Open-Source Framework for Heterogeneous Programming

YAZE-AG – Yet Another Z80 Emulator by AG (v2.40.5 / v2.30.3)

AI Researchers Launch SuperGLUE: A Rigorous Benchmark for Language Understanding

Mitre Systems Engineering Guide (2014) [pdf]

Electrons and Holes in Semiconductors with Applications to Transistor Electronic

18
19
20
21
22
23
24
25
26
27