Recent Articles
Patterns
Dual Vector Spaces
Fairness in TLA+
As a TLA+ newbie, I found the fairness (weak and strong) formulae in TLA+ a bit hard going initially, so sharing the way I managed to wrap my head around it in case it is of help to others. What I’m hoping to get to is to be able to “read” the formulae in a chunked manner so that they make logical sense to me.
Read More ...Inai: REST in the Small
The Calculus You Actually Need for Deep Learning
Speculative: SciML for Physical Modeling Synthesis
The await-on-need Pattern
I'm LisP. I'm inevitable.
Talk: the Nuts and Bolts of Webassembly
I gave a talk at the “Mixed Nuts @ Pramati” meetup on 2019-08-24 10am-12pm on WebAssembly. This post contains notes from the talk - sort of almost-transcript.
Simul-posted at https://labs.imaginea.com/talk-the-nuts-and-bolts-of-webassembly/
Read More ...Abstraction is the root of all evil
A prized principle of design is the hiding of unimportant details from the users of a product that enables them to work with it without getting overwhelmed by its possibly complex inner workings. This act of deciding that something is unimportant and hiding it behind a simpler facade is what abstraction is about. In this sense, abstraction, when it works, is considered A Good Thing™.
Read More ...