Blog & writingsBlog & tulisan
WritePaperTeX: compiling LaTeX on a tablet, with no network at allWritePaperTeX: mengompilasi LaTeX di tablet, tanpa jaringan sama sekali
There is no TeX Live for Android, so the TeX engine ships inside the APK. A real dissertation proposal compiles in 61 seconds with Wi-Fi switched off — and the two days I spent being wrong about how hard that would be are in here too.Tidak ada TeX Live untuk Android, jadi mesin TeX-nya ikut dibungkus di dalam APK. Proposal disertasi sungguhan terkompilasi dalam 61 detik dengan Wi-Fi dimatikan — dan dua hari saya keliru menaksir kesulitannya ikut ditulis di sini.
ReadPaper: a Zotero library you can actually read on a tabletReadPaper: library Zotero yang akhirnya bisa dibaca di tablet
My Zotero library lives in a GitHub repository, which solved storage and left me unable to read it on a tablet. ReadPaper clones 23 MB instead of 940, rewrites git over the REST API because Android has none, and writes highlights back into Zotero byte for byte.Library Zotero saya tersimpan di repositori GitHub — soal penyimpanan beres, tapi tidak bisa dibaca di tablet. ReadPaper mengklon 23 MB alih-alih 940, menulis ulang git lewat REST API karena Android tidak punya, dan menulis stabilo balik ke Zotero persis sampai ke byte.
Two days in Chengdu: the APEC workshop on formalizing businesses for environmental complianceDua hari di Chengdu: workshop APEC soal formalisasi usaha untuk kepatuhan lingkungan
Four sessions across two days at APEC Digital Weeks 2026: what five economies showed about finding informal activity from space, and about helping a nine-person business prove it complies. With the slides I used.Empat sesi dalam dua hari di APEC Digital Weeks 2026: apa yang ditunjukkan lima ekonomi soal menemukan aktivitas informal dari luar angkasa, dan soal membantu usaha sembilan orang membuktikan kepatuhannya. Lengkap dengan slide yang saya pakai.
Git and GitHub, for people who keep files rather than codeGit dan Github, untuk Menyimpan Files dan historynya
What Git is, where it came from, how it differs from Google Drive, why it works for Word files and data too, the six commands that cover most of it, and what GitHub adds on top — including the free limits and the project boards nobody mentions.Git itu apa, asal-usulnya, bedanya sama Google Drive, kenapa dia juga cocok buat file Word dan data, enam perintah yang menutup sebagian besar kebutuhan, dan apa yang ditambahkan GitHub — termasuk batas gratisnya dan fitur manajemen proyek yang jarang dilirik.
Making a GitHub personal access tokenBikin GitHub personal access token
Anything that talks to your GitHub account for you — a backup plugin, a script, a CI job, or git push over HTTPS — needs a token, not your password. Here is the short path to a fine-grained one, with a Zotero plugin as the worked example.Apa pun yang ngomong ke akun GitHub kamu — plugin backup, script, job CI, atau git push lewat HTTPS — butuh token, bukan password. Ini jalan pintas bikin yang fine-grained, dengan plugin Zotero sebagai contoh kasusnya.
A Zotero plugin that backs my library up to GitHubPlugin Zotero yang mencadangkan pustaka saya ke GitHub
Mendeley got heavy, Zotero's free file quota is 300 MB, and the storage I already had was a private Git repository. So I wrote a plugin that pushes a whole Zotero library — files, annotations and all — into one. With a walkthrough.Mendeley jadi berat, kuota berkas gratis Zotero 300 MB, dan storage yang sudah saya punya adalah repositori Git privat. Maka saya menulis plugin yang mendorong seluruh pustaka Zotero — berkas, anotasi, semuanya — ke sana. Lengkap dengan panduannya.