corpus.blog
56,966 blogs · [ { "id": "01a0877d-16ec-73bf-8599-38c0566e3fe0", "title": "An alternative frontend for Haskell?", "url": "https://gilmi.me/post/2023/10/05/haskell-alternative-frontend", "published_at": "2023-10-05T00:00:00+00:00" }, { "id": "01a0877d-16f0-7273-a183-43db1b21d0ff", "title": "Implementing kind inference", "url": "https://gilmi.me/post/2023/09/30/kind-inference", "published_at": "2023-09-30T00:00:00+00:00" }, { "id": "01a0877d-16f0-7273-a183-43db1b7f4269", "title": "Why I like JavaScript as a compilation target", "url": "https://gilmi.me/post/2023/07/08/js-as-a-target", "published_at": "2023-07-08T00:00:00+00:00" }, { "id": "01a0877d-16f0-7273-a183-43db1ba9bfe8", "title": "Why I use the Twain web framework", "url": "https://gilmi.me/post/2023/07/01/why-i-use-twain", "published_at": "2023-07-01T00:00:00+00:00" }, { "id": "01a0877d-16f0-7273-a183-43db1bce4be5", "title": "2022 Recap", "url": "https://gilmi.me/post/2022/12/31/my-2022", "published_at": "2022-12-31T00:00:00+00:00" }, { "id": "01a0877d-16f0-7273-a183-43db1c49e423", "title": "sqlite-easy: A primitive yet easy to use sqlite library", "url": "https://gilmi.me/post/2022/12/17/sqlite-easy", "published_at": "2022-12-17T00:00:00+00:00" }, { "id": "01a0877d-16f0-7273-a183-43db1c4de212", "title": "7 things I learned from Haskell", "url": "https://gilmi.me/post/2022/12/13/learned-from-haskell", "published_at": "2022-12-13T00:00:00+00:00" }, { "id": "01a0877d-16f0-7273-a183-43db1c729abf", "title": "Build a bulletin board using twain and friends", "url": "https://gilmi.me/post/2022/04/24/learn-twain-bulletin-app", "published_at": "2022-04-24T00:00:00+00:00" }, { "id": "01a0877d-16f0-7273-a183-43db1cdbf0a5", "title": "Things I worked on in 2021", "url": "https://gilmi.me/post/2021/12/25/my-2021", "published_at": "2021-12-25T00:00:00+00:00" }, { "id": "01a0877d-16f1-70e5-96d0-58b32571e514", "title": "A new project-oriented Haskell book", "url": "https://gilmi.me/post/2021/09/23/lhbg", "published_at": "2021-09-23T00:00:00+00:00" }, { "id": "01a0877d-16f1-70e5-96d0-58b325b80601", "title": "Core Haskell tools", "url": "https://gilmi.me/post/2021/08/14/hs-core-tools", "published_at": "2021-08-14T00:00:00+00:00" }, { "id": "01a0877d-16f1-70e5-96d0-58b3269834ad", "title": "Typing polymorphic variants in Giml", "url": "https://gilmi.me/post/2021/04/13/giml-typing-polymorphic-variants", "published_at": "2021-04-13T00:00:00+00:00" }, { "id": "01a0877d-16f1-70e5-96d0-58b32749b6de", "title": "Typing extensible records in Giml", "url": "https://gilmi.me/post/2021/04/10/giml-typing-records", "published_at": "2021-04-10T00:00:00+00:00" }, { "id": "01a0877d-16f1-70e5-96d0-58b3277a2504", "title": "Giml's type inference engine", "url": "https://gilmi.me/post/2021/04/06/giml-type-inference", "published_at": "2021-04-06T00:00:00+00:00" }, { "id": "01a0877d-16f1-70e5-96d0-58b327d35e7f", "title": "The bottom of the Haskell Pyramid", "url": "https://gilmi.me/post/2021/03/16/bottom-haskell-pyramid", "published_at": "2021-03-16T00:00:00+00:00" }, { "id": "01a0877d-16f1-70e5-96d0-58b32818090f", "title": "Strema is now Giml", "url": "https://gilmi.me/post/2021/03/13/giml-announcement", "published_at": "2021-03-13T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c149b8e57ae", "title": "fix by example", "url": "https://gilmi.me/post/2021/03/11/fix-by-example", "published_at": "2021-03-11T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c149bd36fdc", "title": "Live coding a compiler", "url": "https://gilmi.me/post/2021/02/11/strema-streaming", "published_at": "2021-02-11T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c149c3538b7", "title": "A bulletin board website using Haskell, scotty and friends", "url": "https://gilmi.me/post/2021/01/15/bulletin-app", "published_at": "2021-01-15T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c149cbd8608", "title": "Things I worked on in 2020", "url": "https://gilmi.me/post/2020/12/29/my-2020", "published_at": "2020-12-29T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c149ce67e1d", "title": "Build a bulletin board using scotty and friends", "url": "https://gilmi.me/post/2020/12/05/scotty-bulletin-board", "published_at": "2020-12-05T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c149cec3fa5", "title": "Substitution and Equational Reasoning", "url": "https://gilmi.me/post/2020/10/01/substitution-and-equational-reasoning", "published_at": "2020-10-01T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c149d6711aa", "title": "Consider Haskell", "url": "https://gilmi.me/post/2020/04/28/consider-haskell", "published_at": "2020-04-28T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c149de7a8e1", "title": "My side projects workflow", "url": "https://gilmi.me/post/2020/04/06/my-side-projects-workflow", "published_at": "2020-04-06T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c149e4c083f", "title": "Compilers and Haskell", "url": "https://gilmi.me/post/2019/03/14/compilers-and-haskell", "published_at": "2019-03-14T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c149ec41cdf", "title": "Purely Functional Games (in Haskell)", "url": "https://gilmi.me/post/2018/07/24/pfgames", "published_at": "2018-07-24T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c149f8daa4a", "title": "Reading Simple Haskell", "url": "https://gilmi.me/post/2017/12/06/reading-simple-haskell", "published_at": "2017-12-06T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c149fbee1c4", "title": "Building Gathering: a website for announcing group events", "url": "https://gilmi.me/post/2017/04/25/building-gathering", "published_at": "2017-04-25T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c14a0376048", "title": "Compiling Lisp to JavaScript from scratch in 350 LOC", "url": "https://gilmi.me/post/2016/10/14/lisp-to-js", "published_at": "2016-10-14T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c14a07180c2", "title": "Ludum Dare 35 post-mortem and things I learned using PureScript", "url": "https://gilmi.me/post/2016/05/09/ld35", "published_at": "2016-05-09T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c14a1385d73", "title": "How Haskell models IO", "url": "https://gilmi.me/post/2015/08/12/how-haskell-models-io", "published_at": "2015-08-12T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c14a18643f7", "title": "Starting Elm", "url": "https://gilmi.me/post/2015/07/04/starting-elm", "published_at": "2015-07-04T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c14a1d209b0", "title": "My weekend with Elm", "url": "https://gilmi.me/post/2015/04/21/weekend-with-elm", "published_at": "2015-04-21T00:00:00+00:00" }, { "id": "01a0877d-16f2-72de-83f0-5c14a2657665", "title": "Where to go after 'Learn You a Haskell For Great Good'?", "url": "https://gilmi.me/post/2015/02/25/after-lyah", "published_at": "2015-02-25T00:00:00+00:00" } ] posts Claim your blog
Back to gilmi
Blog · corpus.blog/blogs/gilmi.me/posts

