History of
      
        by-rating
        
      
    
    
      @master
    
    
        git clone https://git.catseye.tc/The-Glosscubator/
    
    
  
  
  
  
  
  
    - 
      
        
          Rate a book.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Rate and add commentary on another paper.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Rate a paper and add several commentary.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Rate another paper (actually slides for a talk)
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add a web page and rate a paper.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add a Programming Language and a Game Development repo.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add a web page and two repositories on Relational Programming.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add a few x86 and Programming Language resources.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          More commentary.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Rate, comment on, and fix URL of a Matroid Theory paper.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Fix paper online link.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add Matroid Theory category, and a Book and a Paper in it.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Rate a Theorem Proving paper.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Some commentary on a semantics paper on the arxiv.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Split Calculus of Constructions topic off from Coq topic.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Rename Specification category to Formal Specification.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add three vols of "Handbook of logic in AI and logic programming"
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add a Functional Programming book.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add two web pages, one of which is Top Rated.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add four x86 books.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add Game Assets category, and 6 web resources in it.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Introduce TLA+ category, and add 1991 paper by Lamport on TLA.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add another Public Domain resource (Jeff Minter's 8-bit games).
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add a few resources on the Public Domain.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add a web page under Abstract Algebra.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add Abstract Algebra topic, move some papers there.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Add two papers on Interior Algebras (as Topology papers.)
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Rate one miniKanren paper and delete two others.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Rate 5 papers (mostly on Modal Logic).
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago
          
        
        
      
    
- 
      
        
          Rate a Functional Programming paper, put commentary on one other.
        
        
          
            Chris Pressey
            
          
          
            1 year, 3 months ago