Stories by i_don_t_know

The Quanta Podcast

Algorithms for Validation

Synchronous Programming of Reactive Systems [pdf]

Reactor: A Synchronous Reactive Language

NI LabVIEW Compiler: Under the Hood

LabVIEW [PDF]

Learning APL

The description of finite sequential processes

Live Coding in APL [video]

Zélus – A Synchronous Language with Odes

Lola System Notes [pdf]

Combinatorial Optimization in VLSI Design [pdf]

Ask HN: Electronic note-taking – Kindle or iPad or something else

Kaffeost

Programming Cognitive Robots

Ask HN: Books on formal methods for software verification?

Ask HN: Getting Started with FPGAs on macOS

Mini-CP: A Lightweight Constraint Programming Solver

Ask HN: Books or courses on cyber-physical systems?

Course Notes on Optimization Models and Methods (Robert Fourer)