Stories by nickmain

Static typing will not save us from broken software

HashLink – Haxe Virtual Machine

Apple: Dash developer had 2 accounts, 25 apps, and almost 1000 fraudulent reviews

PlayStation Now Coming to PC

Introducing GP: A General Purpose Block Language

Facebook Is Joining the Caml Consortium at INRIA

Racket v6.5

Amzi Prolog becomes open source

Open Source Swift Under the Hood

The Journey of Hello World Through the Haxe Compiler

A Python implementation for Racket

Racket version 6.4 is now available

Dead Men Write No Code

ZipPy – a Python 3 implementation on the JVM

Swift at IBM

The Lean Theorem Prover

Type Folding in Guile

On Beyond OWL: Challenges for Ontologies on the Web

Deep Learning Machine Teaches Itself Chess in 72 Hours

The Little Prover

1
2
3
4
5
6