There is no best way to learn programming, but if I were going to pick a favourite, I’d probably choose pair programming.<\/p>\n
In my team at work, we do a fair bit of it. Pairing is different with every partner, so it’s difficult to define it or really talk about specifics, and I’ve had a hard time formulating what I like about it so much.<\/p>\n
After thinking about it for a while, I realised that it might be the interactivity of it.<\/p>"},{"title":"Setting Up Emacs LSP-Mode For Clojure","link":"https:\/\/sophiebos.io\/posts\/lsp-mode-for-clojure\/","pubDate":"Tue, 17 Sep 2024 22:42:00 +0200","guid":"https:\/\/sophiebos.io\/posts\/lsp-mode-for-clojure\/","description":"
I use Clojure<\/a> on the backend where I work<\/a>. I think it’s really fun, especially in combination with Emacs, since Emacs is built with Emacs Lisp and Clojure is a Lisp dialect. So many of Emacs’ default keybindings started clicking for me once I started working with a language in the same tradition, editing structurally and by semantic units rather than line-by-line or character-by-character. I’m not alone in loving both and there’s clearly a lot of overlap between the two communities, which is evident from the number of Clojure packages for Emacs.<\/p>"},{"title":"Building Your First Emacs Config","link":"https:\/\/sophiebos.io\/posts\/first-emacs-config\/","pubDate":"Thu, 21 Dec 2023 23:29:00 +0100","guid":"https:\/\/sophiebos.io\/posts\/first-emacs-config\/","description":" Emacs<\/a> is a wonderful piece of software. It’s easily my favourite program of all\ntime. It can also be a little overwhelming to configure for the first time.<\/p>\n One of the many things that make Emacs great, though, is its dedicated and\nhelpful user base. I hope to add a small contribution to that community with\nthis post, going over what I would have told my past self as I was just starting\nout using Emacs and trying to write my first Emacs configuration file.<\/p>"},{"title":"Prettifying Emacs Org Mode","link":"https:\/\/sophiebos.io\/posts\/prettifying-emacs-org-mode\/","pubDate":"Thu, 10 Aug 2023 22:19:00 +0200","guid":"https:\/\/sophiebos.io\/posts\/prettifying-emacs-org-mode\/","description":" In my opinion, the power of Emacs is that you’re able to program your own\nworking environment. Other editors may be just as, or possibly more, efficient\nto use, but I haven’t come across any that give you control over as many aspects\nof your editor as Emacs does. Customising and tweaking your configuration may be an\nendless endeavour, but it’s also a highly rewarding one.<\/p>\n All that being said, I was inspired to tweak the look of my Org Mode setup,\nespecially after reading the blog post\nBeautifying\nOrg Mode in Emacs<\/a>. Below you can find screenshots and code. I\nhope there’s something in here that you might want to steal for your own config!\nIn case I change these settings later, my most recently updated config is always\navailable on my GitHub<\/a>.<\/p>"},{"title":"About","link":"https:\/\/sophiebos.io\/about\/","pubDate":"Thu, 08 Jun 2023 17:43:00 +0200","guid":"https:\/\/sophiebos.io\/about\/","description":" I’m Sophie! I was born in Oslo in 1999, and after some moving back and forth\nfor my studies, I’m back in my home city.<\/p>\n I’m very interested in programming, coffee, natural languages, and music.<\/p>\n Currently, I’m working as a software engineer at Ardoq<\/a>.<\/p>\n I recently graduated with an MSc from the University of Oslo, where I wrote my thesis on property-based\ntesting<\/a>. I designed and implemented a small functional language called Contra<\/a>, which has native support for defining properties and a built-in property-checker. It’s capable of automatically generating counterexamples, even for user-defined algebraic data types, using SMT solving.<\/p>"},{"title":"Education","link":"https:\/\/sophiebos.io\/education\/","pubDate":"Thu, 08 Jun 2023 14:48:00 +0200","guid":"https:\/\/sophiebos.io\/education\/","description":" I have a master’s degree in Programming and System Architecture<\/a> from the University of Oslo<\/a>, Norway, with a specialisation in software. \ud83c\udf31<\/p>\n My thesis project and thesis text are available on GitHub<\/a>.<\/p>\n The courses I have taken at UiO are briefly summarised below.<\/p>\n I have a bachelor’s degree in Cognitive Science<\/a> from the University of Bergen<\/a>, Norway.<\/p>"},{"title":"Static Site Generation with Hugo","link":"https:\/\/sophiebos.io\/posts\/hugo\/","pubDate":"Thu, 08 Jun 2023 12:18:00 +0200","guid":"https:\/\/sophiebos.io\/posts\/hugo\/","description":" This website is built with Hugo<\/a> and Org mode is a really clever and powerful plain text format that works great for note\ntaking, text editing, and TODO lists\/agendas. Moreover, there are a lot of\nconvenient features for us Emacs users when using MSc<\/h2>\n
Courses in Programming and System Architecture at UiO (in order of attendance)<\/summary>\n
\n
BSc<\/h2>\n
ox-hugo<\/code><\/a>, an exporting engine that lets me\nwrite my posts in Org mode<\/a> and then put it online easily.<\/p>\nox-hugo<\/code> to write our blogs\n(besides staying in the comfort of a well-known format and editing flow).<\/p>"}]}}