|
My blog now runs on a Raspberry Pi at home
|
2025-05-09
|
|
LLMs
|
2025-04-18
|
|
The LLM Curse
|
2025-04-12
|
|
Less-Than Estimation
|
2025-02-04
|
|
Registers of code authoring
|
2025-02-01
|
|
Hell (Haskell shell): Year in Review
|
2025-01-12
|
|
Adding sum types (variants) to Hell
|
2024-11-23
|
|
A modest critique of Htmx
|
2024-08-20
|
|
Naming sum types is often hard
|
2024-07-09
|
|
Portals in Emacs
|
2024-06-17
|
|
All my projects (2008-2023)
|
2024-05-12
|
|
Halogen is better than React at
everything
|
2024-02-23
|
|
Reports of RSS/Atom’s death
are greatly exaggerated
|
2024-02-16
|
|
Hell: Shell scripting Haskell dialect
|
2023-12-26
|
|
A spectrum of web dev abstraction
|
2023-10-04
|
|
Codebases and love
|
2023-10-04
|
|
AI and Machine Thinking
|
2023-09-23
|
|
Pickling: The really obvious missing feature
of all web browsers
|
2023-09-07
|
|
Tamagotchi tooling
|
2023-08-04
|
|
Reasoning violently
|
2023-08-04
|
|
Three questions of language
design
|
2023-01-07
|
|
Things I’ve changed my mind
about
|
2022-12-20
|
|
Inflex
|
2022-10-21
|
|
Immutable Publishing Policy
|
2022-02-11
|
|
A plain English description of monads without Haskell
code
|
2022-01-31
|
|
Thoughts on type class implementation
|
2022-01-09
|
|
My negative views on Rust
|
2021-12-22
|
|
Inflex Bibliography
|
2021-09-08
|
|
The Movement Principle
|
2021-04-10
|
|
What’s wrong with
ImplicitParams
|
2021-03-20
|
|
How exactly ExceptT differs to EarlyDo
|
2021-01-05
|
|
Haskell doesn’t have macros
|
2020-12-29
|
|
Is it Try.do that is dangerous?
|
2020-12-24
|
|
Try.do for recoverable errors in Haskell
|
2020-12-21
|
|
Recoverable errors in Haskell
|
2020-12-21
|
|
Use import aliases to easily access
fields
|
2020-12-15
|
|
The language of spreadsheets
is bad
|
2020-11-13
|
|
What’s wrong with the grid?
|
2020-11-12
|
|
Ghosts of Departed
Proofs Convenience
|
2019-12-07
|
|
Defaulting fields in a record
|
2019-12-07
|
|
Statically Checked
Overloaded Strings
|
2019-11-13
|
|
Static Smart Constructors with
Double Splices
|
2019-08-22
|
|
Client-side web programming in
Haskell: A retrospective
|
2019-07-25
|
|
German Naming Convention
|
2019-06-07
|
|
Dynamically typed Haskell
|
2019-04-06
|
|
Web engines in Haskell
|
2019-04-05
|
|
Lazy list length
|
2018-08-23
|
|
Type inequality operator
|
2018-06-19
|
|
Fast Haskell: Competing with C at
parsing XML
|
2017-01-11
|
|
hindent 5: One style to rule them all
|
2016-08-29
|
|
A philosophical difference
between Haskell and Lisp
|
2015-12-19
|
|
Use the REPL, Luke
|
2015-07-15
|
|
The path package
|
2015-06-27
|
|
Existentials and the heterogenous list fallacy
|
2015-06-21
|
|
The constraint trick for instances
|
2015-06-19
|
|
Stream fusion and composability (Java 8
and Haskell) for newbies
|
2015-06-11
|
|
My Haskell tooling wishlist
|
2015-01-24
|
|
Measuring duration in Haskell
|
2015-01-05
|
|
Lucid 2.0: clearer than before
|
2014-11-20
|
|
Lucid: templating DSL for HTML
|
2014-11-20
|
|
Fast pagination on PostgreSQL
|
2014-10-28
|
|
shell-conduit: Write shell scripts in Haskell
with Conduit
|
2014-09-21
|
|
hindent: A Haskell indenter
|
2014-09-20
|
|
Formatting in Haskell
|
2014-09-20
|
|
Teaching: A good (and bad) example
|
2014-07-19
|
|
An alternative Haskell home page
|
2014-05-29
|
|
Presentations update
|
2014-04-30
|
|
The Identity monad trick
|
2014-04-29
|
|
The printer Haskell deserves
|
2014-04-26
|
|
Typeable and Data in Haskell
|
2014-04-22
|
|
Haskell structured diffs
|
2014-04-01
|
|
Reloading running code in GHCi
|
2014-03-16
|
|
Attempto Controlled English
|
2014-02-24
|
|
Emacs, Notmuch and Offlineimap
|
2014-02-08
|
|
Pure IO monad and Try Haskell
|
2014-01-12
|
|
Dijkstra on Haskell and Java
|
2014-01-08
|
|
Emacs users are like Terry
Pratchett’s Igors
|
2013-12-25
|
|
structured-haskell-mode
|
2013-12-09
|
|
Recording simple GIFs for demos
|
2013-12-09
|
|
Making GHCi scale better and faster
|
2013-11-20
|
|
Twitter waterflow problem and loeb
|
2013-11-14
|
|
God-mode for Emacs
|
2013-09-21
|
|
Functional Programming is Hard?
|
2013-09-21
|
|
CamelCase vs under_scores
vs hyphenated-words
|
2013-08-30
|
|
Analysis of Emacs keys pressed
|
2013-08-07
|
|
Haskell News
|
2013-07-26
|
|
IRC Browse
|
2013-07-23
|
|
Fay, JavaScript, etc.
|
2012-09-15
|
|
Making HaskellDB slightly more
type-safe
|
2012-08-25
|
|
Comments on my blog
|
2012-01-19
|
|
Ji, a little library for controlling a web
browser from Haskell
|
2011-12-26
|
|
A concept for
editing code as an AST rather than text
|
2011-12-17
|
|
A map generic upon the value thanks to typeable
|
2011-12-05
|
|
HaskellDB: A long tutorial
|
2011-11-06
|
|
Common Lisp/Haskell syntactic comparison
|
2011-10-31
|
|
Deprecate Prelude.head and partial functions
|
2011-10-17
|
|
“Value polymorphism”, simple explanation
with examples
|
2011-10-16
|
|
Rank-N types, a simple DB example
|
2011-10-16
|
|
Experimenting with GHCJS, the Haskell→JavaScript
compiler
|
2011-08-20
|
|
Some insights from The
Mythical Man Month starting from Chapter 11
|
2011-06-26
|
|
‘amb’ operator and the list monad
|
2011-04-10
|
|
Hulk: A Haskell IRC server
|
2011-01-30
|
|
Lisk - Lisp and Haskell
|
2010-11-25
|
|
Duck typing in Haskell
|
2010-11-22
|
|
Applicative and ConfigFile, HSQL
|
2009-02-10
|
|
Lojbot
|
2008-12-18
|
|
Kibro on Shared Hosting
|
2008-12-11
|
|
Kibro: Haskell, Lighttpd and FastCGI
|
2008-11-14
|
|
Haskell Formlets: Composable web form
construction and validation
|
2008-11-14
|
|
New Kibro
|
2008-10-14
|
|
Kibro refactoring
|
2008-10-12
|
|
GHCi on Acid
|
2008-08-01
|