MonoidMusicianʼs blog

WASM modules are meant to be parsed and validated very linearly: they list complex types up front, and then refer to them by index inside functions and other key places in the module.

This is my waterfall model of types, for thinking about compilers and programming language design.

What does pure data mean?

What does pure data mean?

OOP gets a lot of things wrong.

I think FRP (Functional Reactive Programming) is great.

One of the things I believe about art is that accuracy is rarely wasted.

I think versioning is one of the most important problems to deal with.

The main takeaway from this has been that instead of thinking about individual resources and their creation conditions and destructors, itʼs been more fruitful to think about it as consisting of scopes of resources, which can be destroyed when they are no…

It is a weird historical quirk that Haskell/PureScript call the symmetric operation (<>) :: m -> m -> m by the name of “append”.

It is a weird historical quirk that Haskell/PureScript call the symmetric operation (<>) :: m -> m -> m by the name of “append”.

I made this as a drop-in replacement for python3 -m http.server 8998 or the older Python 2 python -m SimpleHTTPServer 8998, because I needed a file server that supported range requests and CORS.

See Quapteryx Part I: On the SKI Combinator Calculus and Quapteryx Part II: Ojo: a Bitflipped Jot, and a Real Flop for introduction/background on this topic.

Continued from Quapteryx Part III: Quaternary Combinators, where I was writing WASM by hand and then ported it to C and got it working.

For a long time Iʼve been fascinated by the idea that every number could be a program, every file could be executable.

See Quapteryx Part I: On the SKI Combinator Calculus for an introduction.

🐲 whatʼs upstream?

You would think that SVG would be a perfect medium for rendering QR codes (or other 2D matrix codes): it is perfectly scalable so the renderer can decide how best to render it at each resolution, thereʼs no need to mess around with hints like image-render…

Details on the connection protocol for WebRTC over QR.

Details on the connection protocol for WebRTC over QR.

If you run .replaceAll(/ *(\/\/[^\n]*\n)?

I just think we should have some ground rules for new programming languages and their configuration.

There are 2 hard problems in computer science: cache invalidation, naming things, and off-by-1 errors.

I just think we should have some ground rules for new programming languages and their configuration.

Originally posted at https://tech.lgbt/@monoidmusician/112250458187094582 tonightʼs infodump on selective applicative functors: we know about monads, which have dynamic control flow: based on the result of a previous computation, you can invent a whole new

Originally posted at https://tech.lgbt/@monoidmusician/112250458187094582 tonightʼs infodump on selective applicative functors: we know about monads, which have dynamic control flow: based on the result of a previous computation, you can invent a whole new

I want to talk about data today.

Iʼve been working on some theoretical aspects of programming recently.

🦋 heck u!

The story of how I implemented calligraphy for cubic Bézier curves (the kind widely used in graphics programs, especially the common Scalable Vector Graphics (SVG) format).

Just copy the Elm version solver from Haskell to PureScript, itʼll be easy.

If you have a little background in classical constructions of the real numbers, you might have noticed that all of the usual constructions start with the rational numbers as a base, and then build up to real numbers.

If you have a little background in classical constructions of the real numbers, you might have noticed that all of the usual constructions start with the rational numbers as a base, and then build up to real numbers.

I have been building this framework for explaining, analyzing, and teaching about LR(1) grammars for a couple months now.