gilmi

gilmi.me

2023

An alternative frontend for Haskell?original ↗
5 Oct 2023
Implementing kind inferenceoriginal ↗
30 Sept 2023
Why I like JavaScript as a compilation targetoriginal ↗
8 Jul 2023
Why I use the Twain web frameworkoriginal ↗
1 Jul 2023

2022

2022 Recaporiginal ↗
31 Dec 2022
sqlite-easy: A primitive yet easy to use sqlite libraryoriginal ↗
17 Dec 2022
7 things I learned from Haskelloriginal ↗
13 Dec 2022
Build a bulletin board using twain and friendsoriginal ↗
24 Apr 2022

2021

Things I worked on in 2021original ↗
25 Dec 2021
A new project-oriented Haskell bookoriginal ↗
23 Sept 2021
Core Haskell toolsoriginal ↗
14 Aug 2021
Typing polymorphic variants in Gimloriginal ↗
13 Apr 2021
Typing extensible records in Gimloriginal ↗
10 Apr 2021
Giml's type inference engineoriginal ↗
6 Apr 2021
The bottom of the Haskell Pyramidoriginal ↗
16 Mar 2021
Strema is now Gimloriginal ↗
13 Mar 2021
fix by exampleoriginal ↗
11 Mar 2021
Live coding a compileroriginal ↗
11 Feb 2021
A bulletin board website using Haskell, scotty and friendsoriginal ↗
15 Jan 2021

2020

Things I worked on in 2020original ↗
29 Dec 2020
Build a bulletin board using scotty and friendsoriginal ↗
5 Dec 2020
Substitution and Equational Reasoningoriginal ↗
1 Oct 2020
Consider Haskelloriginal ↗
28 Apr 2020
My side projects workfloworiginal ↗
6 Apr 2020

2019

Compilers and Haskelloriginal ↗
14 Mar 2019

2018

Purely Functional Games (in Haskell)original ↗
24 Jul 2018

2017

Reading Simple Haskelloriginal ↗
6 Dec 2017
Building Gathering: a website for announcing group eventsoriginal ↗
25 Apr 2017

2016

Compiling Lisp to JavaScript from scratch in 350 LOCoriginal ↗
14 Oct 2016
Ludum Dare 35 post-mortem and things I learned using PureScriptoriginal ↗
9 May 2016

2015

How Haskell models IOoriginal ↗
12 Aug 2015
Starting Elmoriginal ↗
4 Jul 2015
My weekend with Elmoriginal ↗
21 Apr 2015
Where to go after 'Learn You a Haskell For Great Good'?original ↗
25 Feb 2015