Stories by mpweiher

Fizzygum

The BEAM needs an APL-y language

What we talk about when we talk about monads (not a monad tutorial)

Parabolic Slides – Garching Bei München, Germany

NeXTstation Turbo Color Computer from 1992 Running Nextstep 3.3 (2016) [video]

Makerchip – Verilog IDE

Inessential: Blogging System Rewrite

Electroflight – Fully Charged

Grace with Less Class

Description Languages for Consistency Management Scenarios

Are unsound type systems wrong?

Sequent Calculus as a Compiler Intermediate Language

FlameScope: visualization tool to explore different time ranges as Flame Graphs

Deadlock-Free Typestate-Oriented Programming

PIE: A Domain-Specific Language for Interactive Software Development Pipelines

Binder (beta) Turn a GitHub repo into a collection of interactive notebooks

Deadlock-Free Typestate-Oriented Programming

Lisp, Jazz, Aikido

Does Python Smell Like Java? Tool Support for Design Defect Discovery in Python

Miscomputation in software: Learning to live with errors

173 174 175 176 177 178 179 180 181 182