/var/log/snak.log

2025

Nov.

• Pairs and functions, part 3 [haskell]
• Pairs and functions, part 2 [haskell]
• Pairs and functions, part 1 [haskell]

Oct.

• Making all properties readonly recursively [typescript]
• Homomorphic mapped types map unknown to {} [typescript]
• Building RASP [wrf][rasp]
• Kleisli category and an adjunction [haskell]

Sep.

• T-Algebra and an adjunction [haskell]
• Terminal F-Coalgebra of monoid and cofree monoid [haskell]

Aug.

• Building WRF on Ubuntu 24.04 LTS [wrf]
• Initial F-Algebra of monoid and free monoid, part 2 [haskell]
• Initial F-Algebra of monoid and free monoid, part 1 [haskell]

Jul.

• A parameter type is existential, a return type is universal, part 4 [haskell]

Jun.

• A parameter type is existential, a return type is universal, part 3 [haskell]
• A parameter type is existential, a return type is universal, part 2 [haskell]
• A parameter type is existential, a return type is universal, part 1 [haskell]

May.

• Implementing an instance of a type class dynamically, part 4 [haskell]
• Implementing an instance of a type class dynamically, part 3 [haskell]
• Implementing an instance of a type class dynamically, part 2 [haskell]

Apr.

• Implementing an instance of a type class dynamically, part 1 [haskell]
• Invisible kinds of GADT can be also generalized [haskell]

Mar.

• Universal and existential quantification in Rust, Swift and Haskell [haskell][rust][swift]
• newtype with poly-kinded photom types [haskell]

Feb.

• Regular expression to free Alternative, part 5 [haskell]
• Regular expression to free Alternative, part 4 [haskell]
• Regular expression to free Alternative, part 3 [haskell]
• Regular expression to free Alternative, part 2 [haskell]

Jan.

• Regular expression to free Alternative, part 1 [haskell]

2024

Nov.

• Tips about AVAudioEngine [ios][swift]

Oct.

• Derivation with SymPy [python]

Sep.

• Hom functor [haskell]

Aug.

• Coyoneda from Yoneda [haskell]
• Yoneda lemma in Haskell [haskell]

Jul.

• Monoidal functor preserving exponential objects [haskell]

Jun.

• Expressing monoidal functors in Haskell [haskell]
• Expressing monoid homomorphisms in Haskell [haskell]
• Category of monoids and monoid homomorphisms [haskell]

May.

• Expressing monoidal category in Haskell, part 2 [haskell]
• Expressing monoidal category in Haskell, part 1 [haskell]
• Sharing a file in Slack via API is now asynchronous [slack]

Apr.

• Iterator::collect can collect Results [haskell][rust]
• Natural isomorphism between Day Identity f and f [haskell]
• Data.Functor.Day [haskell]

Mar.

• Mounting EFS [aws]
• Memoize with Representable [haskell]

Feb.

• Products and functions [haskell]

2023

Nov.

• WebAssembly text format [wasm]
• Importing a function to wasm [wasm]
• Exporting a function from wasm [wasm]
• Playing with wasm [wasm]

Oct.

• Type of optics, part 4 [haskell]

Sep.

• Type of optics, part 3 [haskell]
• Type of optics, part 2 [haskell]
• Type of optics, part 1 [haskell]

Jul.

• Traversable, Lone and Distributive [haskell]

Jun.

• Control.Applicative.Backwards [haskell]

May.

• Working with record fields in Haskell 2023 [haskell]

Apr.

• Combining two functions in a type-safe way [haskell]

Mar.

• zsh supports process substitution using a temporary file
• Smart cast doesn’t work well with computed properties [kotlin][typescript]

Feb.

• Use write-ghc-environment-files to run doctest with cabal [haskell]
• Renaming properties in TypeScript [typescript]

2022

Sep.

• Omit in TypeScript isn’t distributive [typescript]

Aug.

• Type-safe key and value pair [typescript]
• Coproduct to product monoidal functor [haskell]
• Coproduct monoidal functor [haskell]
• Monoidal functor [haskell]

Jul.

• Posting images with a structured message to Slack [slack]

May.

• Expressing relations between types, part 8 [haskell][idris]
• Expressing relations between types, part 7 [haskell]
• Expressing relations between types, part 6 [haskell]
• Expressing relations between types, part 5 [haskell]
• Expressing relations between types, part 4 [haskell]
• Expressing relations between types, part 3 [haskell]
• Expressing relations between types, part 2 [haskell]
• Expressing relations between types, part 1 [haskell]

Apr.

• Expressing type equality [haskell]

Mar.

• Monoid of functors [haskell]
• When do you use Data.Monoid.Endo? [haskell]
• Running a mongodb replica set in two availability zones may not as stable as you might think

2021

Dec.

• Changing limits with prlimit
• Convert a text to a JSON string with jq

Nov.

• Implementing length-indexed vector using dependent types in Idris [idris]
• Implementing Maybe using dependent types in Idris [idris]

Sep.

• Installing Python using asdf on macos
• Implementing length-indexed vector using dependent types (cont.) [haskell]
• Implementing length-indexed vector using dependent types [haskell]
• TypeScript 4.4 changes how it calls a method when it’s imported separately [typescript]

