emacsclient -nw README.org
Re-imagining software with functional programming. Nix, Haskell, Scala, F#, PureScript, and (only if necessary) TypeScript.
- USA
-
08:17
(UTC -05:00) - https://susanpotter.net
- @SusanPotter
- @SusanPotter@mastodon.social
- in/susanpotter
- @susanpotter.net
#+TITLE: 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
-
styleguides
styleguides PublicA repository with a coding standard/style guide and conventions document for each of the languages I care about
-
Propositions *AS* Types: The Cheatsh...
Propositions *AS* Types: The Cheatsheet (with Fancy Nancy) 1module Logic23-- Connective is a fancy word for operator.4namespace Connectives5 -
Retaining Git history of subdirector...
Retaining Git history of subdirectory from parent repository 1# Subdirectory Git Repository23This is a mini howto on moving a subdirectory to its own repository retaining history
45## Howto -
A caching and persistent Nix shell w...
A caching and persistent Nix shell with direnv 1* Cached and Persistent Nix shell with direnv integration
23** Problem being solved
45- 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).
-
Git tips and tricks for dev group pr...
Git tips and tricks for dev group presentation 1* Git Tips
23** Config
45Git has different levels of configuration that apply to different /"scopes"/:
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.





