Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
-
← Maths · planted 13th Aug 2026 · #published · #maths Infinite Polynomial Rings Here’s something incredibly cursed: let V be an infinite-dimensional vector space, say of dimension \alpha.
-
15th Jul 2026 · 36 min read · #c Sieving Primes As a mathematician, I naturally have no idea how a computer actually works.
-
23rd Apr 2026 · 8 min read · #emacs Writing Literate Blog Posts Let’s try to contort enough Emacs packages to allow for a smooth Org to GFM⁺⁺ export, so I can write literate programs in the comfort of Org mode.
-
7th Apr 2026 · 21 min read · #c #k #array-lang But what about K?
-
27th Feb 2026 · 35 min read · #array-lang #BQN Sudoku Solving in BQN A few days ago, I read a very interesting blog post by Veit Heller about solving a regular 9×9 Sudoku puzzle in Dyalog APL.1 It’s part of a series of blog posts, starting with a reference
-
7th Feb 2026–23 Feb 2026 · 2 min read · #hardware DUCK I have a duck on my keyboard now.1 I got it from the mechanical keyboard meetup at 39C3.
-
11th Jan 2026 · 8 min read · #c #j #array-lang The J Incunabulum Ever wanted to find out what that one page of totally cryptic C is all about?
-
25th Dec 2025 · 5 min read · #emacs Fixing Eglot's Hover Signatures In an earlier post I talked about making the hover signatures for lsp-mode a little bit more useful.
-
8th Oct 2025–18 Oct 2025 · 27 min read · #BQN #array-lang Writing a JSON Parser in BQN At least, for some vague definition of JSON.
-
28th Jul 2025–18 Oct 2025 · 8 min read · #BQN #array-lang Parsing CSV in BQN Let’s write a CSV parser in BQN!
-
13th Apr 2025–8 Feb 2026 · 9 min read · #LaTeX Dissertation Typesetting Considerations I just handed in my dissertation,1 which is more or less the culmination of the last three and a half years of my (mathematical) life.
-
30th Jan 2025–15 Feb 2025 · 8 min read · #LaTeX Speeding up LaTeX compilation Getting reasonable compilation times out of a medium-sized LaTeX document that contains lots of TikZ pictures is not as difficult as it may seem at first—at least if you know the
-
8th Nov 2024–13 Nov 2024 · 13 min read · #BQN #array-lang Integer Volutes in BQN On day 3 of my post about doing some Advent of Code problems in BQN, the task was to walk along some integer volutes: spirals, either spiralling inwards—involutes—or outwards…
-
27th Oct 2024–28 Oct 2024 · 90 min read · #BQN #array-lang BQNing Advent of Code I did all of Advent of Code 2017 in BQN so you don’t have to.
-
20th Jul 2024–1 Feb 2025 · 5 min read · #haskell #hakyll Integrating KaTeX Into Hakyll Being quite into mathematics, I sometimes blog about it.1 There are very capable solutions for rendering LaTeX in HTML documents out there, which in particular solve the
-
11th May 2024–2 Jun 2025 · 5 min read · #anki #emacs #maths Leveraging LaTeX in Anki Recently, I’ve been quite invested in learning maths with Anki.
-
23rd Mar 2024–1 May 2024 · 5 min read · #rust Announcing: rq Version 0.1.0 I’ve just released version 0.1.0 of rq,1 a small functional language to manipulate JSON—and my excuse to learn Rust!
-
2nd Mar 2024–15 Aug 2024 · 5 min read · #emacs Smartly join comments with join-line Emacs’s join-line function, upon execution, joins the current line onto the previous one, deleting any extraneous whitespace.
-
3rd Jan 2024–5 Jan 2024 · 4 min read · #emacs Parentheses-Aware Yanking Copying, killing, and yanking1 text in Emacs is quite straightforward, and very little is done to manipulate the contents of the string during these operations.
-
27th Nov 2023 · 2 min read · #emacs Integrating Zsh's History Into Eshell I use eshell as my main shell.
-
13th Nov 2023–15 Oct 2024 · 5 min read · #emacs #nix #xmonad Using XMonad with NixOS I recently switched to NixOS, and one of the first tasks was to properly set up my window manager of choice—XMonad, of course.
-
22nd Oct 2023–27 Oct 2023 · 5 min read · #emacs #haskell #rust Fixing Lsp-Mode's Hover Signatures By now, LSP servers have become the norm for editor-agnostic language support.
-
10th Sep 2023–15 Oct 2023 · 7 min read · #emacs Prettifying LaTeX Buffers A friend recently confided in me that, after years of using Emacs, he was only now getting into using prettify-symbols-mode for editing LaTeX buffers!
-
26th Aug 2023–29 Aug 2023 · 7 min read · #emacs Change the Insides of an S-Expression in Emacs 1I have to make a confession: I have an evil past—literally.
-
30th Jul 2023 · 3 min read · #emacs Notmuch: Warn on Empty Subjects Emacs’s notmuch package has this fantastic concept of an attachment check: adding notmuch-mua-attachment-check to notmuch-mua-send-hook will, before sending the message, check whether the…
-
20th Jun 2023–9 Aug 2026 · 15 min read · #haskell #hakyll Incorporating BibTeX into Hakyll When writing a blog post that feels academic—or pretentious—enough to invoke the need for citations, having them automatically generated feels like a mandatory requ…
-
12th Jun 2023–30 Aug 2024 · 6 min read · #maths The tensor product of S-modules is a convolution product Classically, (algebraic) symmetric operads are defined as certain graded objects, each level coming equipped with a nice action of the symmetric group,
-
18th May 2023 · 1 min read · #emacs Use-package now has a :vc keyword Just a quick heads-up: use-package, which was merged into Emacs in November last year, now has a :vc keyword!
-
6th May 2023–17 Jun 2023 · 17 min read · #hardware Keyboardio Atreus Review And now for something completely different—hardware.
-
19th Mar 2023–12 Jul 2023 · 6 min read · #haskell #xmonad XMonad Module Showcase: X.A.Search I’d like to highlight another XMonad module that has become quite essential to me: XMonad.Actions.Search.
-
19th Feb 2023–3 Jun 2023 · 4 min read · #emacs Announcing: latex-change-env Version 0.3 I’ve just released version 0.3 of latex-change-env, featuring some major improvements with regard to inline maths and macro handling; this seems as good a time as any…
-
27th Jan 2023–17 Jul 2024 · 9 min read · #haskell #hakyll Using Sidenotes with Hakyll I’ve become quite enamoured with sidenotes recently, and so of course this website now has them as well!
-
21st Jan 2023–5 Jan 2025 · 8 min read · #haskell #hakyll Pygmentising Hakyll's Syntax Highlighting By default, Hakyll uses pandoc to generate syntax highlighting for all kinds of different programming languages.
-
14th Jan 2023–13 Feb 2023 · 3 min read · #emacs #haskell #xmonad Immediately Refile Notes with X.P.OrgMode In a previous post I talked about XMonad.Prompt.OrgMode, an XMonad module to rapidly capture thoughts and ideas into an Org file.
-
10th Jan 2023–12 Jan 2023 · 4 min read · #maths Duality in Monoidal Categories I have a new preprint on the arXiv!
-
22nd Dec 2022–18 May 2023 · 2 min read · #emacs Announcing: vc-use-package I’d like to announce a small package I’ve written: vc-use-package.
-
30th Nov 2022–18 May 2023 · 3 min read · #emacs Exploring package-vc-install The Emacs 29 release branch was just cut—and it’s chock full of new features!
-
5th Nov 2022–13 Feb 2023 · 2 min read · #emacs Adjusting preview.el for vertical monitors Here’s a fun one: when previewing LaTeX fragments via AUCTeX’s preview.el library (whether it be in a .tex buffer, or—via org-auctex—in Org) things get really messed…
-
22nd Oct 2022–9 Feb 2026 · 16 min read · #emacs A Potpourri of Emacs Tweaks Emacs is the “extensible text editor”, and it wouldn’t be fun if one didn’t at least try to take advantage of that, right?
-
15th Oct 2022–13 Mar 2023 · 16 min read · #maths Understanding Weighted Colimits as Tensor Products of Modules If you’ve been doing category theory for any amount of time, you’ll probably have stumbled upon enriched category theory as a way of expressing…
-
11th Sep 2022–17 Feb 2023 · 6 min read · #haskell #xmonad XMonad Module Showcase: X.A.TopicSpace One of my favourite—and most used—modules is XMonad.Actions.TopicSpace.
-
27th Aug 2022–7 Mar 2023 · 3 min read · #emacs #xmonad Rapidly Capture Ideas with XMonad and Emacs As I’ve said before, basically my entire digital life happens in either Emacs or XMonad.
-
6th Aug 2022–7 Mar 2023 · 5 min read · #emacs Multiple Replacements with query-replace As its name suggests, Emacs’s query-replace function, bound to M-% by default, can be used to replace occurrences of one string with another—and it’s quite good at what…
-
25th May 2022–7 Mar 2023 · 7 min read · #emacs #haskell #xmonad Calling Emacs from XMonad In the post about my research workflow, I briefly mentioned having to call Emacs—or other external programs—from within XMonad.
-
1st May 2022–23 May 2022 · 10 min read · #emacs #maths #xmonad My PhD Research Workflow After reading Gilles Castel’s excellent blog post about his research workflow, I decided that it was as good a time as any to write about mine—deeming it novel enough…