Skip to content
View mbbx6spp's full-sized avatar
:octocat:
Committing useful code elsewhere now (enterprise Githubs, Gitlab, Pijul, etc)
:octocat:
Committing useful code elsewhere now (enterprise Githubs, Gitlab, Pijul, etc)
499 followers · 0 following

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@twitter4r @finsignia @knowmadio @cucode

Block or report mbbx6spp

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
mbbx6spp/README.org

Post-postmodern software engineer & engineering leader

Hi, I am mbbx6spp on GitHub.

I specialize in leading, creating, growing, and mentoring high-performance small software engineering teams and turning hard-to-maintain legacy systems into continuously delivered maintainable software.

I try to use well-typed functional programming to build out infrastructure and system configuration (Nix/NixOS), backend services (Haskell, Scala, TypeScript with Effect), and frontend applications (PureScript).

In my spare time, I read about economics, derivatives trading, psychology, and abstract algebra.

Pinned Loading

  1. styleguides styleguides Public

    A repository with a coding standard/style guide and conventions document for each of the languages I care about

    Shell 101 21

  2. Propositions *AS* Types: The Cheatsh... Propositions *AS* Types: The Cheatsheet (with Fancy Nancy)
    1 
    module Logic
    2 
    
              
    
              
    
                3
                
    -- Connective is a fancy word for operator.
    
              
    
              
    
                4
                
    namespace Connectives
    
              
    
              
    
                5
                
    
              
    
          
    
    
    
  
    

    3. 

      

  3. 
  
    
    
    
      
    
        
        Retaining Git history of subdirector...  Retaining Git history of subdirectory from parent repository      
    

          
    
              
    
                1
                
    # Subdirectory Git Repository
    
              
    
              
    
                2
                
    
              
    
              
    
                3
                
    This is a mini howto on moving a subdirectory to its own repository retaining history
    
              
    
              
    
                4
                
    
              
    
              
    
                5
                
    ## Howto
    
              
    
          
    
    
    
  
    

    4. 

      

  4. 
  
    
    
    
      
    
        
        A caching and persistent Nix shell w...  A caching and persistent Nix shell with direnv      
    

          
    
              
    
                1
                
    * Cached and Persistent Nix shell with direnv integration
    
              
    
              
    
                2
                
    
              
    
              
    
                3
                
    ** Problem being solved
    
              
    
              
    
                4
                
    
              
    
              
    
                5
                
    - the default =direnv= Nix integration from projects loads a Nix shell every new terminal or every time =shell.nix= and/or =default.nix= changes. On larger projects with a lot of Nix shell dependencies, that can cause the terminal to take more than 6 seconds to load, which significantly degrades the developer experience (DX).
    
              
    
          
    
    
    
  
    

    5. 

      

  5. 
  
    
    
    
      
    
        
        Git tips and tricks for dev group pr...  Git tips and tricks for dev group presentation      
    

          
    
              
    
                1
                
    * Git Tips
    
              
    
              
    
                2
                
    
              
    
              
    
                3
                
    ** Config
    
              
    
              
    
                4
                
    
              
    
              
    
                5
                
    Git has different levels of configuration that apply to different /"scopes"/:
    
              
    
          
    
    
    
  
    

    6.