Pierce Darragh pdarragh

## communicating-type-theory.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              2 stars
            
          
                brendanzab
                / communicating-type-theory.md
            
            
              Last active
              April 23, 2020 03:31
            
          
    Communicating type theory and formal systems

Doing a better job of communicating type theory and formal systems
Problems to solve


languages should have better specifications
our current notation limits our reach
puts up barriers between researchers and potential implementers
hard to gain an intuition of complicated formal systems from static descriptions


## spacy_intro.ipynb

      
              1 file
            
          
              42 forks
            
          
              4 comments
            
          
              299 stars
            
          
                aparrish
                / spacy_intro.ipynb
            
            
              Last active
              August 9, 2023 01:41
            
              
                NLP Concepts with spaCy. Code examples released under CC0 https://creativecommons.org/choose/zero/, other text released under CC BY 4.0 https://creativecommons.org/licenses/by/4.0/
              
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## preprocessor_fun.h
// Just before switching jobs:
// Add one of these.
// Preferably into the same commit where you do a large merge.
//
// This started as a tweet with a joke of "C++ pro-tip: #define private public",
// and then it quickly escalated into more and more evil suggestions.
// I've tried to capture interesting suggestions here.
//
// Contributors: @r2d2rigo, @joeldevahl, @msinilo, @_Humus_,
// @YuriyODonnell, @rygorous, @cmuratori, @mike_acton, @grumpygiant,
	// Just before switching jobs:
	// Add one of these.
	// Preferably into the same commit where you do a large merge.
	//
	// This started as a tweet with a joke of "C++ pro-tip: #define private public",
	// and then it quickly escalated into more and more evil suggestions.
	// I've tried to capture interesting suggestions here.
	//
	// Contributors: @r2d2rigo, @joeldevahl, @msinilo, @_Humus_,
	// @YuriyODonnell, @rygorous, @cmuratori, @mike_acton, @grumpygiant,