The number after the name stands for the year in which the research paper was written in. All research papers are put in their respective category and are sorted from newest to oldest.
Please read contribution guidelines before contributing.
- Artificial intelligence
- Big Data
- Category theory
- Compilers
- Computer science
- Computer vision
- Concurrency
- Databases
- Deep Learning
- Design
- Functional programming
- Garbage collection
- Haskell
- Machine Learning
- Math
- Neural networks
- Operating systems
- Physics
- Programming languages
- Programming
- Psychedelics
- Reverse engineering
- Security
- Statistics
- System design
- Type theory
- Virtualization
- Web
- Other
- Related
- Winner-take-all autoencoders
- A roadmap towards machine intelligence
- Is the brain a good model for machine intelligence?
- Concrete problems in ai safety
- Backprop as Functor: A compositional perspective on supervised learning - Brendan Fong, David I. Spivak, Rémy Tuyéras (2017)
- The Algebra of Open and Interconnected Systems - Brendan Fong (2016)
- Writing parsers like it is 2017
- Calculating correct compilers (2015)
- An incremental approach to compiler construction
- Dynamo: a transparent dynamic optimization system
- The Case for Learned Index Structures (2017)
- Squeak makes a good python debugger (2017)
- Dat - Distributed Dataset Synchronisation and Versioning (2017)
- Robots take over the world (2007)
- Let’s go to the whiteboard: (2007)
- How and why software developers use drawings
- How complex systems fail
- How to make ad-hoc p