-
Notifications
You must be signed in to change notification settings - Fork 0
/
archive.html
111 lines (111 loc) · 18.3 KB
/
archive.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<link rel="alternate"
type="application/rss+xml"
href="https://magnus.therning.org/feed.xml"
title="RSS feed for https://magnus.therning.org/">
<title>Magnus web site</title>
<meta name="author" content="Magnus Therning"><meta name="referrer" content="no-referrer"><link href= "static/style.css" rel="stylesheet" type="text/css" /><link href= "static/htmlize.css" rel="stylesheet" type="text/css" /><link href= "static/extra_style.css" rel="stylesheet" type="text/css" /></head>
<body>
<div id="preamble" class="status"><div class="nav-bar"><a class="nav-link" href="./index.html">Top</a><a class="nav-link" href="./archive.html">Archive</a><a class="nav-link align-right" href="./feed.xml"><img src="static/rss-feed-icon.png" style="height: 24px;" /></a></div></div>
<div id="content">
<h1 class="title">Archive</h1>
<div class="post-date">01 Dec 2024</div><h2 class="post-title"><a href="https://magnus.therning.org/2024-12-01-servant-and-a-weirdness-in-keycloak.html">Servant and a weirdness in Keycloak</a></h2>
<div class="post-date">09 Sep 2024</div><h2 class="post-title"><a href="https://magnus.therning.org/2024-09-09-followup-on-secrets-in-my-work-notes.html">Followup on secrets in my work notes</a></h2>
<div class="post-date">01 Sep 2024</div><h2 class="post-title"><a href="https://magnus.therning.org/2024-09-01-improving-how-i-handle-secrets-in-my-work-notes.html">Improving how I handle secrets in my work notes</a></h2>
<div class="post-date">11 Aug 2024</div><h2 class="post-title"><a href="https://magnus.therning.org/2024-08-11-removing-symlink-question.html">Removing symlink question</a></h2>
<div class="post-date">21 Jul 2024</div><h2 class="post-title"><a href="https://magnus.therning.org/2024-07-21-emacs-via-nix-with-mu4e.html">Emacs via Nix with mu4e</a></h2>
<div class="post-date">13 Jul 2024</div><h2 class="post-title"><a href="https://magnus.therning.org/2024-07-13-hoogle-setup-for-local-development.html">Hoogle setup for local development</a></h2>
<div class="post-date">13 Jul 2024</div><h2 class="post-title"><a href="https://magnus.therning.org/2024-07-13-a-function-for-jumping-to-a-project-todo-file.html">A function for jumping to a project TODO file</a></h2>
<div class="post-date">19 May 2024</div><h2 class="post-title"><a href="https://magnus.therning.org/2024-05-19-nix,-cabal,-and-tests.html">Nix, cabal, and tests</a></h2>
<div class="post-date">04 May 2024</div><h2 class="post-title"><a href="https://magnus.therning.org/2024-05-04-orderless-completion-in-lsp-mode.html">Orderless completion in lsp-mode</a></h2>
<div class="post-date">20 Apr 2024</div><h2 class="post-title"><a href="https://magnus.therning.org/2024-04-20-update-to-hackage-revisions-in-nix.html">Update to Hackage revisions in Nix</a></h2>
<div class="post-date">14 Mar 2024</div><h2 class="post-title"><a href="https://magnus.therning.org/2024-03-14-hackage-revisions-in-nix.html">Hackage revisions in Nix</a></h2>
<div class="post-date">03 Feb 2024</div><h2 class="post-title"><a href="https://magnus.therning.org/2024-02-03-bending-warp.html">Bending Warp</a></h2>
<div class="post-date">09 Dec 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-12-09-getting-amazonka-s3-to-work-with-localstack.html">Getting Amazonka S3 to work with localstack</a></h2>
<div class="post-date">19 Nov 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-11-19-making-emacs-without-terminal-emulator-a-little-more-usable.html">Making Emacs without terminal emulator a little more usable</a></h2>
<div class="post-date">16 Nov 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-11-16-using-the-golang-mode-shipped-with-emacs.html">Using the golang mode shipped with Emacs</a></h2>
<div class="post-date">01 Oct 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-10-01-how-i-use-emacs.html">How I use Emacs</a></h2>
<div class="post-date">30 Sep 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-09-30-using-emacs-as-$editor.html">Using Emacs as $EDITOR</a></h2>
<div class="post-date">24 Sep 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-09-24-defining-a-formatter-for-cabal-files.html">Defining a formatter for Cabal files</a></h2>
<div class="post-date">16 Sep 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-09-16-setting-up-emacs-openai-chatgpt.html">Setting up emacs-openai/chatgpt</a></h2>
<div class="post-date">10 Sep 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-09-10-using-emacs-for-the-scrollback-in-terminal-multiplexers.html">Using emacs for the scrollback in terminal multiplexers</a></h2>
<div class="post-date">26 Jul 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-07-26-making-keymaps-prettier-with-general.el.html">Making keymaps prettier with general.el</a></h2>
<div class="post-date">09 Jul 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-07-09-general.el-and-two-ways-to-define-keybindings.html">general.el and two ways to define keybindings</a></h2>
<div class="post-date">26 Apr 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-04-26-some-practical-haskell.html">Some practical Haskell</a></h2>
<div class="post-date">30 Mar 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-03-30-more-on-tree-sitter-and-consult.html">More on tree-sitter and consult</a></h2>
<div class="post-date">27 Mar 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-03-27-cabal,-tree-sitter,-and-consult.html">Cabal, tree-sitter, and consult</a></h2>
<div class="post-date">22 Mar 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-03-22-making-an-emacs-major-mode-for-cabal-using-tree-sitter.html">Making an Emacs major mode for Cabal using tree-sitter</a></h2>
<div class="post-date">03 Mar 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-03-03-per-project-xref-history-in-emacs.html">Per-project xref history in Emacs</a></h2>
<div class="post-date">08 Feb 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-02-08-logging-with-class.html">Logging with class</a></h2>
<div class="post-date">04 Feb 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-02-04-a-take-on-logging.html">A take on logging</a></h2>
<div class="post-date">29 Jan 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-01-29-a-take-on-log-messages.html">A take on log messages</a></h2>
<div class="post-date">15 Jan 2023</div><h2 class="post-title"><a href="https://magnus.therning.org/2023-01-15-composing-instances-using-~deriving-via~.html">Composing instances using <tt>deriving via</tt></a></h2>
<div class="post-date">24 Sep 2022</div><h2 class="post-title"><a href="https://magnus.therning.org/2022-09-24-annotate-projects-in-emacs.html">Annotate projects in Emacs</a></h2>
<div class="post-date">21 Aug 2022</div><h2 class="post-title"><a href="https://magnus.therning.org/2022-08-21-patching-in-nix.html">Patching in Nix</a></h2>
<div class="post-date">09 Jul 2022</div><h2 class="post-title"><a href="https://magnus.therning.org/2022-07-09-playing-with-setting-up-emacs.html">Playing with setting up Emacs</a></h2>
<div class="post-date">15 Jun 2022</div><h2 class="post-title"><a href="https://magnus.therning.org/2022-06-15-power-mode-in-spacemacs.html">Power-mode in Spacemacs</a></h2>
<div class="post-date">09 May 2022</div><h2 class="post-title"><a href="https://magnus.therning.org/2022-05-09-comments-and-org-static-blog.html">Comments and org-static-blog</a></h2>
<div class="post-date">08 May 2022</div><h2 class="post-title"><a href="https://magnus.therning.org/2022-05-08-a-little-haskell:-epoch-timestamp.html">A little Haskell: epoch timestamp</a></h2>
<div class="post-date">13 Mar 2022</div><h2 class="post-title"><a href="https://magnus.therning.org/2022-03-13-simple-nix-flake-for-haskell-development.html">Simple nix flake for Haskell development</a></h2>
<div class="post-date">30 Jan 2022</div><h2 class="post-title"><a href="https://magnus.therning.org/2022-01-30-keeping-projectile's-cache-tidy.html">Keeping Projectile's cache tidy</a></h2>
<div class="post-date">03 Jan 2022</div><h2 class="post-title"><a href="https://magnus.therning.org/2022-01-03-accessing-the-host-from-inside-a-docker-container.html">Accessing the host from inside a Docker container</a></h2>
<div class="post-date">01 Jan 2022</div><h2 class="post-title"><a href="https://magnus.therning.org/2022-01-01-trimming-newline-on-code-block-variable.html">Trimming newline on code block variable</a></h2>
<div class="post-date">08 Dec 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-12-08-magit_forge-and-self-hosted-gitlab.html">Magit/forge and self-hosted GitLab</a></h2>
<div class="post-date">27 Nov 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-11-27-fallback-of-actions.html">Fallback of actions</a></h2>
<div class="post-date">28 Sep 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-09-28-using-lens-to-set-a-value-based-on-another.html">Using lens to set a value based on another</a></h2>
<div class="post-date">23 Jul 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-07-23-keeping-todo-items-in-org-roam-v2.html">Keeping todo items in org-roam v2</a></h2>
<div class="post-date">03 Jul 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-07-03-the-timeout-manager-exception.html">The timeout manager exception</a></h2>
<div class="post-date">27 Jun 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-06-27-a-first-look-at-hmock.html">A first look at HMock</a></h2>
<div class="post-date">06 Jun 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-06-06-zsh,-nix,-and-completions.html">ZSH, Nix, and completions</a></h2>
<div class="post-date">07 May 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-05-07-working-with-hedis.html">Working with Hedis</a></h2>
<div class="post-date">21 Apr 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-04-21-first-contribution-to-nixpkgs.haskellpackages.html">First contribution to nixpkgs.haskellPackages</a></h2>
<div class="post-date">13 Apr 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-04-13-nix-shell,-direnv-and-xdg_data_dirs.html">Nix shell, direnv and XDG_DATA_DIRS</a></h2>
<div class="post-date">21 Mar 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-03-21-todo-items-in-org-roam,-an-update.html">Todo items in org-roam, an update</a></h2>
<div class="post-date">20 Mar 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-03-20-barbie-and-json.html">Barbie and <strike>Ken</strike>JSON</a></h2>
<div class="post-date">19 Mar 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-03-19-custom-monad-with-servant-and-throwing-errors.html">Custom monad with servant and throwing errors</a></h2>
<div class="post-date">14 Mar 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-03-14-keeping-todo-items-in-org-roam.html">Keeping todo items in org-roam</a></h2>
<div class="post-date">05 Mar 2021</div><h2 class="post-title"><a href="https://magnus.therning.org/2021-03-05-000-flycheck-and-hls.html">Flycheck and HLS</a></h2>
<div class="post-date">30 Nov 2020</div><h2 class="post-title"><a href="https://magnus.therning.org/2020-11-30-1734-haskell__nix_and_using_packages_from_github.html">Haskell, Nix and using packages from GitHub</a></h2>
<div class="post-date">11 Nov 2020</div><h2 class="post-title"><a href="https://magnus.therning.org/2020-11-11-2222-combining_amazonka_and_conduit.html">Combining Amazonka and Conduit</a></h2>
<div class="post-date">22 Jun 2020</div><h2 class="post-title"><a href="https://magnus.therning.org/2020-06-22-000-better-nix-setup-for-spacemacs.html">Better Nix setup for Spacemacs</a></h2>
<div class="post-date">08 Apr 2020</div><h2 class="post-title"><a href="https://magnus.therning.org/2020-04-08-000-xray-and-wai.html">X-Ray and WAI</a></h2>
<div class="post-date">02 Feb 2020</div><h2 class="post-title"><a href="https://magnus.therning.org/2020-02-02-000-my-ghcide-build-for-nix.html">My ghcide build for Nix</a></h2>
<div class="post-date">07 Dec 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-12-07-000-nix-setup-for-spacemacs.html">Nix setup for Spacemacs</a></h2>
<div class="post-date">05 Nov 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-11-05-000-populating-projectile-s-cache.html">Populating Projectile's cache</a></h2>
<div class="post-date">20 Oct 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-10-20-000-ditaa-in-org-mode.html">Ditaa in Org mode</a></h2>
<div class="post-date">19 Sep 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-09-19-000-haskell--ghcide--and-spacemacs.html">Haskell, ghcide, and Spacemacs</a></h2>
<div class="post-date">15 Sep 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-09-15-000-nested-tmux.html">Nested tmux</a></h2>
<div class="post-date">19 Aug 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-08-19-000-hedgehog-on-a-rest-api--part-3.html">Hedgehog on a REST API, part 3</a></h2>
<div class="post-date">10 Aug 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-08-10-000-architecture-of-a-service.html">Architecture of a service</a></h2>
<div class="post-date">06 Jul 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-07-06-000-elasticsearch--types-and-indices.html">Elasticsearch, types and indices</a></h2>
<div class="post-date">23 Jun 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-06-23-000-hedgehog-on-a-rest-api--part-2.html">Hedgehog on a REST API, part 2</a></h2>
<div class="post-date">30 May 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-05-30-000-hedgehog-on-a-rest-api.html">Hedgehog on a REST API</a></h2>
<div class="post-date">07 May 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-05-07-000-some-orgmode-stuff.html">Some OrgMode stuff</a></h2>
<div class="post-date">28 Apr 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-01-05-000-components-feel-so-not-fp.html">Components feel so not FP</a></h2>
<div class="post-date">28 Apr 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-01-13-000-systemd-for-auto-deploy-from-aws.html">Systemd for auto deploy from AWS</a></h2>
<div class="post-date">28 Apr 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-04-28-000-a-simple-browser-chooser.html">A simple browser chooser</a></h2>
<div class="post-date">22 Apr 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-04-22-000-comonadic-builders--minor-addition.html">Comonadic builders, minor addition</a></h2>
<div class="post-date">16 Mar 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-03-16-000-til--prompt-matters-to-org-mode.html">TIL: prompt matters to org-mode</a></h2>
<div class="post-date">03 Mar 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-03-03-000-conduit-and-postgresql.html">Conduit and PostgreSQL</a></h2>
<div class="post-date">17 Feb 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-02-17-000-choosing-a-conduit-randomly.html">Choosing a conduit randomly</a></h2>
<div class="post-date">10 Feb 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-02-10-000-using-stack-to-get-around-upstream-bugs.html">Using stack to get around upstream bugs</a></h2>
<div class="post-date">02 Feb 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-02-02-000-the-readert-design-pattern-or-tagless-final-.html">The ReaderT design pattern or tagless final?</a></h2>
<div class="post-date">28 Jan 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-01-28-000-a-missing-piece-in-my-emacs-spacemacs-setup-for-haskell-development.html">A missing piece in my Emacs/Spacemacs setup for Haskell development</a></h2>
<div class="post-date">20 Jan 2019</div><h2 class="post-title"><a href="https://magnus.therning.org/2019-01-20-000-tagless-final-and-scotty.html">Tagless final and Scotty</a></h2>
<div class="post-date">16 Oct 2018</div><h2 class="post-title"><a href="https://magnus.therning.org/2018-10-16-000-zipping-streams.html">Zipping streams</a></h2>
<div class="post-date">01 Oct 2018</div><h2 class="post-title"><a href="https://magnus.therning.org/2018-10-01-000-using-a-configuration-in-scotty.html">Using a configuration in Scotty</a></h2>
<div class="post-date">14 Jul 2018</div><h2 class="post-title"><a href="https://magnus.therning.org/2018-07-14-000-quickcheck-on-a-rest-api.html">QuickCheck on a REST API</a></h2>
<div class="post-date">31 Jan 2017</div><h2 class="post-title"><a href="https://magnus.therning.org/2017-01-31-on-mocks-and-stubs-in-python.html">On mocks and stubs in Python (free monad or interpreter pattern)</a></h2>
<div class="post-date">15 Jun 2015</div><h2 class="post-title"><a href="https://magnus.therning.org/2015-06-15-000-using-quickcheck-to-test-c-apis.html">Using QuickCheck to test C APIs</a></h2>
<div class="post-date">09 Jun 2015</div><h2 class="post-title"><a href="https://magnus.therning.org/2015-06-09-000-mapaccum-in-monad.html">mapAccum in monad</a></h2>
<div class="post-date">05 Jun 2007</div><h2 class="post-title"><a href="https://magnus.therning.org/2007-06-05-296-adventures-in-parsing,-part-4.html">Adventures in parsing, part 4</a></h2>
<div class="post-date">03 Jun 2007</div><h2 class="post-title"><a href="https://magnus.therning.org/2007-06-03-295-adventures-in-parsing,-part-3.html">Adventures in parsing, part 3</a></h2>
<div class="post-date">29 May 2007</div><h2 class="post-title"><a href="https://magnus.therning.org/2007-05-29-290-more-adventures-in-parsing.html">More adventures in parsing</a></h2>
<div class="post-date">27 May 2007</div><h2 class="post-title"><a href="https://magnus.therning.org/2007-05-27-289-adventures-in-parsing.html">Adventures in parsing</a></h2>
</div>
<div id="postamble" class="status"><!-- org-static-blog-page-postamble --></div>
</body>
</html>