Oleg's gists — Archive

Oleg Grenrus

programmer

About me

Hi, I'm a programmer from Helsinki, Finland. You might know me as phadej. I work as Haskell Consultant at Well-Typed. Previously various software development at Futurice, and building IRC-Galleria before that. I also cycle through the year. And I used to spin the records, I still have the same music taste, I had ten years ago.

Gists

2024-04-21 – A note about coercions
2024-04-18 – What makes a good compiler warning?
2024-04-12 – Core Inspection
2024-04-01 – Implicit arguments
2024-03-17 – ST with an early exit
2024-02-27 – More QualifiedDo examples
2023-10-17 – More traversals and more Cabal SAT
2023-10-12 – Use traversals for batch operations
2023-08-30 – Using cabal-install's dependency solver as a SAT solver!?
2023-07-09 – Infix operator for pair type and term
2022-10-08 – Simple(r?) simplices
2022-09-30 – Three different thinnings
2022-01-25 – Folding the unfoldable
2021-09-09 – Leibniz coercion
2021-05-19 – Do not default to HashMap
2021-01-08 – Indexed optics dilemma
2021-01-07 – Benchmarks of discrimination package
2021-01-04 – Coindexed optics
2020-12-18 – Dependent Linear types in QTT
2020-11-14 – true is false
2020-09-13 – A design for paths in Cabal
2020-09-04 – (Approximate) integer square root
2020-08-30 – ANN: cabal-fmt-0.1.4 - --no-cabal-file flag and fragments
2020-08-28 – Fixed points of indexed functors
2020-08-04 – ANN: git-badc0de - a tool to improve git commits you receive
2020-08-03 – Mutually recursive traversals
2020-08-03 – Bidirectional Pure Type Systems
2020-07-26 – Coerced: new optic kind
2020-06-02 – Simulated annealing
2020-05-26 – Evolving non-determinism
2020-05-19 – Bitonic sort: an example of Overloaded:Categories and Staged programming
2020-05-11 – overloaded-0.2.1: Overloaded:Unit
2020-05-10 – latex-svg for blogs in .tex
2020-05-04 – overloaded-0.2.1: Overloaded:Categories
2020-04-27 – overloaded-0.2.1: Overloaded:Do
2020-03-06 – ANN: latex-svg packages
2020-02-09 – Compiling Haskell to JavaScript, not in the way you'd expect
2020-01-25 – Case study: migrating from lens to optics
2019-11-07 – Semi semi semi semi
2019-10-30 – Typing with leftovers
2019-09-26 – Do you have a problem? Write a compiler!
2019-08-11 – ANN: cabal-fmt
2019-07-31 – Should fmap coerce = coerce hold?
2019-07-23 – All kinds of lattices
2019-07-20 – Embedding secret data into Docker images
2019-07-19 – Insertion sort "toposorts" when given a partial order
2019-07-15 – Fancy types for CSV library
2019-07-04 – Multi-stage docker build of Haskell webapp
2019-07-03 – From modal necessity in ILL to DILL
2019-06-26 – Church encoding of linear types
2019-06-03 – Compatibility packages
2019-04-28 – Formatting tabular data
2019-03-21 – Flag, a tagged Bool
2019-03-14 – ANN: topograph
2018-12-29 – reviewN to review with multiple arguments!
2018-12-12 – Finding correct (lens) laws
2018-12-09 – Preload trick
2018-09-13 – Regular expression of types
2018-08-29 – Notes on Agda's termination checker
2018-07-12 – Linear Lambda Calculus in Agda
2018-07-06 – Idiom brackets via source plugin
2018-07-05 – Inspecting, debugging, simulating clients and more
2018-06-21 – Colors in lhs2TeX
2018-06-19 – Prisms are constructors
2018-05-28 – Squash the irrelevant bits
2018-05-12 – Singleton containers
2018-03-28 – Achromatic lens
2018-03-08 – Typeclass Optics
2018-02-21 – Free Monad and Free Applicative using single Free type
2018-01-08 – New things in Haskell package QA
2017-12-23 – Functor Optics
2017-11-22 – Is there a reason to prefer Peano numbers to type-level arithmetic built in GHC?
2017-11-21 – ANN: fin and vec
2017-11-17 – Composing Getter and Setter
2017-10-05 – Monoidal vs Traversing
2017-06-30 – ANN: splitmix
2017-06-16 – Alternative exercise
2017-06-03 – Comments on "What's Different In Dotty" by Martin Odersky
2017-04-26 – Indexed Profunctor optics
2017-04-18 – Glassery
2017-04-07 – Mutated lenses
2017-03-31 – Compiling lenses
2017-03-20 – Affine Traversal
2017-03-15 – Solution to servant API type indentation problem
2017-03-13 – Why there is no AGetter?
2017-03-03 – Passing a DB connection to handlers in Servant
2017-01-17 – Linear thoughts
2016-07-24 – Generic structure diff
2016-07-16 – Dependency resolving -problem
2016-07-11 – Different levels of abstraction
2016-07-07 – Warp + http-client usage over UNIX-socket.
2016-07-01 – OverlappingInstance workarounds
2016-06-16 – Existential constraint
2016-06-15 – Polykinded NFData
2016-06-12 – Classes for Functors
2016-05-21 – ANN: servant-swagger-ui
2016-05-10 – Monad classes
2015-11-09 – ANN: JuicyPixels-scale-dct
2015-09-15 – SO: How do I show that a Haskell type is inhabited by one and only one function?
2015-09-07 – ANN: binary-orphans
2015-01-31 – SO: What's the motivation to use a phantom type?

Writings elsewhere

2016-10-28 – More GADTs in PureScript
2014-12-11 – An example of functional design
2014-09-18 – Structurally recursive nubBy
2014-09-18 – NPM registry in numbers
2014-03-19 – async.js and promises
2013-11-13 – Futurice Tech Pick of the week: jsstana
2013-09-30 – TDD with QuickCheck
2013-08-05 – Static vs. Dynamic

JavaScript Projects

JSVerify – property-based testing for JavaScript
jsstana – s-expression match patterns for Mozilla Parser AST, contains jsgrep tool
relaxed-json – non-strict, human writeable json
typify – runtime type-checking for JavaScript
… and more on github

Haskell Projects

aeson-compat – compatibility shim for aeson
binary-orphans – missing Binary instances
… and many more: Hackage profile

This work is licensed under a “CC BY SA 4.0” license.

Oleg's gists — Archive

twitter github email linkedin stackoverflow

Site proudly generated by Hakyll