ㄍㄌ

Haskell Community

Ghc now runs in your browser

cabal won’t work in the browser due to lack of process support; but it’s possible to use wasm32-wasi-cabal to precompile some third party packages to wasm and make this playground support them as well. you might be interested to check GitHub - agda-web/agda-wasm-dist: Distributions of Agda executable compiled into WebAssembly.; afaik they even compiled GitHub - agda/agda-language-server: Language Server for Agda to wasm, not sure how usable it is currently thanks for the report! i pushed an.

HackMD

Trying out Agda mode in a browser - HackMD

This is a simple guide to install Agda mode on VS Code for the Web.

Unix system programming in OCaml

ES6 入门教程

web.archive.org

Quiet UI

A UI library for the Web with a focus on accessibility, longevity, performance, and simplicity.

Cannot invoke `Uint8Array.prototype.toBase64` in browsers because `typed-array-byte-offset` is not browser-safe · Issue #2 · es-shims/es-arraybuffer-base64

Basically I stumbled upon this issue: inspect-js/typed-array-byte-offset#2 Some implementations like Uint8Array.prototype.toBase64 depends on your npm library typed-array-byte-offset. It crashes in...

Creepy crawlies

You've probably heard me complain about the "AI crawlers" before, but now I actually have some hard numbers I can put up to show their im...

stefanbohacek.com

“Open post on my Mastodon instance” bookmarklet | Stefan Bohacek's Personal Website and Blog

Quick and easy!