Skip to content
View mbbx6spp's full-sized avatar
:shipit:
emacsclient -nw README.org
:shipit:
emacsclient -nw README.org
517 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: 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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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 indie developer

Hi, I am mbbx6spp on GitHub.

I prefer to use well-typed functional programming to build out infrastructure, system configuration (Nix/NixOS), backend services (Haskell, Scala, F#), plus web and native user interfaces and frontends.

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