more

logo-bottle

Erlang Meets Idris: Cure Programming Language

Cure Programming Language v0.2.0 – November 2025 Dependent Types. SMT Verification. Native FSMs. On the BEAM. A strongly-typed, dependently-typed programming…

Screenshot-2025-10-29-at-11.03.23-am

Mr Tiff

For as long as I have published my books, one of my overarching goals was to give credit to those…

https3A2F2Fsubstack-post-media.s3.amazonaws.com2Fpublic2Fimages2F03297fe4-2aef-4b79-9d7b-496d9b7978e7_1186x1027

Things you can do with diodes

Things you can do with diodesPaying homage to the component we usually don’t think about.Nov 02, 20251541ShareThe diode might be…

Anubis portraits don't have a lot of variations to them, maybe ...

You Don’t Need Anubis

you don’t need anubisIn the past years, scrapers operated by LLM training companies have become more relentless. They no longer…

Securing a Blazor WebAssembly Hosted Apps with Azure Active ...

Port of Linux to WebAssembly

Making sure you’re not a bot! Loading…You are seeing this because the administrator of this website has set up Anubis…