ㄍㄌ 
mastodon
4.6.6
@qbaneAP / Software Engineer
murmur as a developer, code as a human
Posts
Has Real World Haskell [0] been offline for good?
用 OCaml 學系統程式設計，講相對於很多用 C 教學的教材，解得很淺顯易懂，好夢幻 (？)
一查才發現，阮一峰的 ES6 入門教學居然 2026 還一直有在修訂，它是我學習 JavaScript 歷程中最常參考的中文教材😳
電子書：https://es6.ruanyifeng.com/
儲存庫：https://github.com/ruanyf/es6tutorial
實用工具：「在我的 Mastodon 站點中開啟」書籤工具
https://stefanbohacek.com/project/open-post-on-my-mastodon-instance-bookmarklet/
Just wrote a simple guide on how to try out the Agda mode powered by WebAssembly in VS Code for the Web.
> 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
https://discourse.haskell.org/t/ghc-now-runs-in-your-browser/13169/10