Aug.

• Migrating an ECS service from EC2 container instances to Fargate [aws]

Jul.

• Configure Squid to use Basic authentication

Jun.

• Calculating sum on console
• Classic MVC and Reactive Programming, part 6 [typescript]

May.

• Classic MVC and Reactive Programming, part 5 [typescript]
• Classic MVC and Reactive Programming, part 4 [typescript]
• Classic MVC and Reactive Programming, part 3 [typescript]
• Classic MVC and Reactive Programming, part 2 [typescript]
• Classic MVC and Reactive Programming, part 1 [typescript]

Apr.

• Using GADT as a type function [haskell]

Mar.

• Open the door with types, part 6 [haskell]
• Open the door with types, part 5 [haskell]
• Open the door with types, part 4 [haskell]
• Open the door with types, part 3 [haskell]
• Open the door with types, part 2 [haskell]
• Open the door with types, part 1 [haskell]

Feb.

• Creating a NAT instance with Ubuntu [aws]

2020

Dec.

• Associated types in TypeScript [typescript]
• SecItemCopyMatching fails when a device is locked

Nov.

• Implementing Maybe using dependent types [haskell]

Oct.

• Playing with Sigma, part 2 [haskell]
• Playing with Sigma, part 1 [haskell]
• Function returning some types [haskell]
• Functions taking some types, part 2 [haskell]
• Functions taking some types, part 1 [haskell]

Sep.

• Installing GHC 8.8.4 and cabal-install to Ubuntu 20.04 LTS [haskell]
• NSMapTable.count counts released objects

Aug.

• MongoDB query planner can be very slow
• Converting a function taking a callback to a suspend function [kotlin]

Jul.

• PostgreSQL doesn’t create an index on a column with a foreign key while MySQL does
• Why do you need singletons? [haskell]
• Increase max number of open files of mongodb on Ubuntu with systemd
• Changing maxfiles for mongodb on Mac OS

Jun.

• Extend a class with a proxied constructor [javascript]

2019

Sep.

• All nils are not equal in go [go]
• Calculating fibonacci numbers using recursion schemes [haskell]

Aug.

• Reusing an algorithm in synchronous and asynchronous functions [javascript]

Jun.

• Lenses in Javascript [javascript]

2015

Mar.

• Using Exim in a private network

Feb.

• Convert a type level natural number to a value level integer and vise versa [haskell]
• Type-safe list with GHC.TypeLits [haskell]
• Type-safe list, DataKinds, ConstraintKinds and more [haskell]

2014

Nov.

• Hash with Pipes [haskell]

Oct.

• Using cabal-install-1.20 on Travis-CI [haskell]

Sep.

• Writing an instance of Arbitrary for a list [haskell]
• Getting a path to a source file [haskell]
• Combining pipes [haskell]
• Evaluate lenses by hand [haskell]
• Calculating a sum in pipes [haskell]

Aug.

• Grouping in pipes [haskell]

Jun.

• Files in /etc/cron.d
• Reverse words with tac

2013

Dec.

• Here strings are seekable
• $TERM becomes unknown when sudoing via ssh

Oct.

• Communicating over TCP using bash

Jan.

• Network.URI.escapeURIString converts its input to UTF-8 [haskell]

2012

Nov.

• Out parameter in Objective-C with ARC

Jul.

• Creating your own error class with util.inherits is not that simple [javascript]

Jun.

• Binding an event handler to a search box with jQuery Mobile [javascript]

Apr.

• Round corners of an image with ImageMagick
• CPP with multi-line string literals [haskell]

Mar.

• How to upgrade a kernel image supporting pv-grub on EC2 [aws]
• Lifting a monadic computation through a stack of monad transformers, part 2 [haskell]
• Lifting a monadic computation through a stack of monad transformers, part 1 [haskell]

Feb.

• Catching an exception using MonadCatchIO [haskell]
• MonadBase is a generalized MonadIO [haskell]
• Recovering from a failure of git svn dcommit
• Decreasing the number of generations kept by logrotate won’t delete old log files
• Generating a sequence in a shell script

Jan.

• Taking a photo from your app on Android
• Creating a universal static library for iOS

2011

Dec.

• Never call mysql_real_connect more than once without calling mysql_init again
• Killing a thread or query of MySQL running on RDS [aws]
• for_ is whenJust [haskell]

Nov.

• Getting a frame from bounds
• xterm-256color on Ubuntu
• coreutils in MacPorts

Oct.

• Use multi-byte subject in osTicket
• Enable assertions on Android

Aug.

• Retrieve branches on a subversion repository using git-svn
• MySQL puts the default value to NOT NULL column
• MySQL updates columns from left to right

Jul.

• Posting a large content with curl

May.

• X-Content-Type-Options: nosniff
• Sending a message to nil may return an undefined struct

Apr.

• Show diff of the specified commit with its parent
• Apply svn:ignore to git using git svn
• Using WIFSTOPPED with waitpid
• B flag for RewriteRule doesn’t work in a path

Mar.

• Remove a particular field from a munin graph
• Disable vc-mode