Awesome
My Blog Posts
These are my blog posts.
2024 Oct 09
Some terms to know about Japanese whetstones
2024 Sep 22
Building Nix Docker images on Mac OS with Multipass
2024 Mar 17
Project-based Nix env with direnv
2023 Aug 17
Home as Ctrl+A with Karabiner on Mac OS
2023 Jan 31
Properly recreating my i3 scratch window workflow in Mac OS
2023 Jan 29
Cheaper but buggier i3 scratch window workflow emulation in Mac OS
2023 Jan 28
Expensively recreating my i3 scratch window workflow in Mac OS
2022 Nov 18
Patching binaries in Nix is easy and fun
2022 Jun 05
GCC Version Hell with Rust Binaries
2021 Dec 16
Re: Problems with updating PureScript libraries
2021 Dec 14
Problems with updating PureScript libraries
2021 Jul 06
Thoughts on building st via Nix
2021 Jul 04
Nix derivations for Python programs with Poetry2Nix
2020 Sep 09
Multi-step building PureScript projects with Nix
2020 Jun 28
Installing PureScript in 2020
2020 Jun 27
PureScript on Nix without dependency codegen
2020 May 31
Working with PureScript package sets with just Nix
https://qiita.com/kimagure/items/25ca3ddcc8e0b636884e
2020 May 30
My PureScript GitHub CI Setup in 2020
2020 May 25
Nix on GitHub Actions in 2020
https://qiita.com/kimagure/items/7693fc1b3f6c45dd0150
2020 May 24
PureScript package sets using Jsonnet
2020 May 22
Some backported PureScript changes for my own uses
2020 Feb 05
A simple web app in Rust with Actix-Web
https://qiita.com/kimagure/items/e24d7d6514a6a0dd2b48
2020 Jan 09
A simple Telegram bot in Rust with Actix
https://qiita.com/kimagure/items/830924fd5e8e2950b6e4
2019 Dec 04
Updating Nix expressions with Rust
2019 Sep 10
Why nix-shorts and expectations
2019 Aug 23
Using Puppeteer with Node2Nix
2019 Jul 02
Write a simple CLI in PureScript
2019 Jun 23
Simple Parameteried Queries with Row Union
2019 Jun 22
Spago2Nix: Why and How
2019 Jun 20
Installing PureScript in 2019
2019 May 27
Minimal PureScript for Node users
2019 May 14
Consuming Node projects for Nix users
2019 Apr 29
Why Easy-PureScript-Nix
2019 Apr 29
Short: Simplified Tortellini with Instance Chains
2019 Apr 06
Using Tree-sitter from PureScript
https://qiita.com/kimagure/items/8079a3d6c118fb010394
2019 Mar 16
Short: Overriding version bounds in Nix Haskell
https://qiita.com/kimagure/items/c3fb87f7f71b9df99078
2019 Mar 16
Building Purescript Projects with Nix
https://qiita.com/kimagure/items/d2687a5a68c84cc651d0
2019 Mar 14
Rust with Runtime Deps made easy with Nix
https://qiita.com/kimagure/items/4e4e65dde9471a17b304
2019 Mar 02
Generic Sums to Variant and back again
https://qiita.com/kimagure/items/c4791d309b5cda607ce2
2019 Feb 11
Making a simple Haskell CLI without anything fancy
https://qiita.com/kimagure/items/9b33a5fa48baf105abe4
2019 Feb 02
PureScript package management explained
https://qiita.com/kimagure/items/6a5881b07bc4a3e6ea86
2019 Jan 13
Consuming Electron apps in Nix by patching binaries
https://qiita.com/kimagure/items/6e0fd0aad389c1f274c6
2019 Jan 12
Putting your own derivations in Nix Profile
https://qiita.com/kimagure/items/8b4df59236717e54a2bc
2018 Nov - Dec
Advent of Justin 2018
https://qiita.com/advent-calendar/2018/justin-eigo-corner
https://github.com/justinwoo/advent-of-justin-2018
2018 Nov 10
Upgrade from Bower to Nix with Psc-Package2Nix
https://qiita.com/kimagure/items/aec640d0047d08d2ce90
2018 Nov 03
Nix-ify your Psc-Package dependencies
https://qiita.com/kimagure/items/85a64437f9af78398638
2018 Oct 29
Make your own Psc-Package with Perl
https://qiita.com/kimagure/items/625070775da70b37b67e
2018 Oct 27
Pseudo-dynamically typed errors in PureScript
https://qiita.com/kimagure/items/71e938ee93e31bd2e79b
2018 Oct 24
Using PureScript easily with Nix
https://qiita.com/kimagure/items/de2a4ff45dd8fe8be4b1
2018 Oct 18
Easy Markdown to Beamer with Pandoc and Nix
https://qiita.com/kimagure/items/9d27015e12d4f22b53db
2018 Sep 15
Reflecting a record of proxies and keys of row types
https://qiita.com/kimagure/items/b08175d22f9950ba3dfb
2018 Sep 11
We don't need Peano Numbers in PureScript
https://qiita.com/kimagure/items/522fa4dd4abdcc313c8e
2018 Aug 26
What I've learned since quitting Elm
https://qiita.com/kimagure/items/93a42d67a8833f99fe2e
2018 Aug 13
Expecting Inferred Types (feat. Custom Type Errors)
https://qiita.com/kimagure/items/00c1ca57d6999904b595
2018 Aug 06
Converting Generics-Rep to Row Types in PureScript
https://qiita.com/kimagure/items/1ea18bd6b782d45a48d5
2018 Jul 29
User empowerment of FFI in PureScript
https://qiita.com/kimagure/items/0ce4d9d2792dd110ee45
2018 Jul 23
Formatting type-level Strings with row type labels
https://qiita.com/kimagure/items/c4bc704df3791437c9bb
2018 Jul 02
Implement your own compiler type class in PureScript
https://qiita.com/kimagure/items/8736fe6a2f25da526368
2018 Jun 22
Managing Psc-Package sets with Dhall
https://qiita.com/kimagure/items/c419ba740ac134a837a2
2018 Jun 17
A year of Twitter memes
https://qiita.com/kimagure/items/4f0bb365965d31e6cd58
2018 Jun 4
Well-typed parameterized SQLite parameters with PureScript
https://qiita.com/kimagure/items/4b08e9f0479d5866ec04
2018 May 31
99(+) posts on Qiita as an English-only poster: Reflections
https://qiita.com/kimagure/items/1a569987fee84ae26d4f
2018 May 27
Fun type-level literal number arithmetic with instance chains
https://qiita.com/kimagure/items/b19cdbc1807109fb11cb
2018 May 16
Simple Routing based on parsing type-level strings
https://qiita.com/kimagure/items/5c3f3fcb898e480c56be
2018 May 11
Parsing type-level strings to extract types
https://qiita.com/kimagure/items/6729a5d55ab99bcee8ec
2018 May 03
Well-typed path params in PureScript 0.12
https://qiita.com/kimagure/items/3273d20c4c5ad74dbe26
2018 May 02
Instance Chains to get nested record label "paths"
https://qiita.com/kimagure/items/7e313ee68280186d76dc
2018 Apr 27
Type classes and instances are pattern matching for types
https://qiita.com/kimagure/items/08c59fa21adcd6968ae1
2018 Apr 21
Generics-Rep Sums and Products to List for Fun
https://qiita.com/kimagure/items/a5e340242f038b0dc748
2018 Apr 17
Matching on JS Union members with Row Types (Handling JS Unions cont.)
https://qiita.com/kimagure/items/7a0d1675522c09b4bcb6
2018 Apr 15
Easy Hot-Reloading PureScript with Parcel
https://qiita.com/kimagure/items/a870d250f75a6822759b
2018 Apr 02
Handling JS Unions with Row Types
https://qiita.com/kimagure/items/141423771ad1f5a84425
2018 Apr 01
Making a new library and using it in your own Psc-Package set
https://qiita.com/kimagure/items/c37b228e80318d4158f0
2018 Mar 25
Row-typed fun for building SQLite Queries
https://qiita.com/kimagure/items/7b86c1a16adb2045b584
2018 Mar 20
Setting up PureScript in March 2018
https://qiita.com/kimagure/items/570e6f2bbce5b4724564
2018 Mar 11
One-line JS FFI with PureScript-FFI-Props
https://qiita.com/kimagure/items/b0b7da07d8183cb51d58
2018 Mar 03
Make your own Form Library in PureScript
https://qiita.com/kimagure/items/b35ad4a68939337275aa
2018 Feb 18
Unions for Partial Properties in PureScript
https://qiita.com/kimagure/items/581c63707673db61e061
2018 Feb 04
Short: Decoding Product types using Generics-Rep
https://qiita.com/kimagure/items/18046a721881ac9270ac
2018 Feb 03
Generic Decoding of Sum Types Feat. Fields to Row and vice versa
https://qiita.com/kimagure/items/b27245a5a11462145bd5
2018 Feb 02
Making Diffs of differently-typed Records in PureScript
https://qiita.com/kimagure/items/ca229cb4ba76db0c24a8
2018 Jan 30
Using Rows and RowToList to model Chart.js spec building
https://qiita.com/kimagure/items/fd05ad13ee8def0fb4ed
2018 Jan 27
Short: Composed Modified JSON parsing for free with Simple-JSON
https://qiita.com/kimagure/items/43fd7b02db2950f04a1a
2018 Jan 14
Short: Type-level Path Params to write from Records with PureScript
https://qiita.com/kimagure/items/777133d6bbff67e3819d
2018 Jan 13
Type-level Path Params parsed to Records with PureScript
https://qiita.com/kimagure/items/4f5c6054870f631ff768
2018 Jan 08
Modified JSON parsing for free with PureScript-Simple-JSON
https://qiita.com/kimagure/items/801e1c55d4f8f218f11e
2018 Jan 06
Opting in to better types and guarantees in PureScript
https://qiita.com/kimagure/items/7c3a01e2e5dfebb3313f
2017 Dec 28
The Tale of Two Tortellini: making record based libraries in PureScript and Haskell
https://qiita.com/kimagure/items/941c22effff608dda9a7
2017 Dec 23
Polymorphic Proxy fun in PureScript
https://qiita.com/kimagure/items/6e383ea0c6e29bf210e5
2017 Dec 17
Records/interfaces are not StringMaps/hashes/objects and vice versa
https://qiita.com/kimagure/items/a011335bbb539e179f4e
2017 Dec 16
Generating Elm Types for Port-Safe Communication from PureScript
https://qiita.com/kimagure/items/09b24ed22cfc596248b4
2017 Dec 13
Easy PureScript bundling with Parcel
https://qiita.com/kimagure/items/24e6d3a0f47814c9630b
2017 Dec 11
Multi-Target Projects in PureScript
https://qiita.com/kimagure/items/8ca4f386dbcb9f404b87
2017 Dec 09
Controlled Flow with PureScript-Bismuth
https://qiita.com/kimagure/items/0c2712d5a417c1671e6d
2017 Dec 05
More "RowList" fun with Records in Haskell feat. Scotty Route/Handler pairings & HomeRunWannabe
https://qiita.com/kimagure/items/7c3521cfbf00ad173801
2017 Dec 04
Nice Validation with PureScript
https://qiita.com/kimagure/items/f75befebdd37f6e8879f
2017 Nov 28
Fun with Records in Haskell by making "RowLists"
https://qiita.com/kimagure/items/6a9764966edd6cef497d
2017 Nov 21
Record-based API Route-Handler pairing with Row Types
https://qiita.com/kimagure/items/bb9bd3e4ffe1bba4c214
2017 Nov 17
OhYes you can interop with TypeScript using PureScript
https://qiita.com/kimagure/items/4847685d02d4b15a556c
2017 Oct 28
Upgrade from Bower to Psc-Package
https://qiita.com/kimagure/items/0d9354900d7a7dbd3864
2017 Oct 22
Mapping a function to a homogeneous record in PureScript
https://qiita.com/kimagure/items/06d7eed9521b6217b771
2017 Oct 20
and some you shouldn't PureScript libraries I've written that you might consider using
https://qiita.com/kimagure/items/daa388ffe14747d13f57
2017 Sep 08
Fun Row-typed Validation with Purescript-Home-Run-Ball
https://qiita.com/kimagure/items/eeb40541fc56b8dba2cc
2017 Aug 26
Converting types you don't want to ones you do in Purescript
https://qiita.com/kimagure/items/f750d85377520a14066f
2017 Aug 17
Using types with parameters to eliminate invalid code paths in Typescript
https://qiita.com/kimagure/items/ed612f25c3d3bcfaecd7
2017 Jul 28
Using IxMonad to enforce good hamburger building in Purescript
https://qiita.com/kimagure/items/a0ee7313e8c7690bf3f5
2017 Jul 21
Type-safe Record operations with Purescript-record
https://qiita.com/kimagure/items/7d777826acf371293a93
2017 Jul 15
Writing a JSON decoder using Purescript's RowToList
https://qiita.com/kimagure/items/d8a0681ae05b605c5abe
2017 Jul 11
Embedding Elm into a Purescript-Halogen App
https://qiita.com/kimagure/items/d12525d42516f95dd541
2017 Jul 08
Automatically de/encoding JSON in Purescript using Generics-Rep
https://qiita.com/kimagure/items/00f97c7fc6cef178fa3c
2017 Jun 29
Datatype-Generic programming for generating TypeScript code from Purescript
https://qiita.com/kimagure/items/cc0ea2982abdf1625e87
2017 Jun 25
Differences of Purescript from Elm
https://qiita.com/kimagure/items/f1827c9129f3ee6ede35
2017 Apr 29
Using Purescript's Row Types for Tracking Validations
https://qiita.com/kimagure/items/5c248844ab28c8c91b16
2017 Apr 27
Writing a Youtube audio scraping tool with Purescript
https://qiita.com/kimagure/items/115c04bc64d09a3a07a1
2017 Mar 27
Writing a full-stack app with Purescript with phantom types
https://qiita.com/kimagure/items/b576b5bfe370180599f8
2017 Mar 05
Building a mobile web audio player with Purescript-Halogen
https://qiita.com/kimagure/items/653c52e77d7cd3567498
2016 Dec 14
How to write a simple MarkDown to inline-Styled HTml tool with Haskell
https://qiita.com/kimagure/items/97e8d7b9cb318ba7ebef
2016 Oct 20
What to check when React Native npm start and Jest don't work
https://qiita.com/kimagure/items/a340fde5000dfd0102de
2016 Oct 13
Getting audio from Youtube channels in the easiest way possible using Haskell
https://qiita.com/kimagure/items/0a2f3d60789c646e4426
2016 Oct 04
How to convert Markdown into inline-styled HTML
https://qiita.com/kimagure/items/6820e2df2a7604047862
2016 Sep 25
Writing a simple Telegram chat bot in Purescript
https://qiita.com/kimagure/items/2da0fe86b218b3f832d0
2016 Sep 21
Async in Purescript is fun and easy
https://qiita.com/kimagure/items/2ebce1399bac00c79656
2016 Sep 18
Purescript on Travis CI (as of Sept 2016)
https://qiita.com/kimagure/items/b1a892870de4073908af
2016 Jul 31
Making a simple node program with Purescript
https://qiita.com/kimagure/items/5674e3ae9c87262af762
2016 Jul 10
Making a Haskell (Scotty) web app and putting it on Heroku
https://qiita.com/kimagure/items/5947e2db40b9ec2226bf
2016 Mar 15
Making a Scroll Table with Purescript-Halogen
https://qiita.com/kimagure/items/92f0a278971c7deb8eb5