Researching Link to heading

Things I want to look into

List Link to heading

Technology Link to heading

OS Link to heading

• Plan 9
  • A more faithful attempt at “Everything is a file” variant of unix
  • Interesting ideas within the realm of distributed computing
• NixOS
  • Linux distro with a functional package manager that preserves previous states
  • Has its own prog lang for configuration
• Gentoo
  • “Build everything yourself” linux
• GoBo Linux
  • Distro of linux that does not respect standard File System Hierarchy
• GNU Guix
  • Like NixOS but with using Scheme prog lang for configuration
• *BSDs
  • Competitor to linux
  • Originators of a lot of good ideas that were ported over to linux

Filesystems Link to heading

• ZFS
  • filesystem that lets you pool together drives like raid
• BTFS
  • Mount a torrent as folder and access content on demand

Data Structures Link to heading

• Y-Fast trie
  • data structure for storing integers from a bounded domain

Langs Link to heading

• Red Lang
  • Modern Incarnation of REBOL
  • Extremely expressive prog lang
• Haskell
  • Purely functional prog lang
• Nix
  • NixOS config prog lang
  • Purely functional
  • Declarative
• Luna
  • Visual prog lang
• Elm
  • Prog lang for designing functional UIs
• J
  • Tacit programming
  • Function-level programming
• Nim
  • ???
• Coconut
  • Functional variant of python
• Hy
  • Lispy version of python

Programming Paradigm Link to heading

• Tacit Programming
  • ???
• Function-Level Programming
  • ???

Shells Link to heading

• xyzsh
  • ???

Tools Link to heading

• Pijul
  • Rust-based version control based on the theory of patches
• Wayland
  • Graphics system
  • Competitor to X11
• Glendix
  • Linux port of Plan 9 functionality
• a toolkit for language and grammar

Math Link to heading

• Homotopical Patch Theory
  • Theory behind pijul
• Complex Analysis
  • Analysis with complex numbers
• Functional Analysis
  • Study of vector spaces endowed with limit-related structure
• Spectral Theory
  • Extension of theories of eigenvalues and eigenvectors to operators

Computer Science Link to heading

• Semi-Thue System
  • Formal rewriting system
• Purely functional programming
  • Programming paradigm that treats all computation as mathematical functions
  • Easy to cache computation
• Type Theory
  • Alternative to set theory
• Homotopy Type Theory
  • Types realized as abstract spaces and mapping of one type to another as paths
• Combinatory Logic
  • Alterinative to lambda calculus