Oleg's gists - Archives

2024-06-24 – hashable arch native

2024-05-28 – cabal fields

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?