Submissions by adgasf

Crysis 10 Years on [video]

Emojillate

Closed World Reasoning [pdf]

Sml.net Functional Programming on the .NET CLR

Adding bash completion for your own tools

JavaScript Getter-Setter Pyramid

Program Verification with F* (2017)

C# and F# approaches to illegal states

Why Use F#?

The Cobra Effect

Higher Rank and Higher Kinded Types

From Object Algebras to Finally Tagless Interpreters

Why your F# evangelism isn't working (2015)

Why Lisp Failed

C++ Coroutine TS – It’s about inversion of control

Common Misconceptions of C++

Show HN: Conduit for C++: Lazy Sequences Using the Coroutine TS

What is the difference between 'git pull' and 'git fetch'?

You can't impress developers. So don't try

Announcing BuildInfer for C++

US5723786 – Boxing glove accelerometer

Vector clock

Responsive Mondrian