The Curious Engineer

All blogs / Dev tools / editors / IDEs

Trapped inside a tölva

edoput.it

Here I leave messages to the world, myself and our future robot overlords.EOF

Dev tools / editors / IDEsLisp / Clojure / SchemeLinux / Unix

’15’16’17’18’19’20’21’22’23’24’25’26
Posts
86 from 15 Mar 2015 to 30 Jun 2026
Posting
now and then (4 in the last year)
Kind
personal blog
Feed
https://edoput.it/feed.xml

2026 1

  1. Isabelle/ML: antiquotations

2025 7

  1. Managing nginx
  2. Immutable Linux is just right (for me)
  3. Isabelle/ML starting tips
  4. Starred forms
  5. Better Koreader plugin debugging
  6. Minibuffer and input method
  7. Emacs: a paradigm shift

2024 7

  1. RE: your application environment variables
  2. Flatpak: how to keep your development tools at runtime
  3. Redux: Running zotero in background
  4. Koreader Goes To Bed
  5. LaTeX performance engineering
  6. RSS strickes back
  7. Exotic todos

2023 6

  1. Put some CLOS in your ECS
  2. cython packaging troubles
  3. ECC RAM upgrade
  4. Power supply, what to look for
  5. Python metaclasses patterns
  6. Introduction to metaclasses

2022 9

  1. Seagate disks woes
  2. Solving puzzles with hypothesis
  3. Homelabbing: first steps
  4. Native messaging and WebExtensions
  5. JavaScript FFI using Spidermonkey
  6. JavaScript execution using Spidermonkey
  7. use-package for builtin emacs packages
  8. Go generate patterns
  9. context click

2021 4

  1. Make Proof General and opam play together
  2. Private go modules
  3. Running zotero in background
  4. Persist GNOME display position

2020 3

  1. systemd targets and infrastructure layers
  2. Shaving Gigabytes
  3. A tale of SNI and git

2019 7

  1. nginx proxy redux
  2. Work on Pine Time
  3. Kindle UART adapter
  4. An ode to sparkfun
  5. notes on nRF51822
  6. Silly make answers the important questions
  7. Who C today?

2018 7

  1. WiFI? TLS? Who moved my meme!?
  2. From Scheme to SMT solvers
  3. 2018 ICFP contest writeup
  4. Starting (again) to toy with C
  5. Configure Gnome, fast!
  6. Social coding on the fediverse
  7. Take back your history

2017 8

  1. Checking SSH certificates
  2. Installing coreboot WCGW
  3. Screenfetch
  4. Nginx as a https reverse proxy
  5. Modding Minetest - Node Breaker
  6. Modding Minetest - Destroy blocks
  7. Modding Minetest - Hello World
  8. Preview Github flavoured markdown

2016 13

  1. Counting beans in Octave
  2. Working with lxc and lvm
  3. The sad state of multiprocessing and addons on Firefox
  4. Analytics on edoput.it
  5. EFF sues the US government
  6. Default arguments in Rust
  7. Provision and manage SSH certificates
  8. Reasons to love Git
  9. Reinventing the wheel AKA Lilik Container
  10. The shell nightmare
  11. No Hackathlon For Me
  12. Lycheese
  13. packaging Icecast-kh

2015 14

  1. Dell Inspiron fixes
  2. Another time Git left me speechless
  3. Hacking authentication for better experience
  4. PirateBay Box - torrent generation
  5. remove zoom with touchpad from Firefox
  6. A decentralised tracker
  7. Firefox in enterprise
  8. SMIL(E)
  9. Zero lag Backbone Views
  10. Mozilla in Rimini
  11. password reuse
  12. android and adb, a no permissions story
  13. EURION constellation
  14. Recording with Kazam on Gnome Shell