← Înapoi la Urmăritori

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 45
  1. Infinite Polynomial Rings

    ← 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.

  2. Sieving Primes

    15th Jul 2026 · 36 min read · #c Sieving Primes As a mathematician, I naturally have no idea how a computer actually works.

  3. Writing Literate Blog Posts

    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.

  4. But what about K?

    7th Apr 2026 · 21 min read · #c #k #array-lang But what about K?

  5. Sudoku Solving in BQN

    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

  6. DUCK

    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.

  7. The J Incunabulum

    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?

  8. Fixing Eglot's Hover Signatures

    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.

  9. Writing a JSON Parser in BQN

    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.

  10. Parsing CSV in BQN

    28th Jul 2025–18 Oct 2025 · 8 min read · #BQN #array-lang Parsing CSV in BQN Let’s write a CSV parser in BQN!

  11. 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.

  12. Speeding up LaTeX compilation

    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

  13. Integer Volutes in BQN

    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…

  14. BQNing Advent of Code

    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.

  15. Integrating KaTeX Into Hakyll

    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

  16. Leveraging LaTeX in Anki

    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.

  17. Announcing: rq Version 0.1.0

    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!

  18. Smartly join comments with join-line

    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.

  19. Parentheses-Aware Yanking

    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.

  20. 27th Nov 2023 · 2 min read · #emacs Integrating Zsh's History Into Eshell I use eshell as my main shell.

  21. Using XMonad with NixOS

    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.

  22. Fixing Lsp-Mode's Hover Signatures

    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.

  23. Prettifying LaTeX Buffers

    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!

  24. 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.

  25. Notmuch: Warn on Empty Subjects

    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…

  26. Incorporating BibTeX into Hakyll

    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…

  27. 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,

  28. Use-package now has a :vc keyword

    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!

  29. Keyboardio Atreus Review

    6th May 2023–17 Jun 2023 · 17 min read · #hardware Keyboardio Atreus Review And now for something completely different—hardware.

  30. XMonad Module Showcase: X.A.Search

    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.

  31. 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…

  32. Using Sidenotes with Hakyll

    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!

  33. 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.

  34. 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.

  35. Duality in Monoidal Categories

    10th Jan 2023–12 Jan 2023 · 4 min read · #maths Duality in Monoidal Categories I have a new preprint on the arXiv!

  36. Announcing: vc-use-package

    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.

  37. Exploring package-vc-install

    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!

  38. 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…

  39. A Potpourri of Emacs Tweaks

    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?

  40. 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…

  41. 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.

  42. 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.

  43. 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…

  44. Calling Emacs from XMonad

    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.

  45. My PhD Research Workflow

    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…