Skip to content
View michelrandahl's full-sized avatar

Block or report michelrandahl

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
michelrandahl/README.md

πŸ‘¨β€πŸ’»πŸŽΉπŸŒ²Ξ» FP Enthusiast, Embedded Rust Explorer & Synth Tinkerer

Hey there! I'm a software dev who's passionate about functional programming - from the comfort of type checked languages such as PureScript to the dynamic expressiveness of Clojure. I love how expression-based code naturally leads to referential transparency and composability, making it easier to reason about and verify. I generally find that FP helps me write robust code that is a joy to maintain. Other than that I have a long time fascination with Idris and I enjoy learning about ways to make code robust and correct without compromising too much on maintainability and readability. Currently I am on a journey into Embedded programming with Rust.

I believe in embracing both modern computer science advances and simplicity - whether that's leveraging powerful type systems provided by languages such as Rust and PureScript, or choosing simple yet expressive languages like Clojure. This preference for simplicity extends to my development environment, where I favor terminal-based workflows and Neovim over heavyweight IDEs.

πŸ“„ View my full CV

Note that I have recently started to use Codeberg instead of github for personal projects as I feel that as a European citizen I should use more European products instead of using american products all the time.

Natural Habitat πŸ–₯️

You'll typically find me in my Linux terminal - it's where I live now! Armed with Neovim, Linux package managers and tools, and my trusty ZSA Voyager split keyboard, I've built a development environment that feels like home. I enjoy keyboard-driven workflows, navigating through my setup with the i3 tiling window manager while keeping my hands comfortably on the home row. I use NixOs, BTW.

Book recommendations πŸ“–

Beyond Code πŸŒŠπŸƒπŸŒ³πŸͺ›πŸŽ›οΈπŸŽΆ

Away from the keyboard, my passion for creation takes different forms. You'll often find me lost in music and sound synthesis - playing my synths with generous amounts of reverb or experimenting with generative patches and curious timbres on my Eurorack system which I have designed and built myself and where the majority of the modules are DIY builds. My soldering iron and my Miniware MHP30 Hot Plate are constant companions as I tackle Eurorack module builds of varying difficulty. When I'm not tinkering with hardware or doing electronics repair, I seek inspiration in nature. My "office" frequently relocates to the local forest and lakeside spots. I also enjoy trail running, long walks, and occasional kayak adventures. These outdoor experiences keep me refreshed and grounded, and fuels my creativity both in and out of code.

Pinned Loading

  1. embassy-rs/embassy embassy-rs/embassy Public

    Modern embedded framework, using Rust and async.

    Rust 6.4k 935

  2. Elm-Tetris Elm-Tetris Public

    A Tetris game implemented in Elm

    Elm 1

  3. RTIC-Embassy-on-stm32-experiences RTIC-Embassy-on-stm32-experiences Public

    my notes and experiences with using RTIC and Embassy for STM32

    Rust

  4. simple-vim-surround simple-vim-surround Public

    A vim plugin with simplified vim-surround behavior

    Vim Script

  5. criipto/samples criipto/samples Public

    A container for samples on how to use Criipto products

    PHP 3 7

  6. midi-mediator-elm-cljs midi-mediator-elm-cljs Public

    Elm